2011年度 佐々木(克)研究室 卒業論文要旨
- 群と剰余類
- 2006MI042 石井 洋太
- 真理値表とうそつきのパズル
- 2007MI019 藤井 翔也
- 形式体系と実際の証明
- 2008MI212 佐藤 友亮
- 形式体系における推論規則の適用順序と実証明の表現法
- 2008MI026 原田 直樹
- 形式体系の拡張による実証明の表現
- 2008MI051 堀場 康行
- 様相論理と時間論理
- 2008MI031 服部 寛
- 直観主義論理と古典論理
- 2007MI218 白川 琢茂
- 自然演繹法と正規形定理
- 2008MI153 長谷 康宏
- フィンランドの教科書から学ぶ数学の指導法
- 2008MI018 舟橋 健太
- 日本におけるインド数学の活用法
- 2008MI157 中林 紗弥子
- 高等学校数学における多角的解法
- 2008MI216 関 恵太