☆ ただいま工事中です ☆
ここは「論理と計算」に関するホームページです.
- 論理と計算セミナー (新: 2015年4月(第12回)より)
- 論理と計算セミナー (旧)
旧「論理と計算」ホームページ(wiki)は「ここ」です. - リンク
- 九州大学数理・データサイエンス教育研究センター
- FMI2015 (Forum “Math-for-Industry”) (2015.10.26-10.30)
- TPP2014 (Theorem Proving and Provers meeting) (2014.12.3-12.5)
- 2010 Mathematical Subject Classification (AMS)
- Theoretical Computer Science (Elsevier Journal)
- AMS Presidents
John von Neumann, Saunders Mac Lane, Ronald L. Graham, … - ソフトウエア科学会 (JSSST)