2004年度 佐々木克巳研究室 卒業論文要旨

帰納的推論の妥当性

2000MM014 平松伸靖

数学的帰納法の形式

2000MM060 森田智洋

計算機による定理の自動証明

2001MM001 足立大輔

ゲーデルの定理とスマリアンの論理パズル

2001MM002 秋本有香

正規様相論理の決定可能性

2001MM008 長谷川照明

様相論理と古典述語論理

2001MM034 川原竜太

命題計算における証明可能な論証形式と反証図

2001MM054 丹羽鋼司