Research Interest
講義資料等
- コンピュータサイエンス基礎(2020年度)
- 数理論理学I(命題論理)
- 数理論理学II(不完全性定理)
- コンピュータにできること・できないこと 『数学セミナー』2015年11月号掲載記事の草稿
- NASH村とスライム退治:整列擬順序入門
- 「代数学入門」入門としての普遍代数学
- 直観主義論理への招待
著書(一般向け読み物)
- 照井一成. コンピュータは数学者になれるのか 数学基礎論から証明とプログラムの理論へ, 青土社,2015年2月.
Publications
Publications in Japanese
Slides
Workshops
Miscellaneous