Computation and Logic: Winter Semester 2016お知らせ 宿題を遅れて提出する場合の最終期限は 2/3(金) 17:00 です．要再提出が残っている人もこの時刻までに解決してください． スライド8と配布資料その4をアップロードしました．(2017.1.23) 1/17(火)は、(講義ホームページにある)予定を変更して2回目の演習とします。過去の期末試験(ホームページからダウンロードしてください。)の問題も演習の範囲とします。(2017.1.9) 過去の期末試験(2012年度, 2013年度, 2014年度, 2015年度)をアップロードしました(テキストと同じパスワードでダウンロードしてください)．演習の追加題材とします．(2016.12.31) スライド7アップロード．宿題その7がでました．(2016.12.19) 宿題その6の問題 or_distributes_over_and_2 は or_distributes_over_and
