ニューヨーク外国為替市場で、円相場が一時1ドル=157円台前半まで急騰しました。為替介入があったとの見方も出ています。7月31日のニューヨーク外国為替市場では円がドルに対して大きく値上がりし、円相場は一時1…