• 2017-01-26：『白と黒のとびら: オートマトンと形式言語をめぐる冒険』
• 2016-09-24：『暗号　情報セキュリティの技術と歴史』
• 2014-02-01：『数学序説』
• 2013-04-09：ライプニッツの法則（Leibniz' law）
• 2013-04-06：自然数について、アホなりに考えてみた
• 2013-03-30：定理は発見されるのか、あるいは発明されるのか？
• 2013-02-26：数学について、最近俺にもようやくわかってきたこと――等しいということについて
• 2013-02-16：『数学とは何か』
• 2012-12-29：『数論への招待』
• 2012-12-18：『数学的推論が世界を変える―金融・ゲーム・コンピューター』