[研究テーマ]
形式的証明体系についての研究
[主な担当科目]
情報学実習
[取得学位]
2013年 東京工業大学 博士（理学）
形式的証明体系についての研究
[主な担当科目]
情報学実習
[取得学位]
2013年 東京工業大学 博士（理学）
専門・研究分野
数理論理学、数学教育
研究テーマ
形式的証明体系についての研究
本研究室では数理論理学の研究、特に証明や論証の形式体系について研究を行っています。証明や論証の形式体系とは、（数学などの）証明・論証をコンピュータで行えるよう形式化したもので、この理論を基に定理証明支援系（証明のチェックや作成支援を行う系）の開発が行われるなど、さまざまに応用されています。本研究室では、形式体系の理論的側面を調べるとともに、この体系を数学教育などに応用することも構想しています。
本研究室では数理論理学の研究、特に証明や論証の形式体系について研究を行っています。証明や論証の形式体系とは、（数学などの）証明・論証をコンピュータで行えるよう形式化したもので、この理論を基に定理証明支援系（証明のチェックや作成支援を行う系）の開発が行われるなど、さまざまに応用されています。本研究室では、形式体系の理論的側面を調べるとともに、この体系を数学教育などに応用することも構想しています。
研究キーワード
数理論理学、証明論、直観主義論理、ラムダ計算、ブール関数、数学教育
主な研究業績
主な所属学会
科学基礎論学会、Association for Symbolic Logic
連絡先
E-mail：naosuke [at] info.shonan-it.ac.jp （[at]を@に置き換えてください）
趣味
自転車（本格的なものではなく、ママチャリできままに）
