えーと、そうか、モデル論の初歩だけでもキッチリまとめようと昨日思ったのだった。不等号みたいな記号（ラッパ状の＜）とか、DiagとかLAとか、何の説明もなしに使われているときがあるからな。初等同値、初等部分構造とか、ね。タイプ（type）って概念も特…

先入観、思いこみ、つまらない（事実とは異なる）推測は徹底的に捨てよう！ 余計なことは考えない。ただひたすら、メモリ状況の（事実に即した）絵を描くのみ。 内部の状態（メモリレイアウト）と出力の意味を説明せよ。 #include char a0[] = {'a', 'b', 'c…

Seven Treesのメタ定理において、半環から環を絞り出すことが重要なのだが、フィオレ（Fiore*1、フィオール？）とレインスターは、ここで面白い議論をしている。簡単だが見たことがない論法。意外； なんで考えついたかわからんし、他の方法との関連も不明。…