どこ？＝場所＝先頭アドレス どのくらい？＝サイズ なに？＝中身 メモリセルとは区別する。メモリセクション／セグメントともちょっと別。xがメモリブロックを指すなら、 どこ → &x どのくらい → sizeof(x) なに → 例えば次の関数 #include void dumpmem(uns…

strictな計算は簡単。さて、Carl A. Futiaに従うとして、次はブリッジだ。僕のイメージとしては、ブリッジつうより膜の集まりなんだけどね。a, b∈Ck に対して、1次元高い膜c∈Ck+1が与えられているとき、c:a〜→b と書くことにする。与えられた膜（ブリッジ）c…

昨日と少し記法を変える。0≦i＜k だとして、 d-i←kをdomki d+i←kをcodki sk←iをidik 要するに、上から下に向かう矢印があると思えばいい。で、反射的球集合（reflexive globular set）を考える。Cが反射的球集合だとして、そのk次元部分をCkと上付き添字で示…