sizeof (ScmCell) と同根 (scm_malloc_aligned () の仕様変更) である事を確認。 追記: commit. と一応書いておく。ml-hook の問題はなかなか直らんのう。

posix_memalign () って確保できないときには与えられた pointer を NULL にするんだろうか。

C-x C-k で edit-kbd-macro を呼び出して直前の keystroke を macro として編集できるのか。知らんかった。

object:対象 opposite category:逆圏 dual category:双対圏 (そうつい; あひゃひゃ読めんわこれ) identity morphism:恒等射 epimorphism:全射 (surjection は全射か全写) monomorphism:単射 (injection は単射か単写) isomorphism:同型射 (bijection は全単…

Ordered pair の作り方: x, y に対して pairing axiom から { x, y } が存在する。Axiom of comprehension を使うと { t : t = x } = { x } が存在する。もう一回 pairing axiom を使って p = { {x}, {x,y} } の存在を確立。 p のどの要素にも入ってるのが c…