2007年度 佐々木(克)研究室 卒業論文要旨

論理パズル「天国への道」の解法と応用

2004MM014  原 健太

論理関数の完全系

2004MM034  金田 宗之

自然数論の無矛盾性の証明

2004MM043  前田 健策

ゲーデルの不完全性とスマリヤンの論理パズル

2004MM050  水野 辰哉

数学的帰納法の形式

2004MM051  村田 優子

シークエント計算におけるε‐δ論法の記述

2004MM060  長田 義弘

自然数の体系から不完全性定理へ

2004MM088  山田 敏成