圏論
scrapboxの代数構造
コンピュータ言語
万物の理論を求めて
ライプニッツ
ニュートン
モナド
グラフ理論
意識と脳
統合情報理論