業務アプリのデータ構造は、ほどほど複雑だ。 ほころびの多いアナロジーになってしまうが、忘却関手の話を読んだとき、業務アプリつくるときにＲＤＢにデータをマップする作業を連想した。群とか全順序集合とか、数学的な構造は、集合＋αで定義することが多…

ＳＩＣＰとかＣＴＭ（コンピュータプログラミングの概念・技法・モデル）とかと、メタマス！を読んで思うことは、 数学の公理体系と、計算モデルは似た性質があるなぁ、と。 ひとつの計算モデルがきまれば、そのうえにいろいろなアプリとかライブラリ（定理…