計算の理論(2017年度 Sセメスター、小林担当分)

前半部分の資料や情報についてはITC-LMSを確認すること. 後半の講義資料もITC-LMSにアップします。