MTC―プログラムの理論② - 共立出版コンピュータサイエンス誌『bit』