なんか集合Dがあって、Dから平坦束D' = D + {T, ⊥}を作るとします*1。順序は、x∈Dに対して ⊥ ≦ x ≦ T、x, y∈Dならxとyは比較不可能と決めます。⊥を下、Tを上に図示すれば、⊥は「一番下にあって最小元」、Tは「一番上にあって最大元」と、日常的直感に一致し…

id:sumiiさん曰く： Cのポインタの意味論をJavaで定義したのですが、いかがでしょうか。アセンブリも機械語も不要です。これで初心者に理解しろ、というのは（ほとんど）ネタですが、...(省略)... ここから参照されていた http://www.kb.ecei.tohoku.ac.jp/~…