訂正

先ほどのブログの高橋氏は高橋洋一氏のことです。日本有数のありふれた名前なのにウッカリ！