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