卒研記録

• 2010年度 Knoppix/Math 収録数学ソフトの紹介・マニュアル作成
• 2009年度 Mathematica による実験数学
• 2008年度 Smullyan "First Order Logic"
• 2007年度 D. グリース「コンピュータのための数学―論理的アプローチ」
• 2006年度 超準数学入門
• 2005年度 Ruby による数学実装