スペキュラ計算まで