外国為替市場で、日本時間の11日夜、短時間で「円高」が進み、円相場は一時1ドル157円台をつけました。為替介入が行われたとの見方も出ています。外国為替市場では11日夜、円相場が一時1ドル＝157円台半ばまで急速…