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