MTC―プログラムの理論(4)――コンパイラの正当性(2) - 共立出版コンピュータサイエンス誌『bit』