プログラミングI、プログラミング II、プログラムの数理A、プログラムの数理B、数理科学特別研究Ⅰ、数理科学特別研究Ⅱ-1・2、論理と集合、産業と数学

幾何学が空間を対象とし、代数が数を対象とするように、理論コンピュータ科学や数理論理学（数学基礎論）は記号とその操作から生まれるものを主な対象とする数学です。また圏論は多様な数学的構造を普遍性という観点から統一的に扱う数学です。高校ではこのような分野はなかったためにあまり馴染みがないと思いますが、現代の数学やコンピュータ科学の理論はこのような厳密な論理的基盤の上に成り立っています。特にコンピュータ科学が高度になるにつれてこのような数理的基礎の重要性はますます高まっています。また圏論は数学の最先端で特に非可換な対象を扱う際には欠かせないものとなっています。このような分野を一緒に学んでいきたいとおもいます。

近年の特別研究では、圏論の基礎の修得のために文献の講読を行っている。プログラミングや定理検証システムなどコンピュータを用いた内容は学生の希望がある場合に行っている。大学院進学希望者については、その後の研究を視野に入れた文献の選択を行い、場合によっては就職・教職志望者と分けて行うこともある。

理論コンピュータ科学、特にプログラムの意味論が元々の専門であったが、最近はそこで用いられる圏論や数理論理学から発展した数理科学の研究が中心である。
また計算リフレクションに関する考察をきっかけとして計算の哲学についても研究を行なっている。

1. マーケット・マイクロストラクチャー理論に基づくリサイクル市場への戦略設計
   文部科学省: 科学研究費補助金(基盤研究(B))
   研究期間: 2001年- 2003年 代表者: 小田秀典
2. リフレクションのカテゴリー理論による研究
   文部科学省: 科学研究費補助金(萌芽研究)
   研究期間: 2002年- 2002年 代表者: 三好博之
3. 計算の哲学—計算概念の原理的再構築—
   文部科学省: 科学研究費補助金(基盤研究(B))
   研究期間: 2003年- 2004年 代表者: 三好博之
4. 計算の哲学—その展開と深化—
   文部科学省: 科学研究費補助金(基盤研究(B))
   研究期間: 2005年- 2008年 代表者: 三好博之
5. 計算の哲学—様々な展開に向けて—
   文部科学省: 科学研究費補助金(基盤研究(B))
   研究期間: 2012年- 2015年 代表者: 三好博之
6. 数学の哲学の新たな展開
   文部科学省: 科学研究費補助金(基盤研究(B))
   研究期間: 2017年- 2021年 代表者: 菊池誠

• reseachmap
• reseachmap2