• 2014-06-21：『論理学入門』
• 2013-07-30：『記号論理学: 一般化と記号化』
• 2013-04-09：ライプニッツの法則（Leibniz' law）
• 2013-03-06：必然性とアプリオリ性を分析性によって同時に基礎づけるというこの立場は
• 2013-02-26：数学について、最近俺にもようやくわかってきたこと――等しいということについて
• 2013-01-14：Google Chart を使った数式ツールを作ってみた
• 2013-01-05：述語論理
• 2012-12-25：論理演算子
• 2012-12-18：『数学的推論が世界を変える―金融・ゲーム・コンピューター』
• 2012-12-11：『数理論理学』 → 挫折