蚊に食われた痕って、いろんな形に膨らむけど、あれって何で決まるんだろうか。普通は円か楕円が多いので、血管に当たらなければ刺された箇所を中心に比較的丸く拡散、血管 (リンパも?) に当たればそれに沿って拡がりつつ血管壁から滲出、という当てずっぽの…

二日ぐらい前にどっか身近な blog から辿っていったところで、multiprocessor なときの memory barrier の実装について気になる slide があった。どこだったか思い出せない。moratorium か g新部 code 日誌の古めの記事から辿ったんだと思ったが… うーんうー…

いっつもいっつもいっつもいっつも aclocal -I m4 忘れすぎ。

おくじさんが ls の挙動が変だと言うのでちょっと調べてみた。確かに落ちる。おくじさんとこでは message 吐いて死んでるのに対して手元では SEGV ってるが、その辺は御愛嬌(…なのか?)configure…bison の有無見てくれてない?適当に gdb の supervision の元…

bzip2 が入ってないことに今気がついた。System install してから既に数ヵ月経っている。

emaciate

instill

K 大の数研図書室の書庫は地獄蒸しのような状況であります。そして anthy の標準辞書だと「すうけん」で「数理解析研究所」が出るんであります。使う人はどれほどいるのか…

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…

何となく breakpoint で止めてる program の core file を作成する機能とか欲しいなー。あるいは command 履歴を自動的に再生する機能とか。 追記: うわ、timing えーなこれ。↑と書いた事と因果関係があるとか?

Cygwin で動かないというのが発覚したのは、私が東京に行って kzk さんの案内で地下に篭ったときなんだけど、そのとき「cygwin だとすげー build が遅い」という話が出ていた。私はどこかに凄い bottle neck があるのを覚えてたけどどこか思い出せず、うろ覚…

alloc.c: #define ALIGN_CELL (sizeof(ScmCell)) /* 8-bytes alignment (not ScmCell alignment) is required by storage-compact. */ #define ALIGN_HEAP 8 [...] /* heaps must be aligned to sizeof(ScmCell) */ SCM_ASSERT(!((uintptr_t)p % ALIGN_HEAP)…

最近だらけまくり。ほとんど何もしてないに等しい。cygwin で落ちる件については sizeof (ScmCell) を直しても一部の crash しか直らなかったので、再調査。scm_gc_{,un}protect () と gc_mark_protected_var () に debug print を仕込んで protect された変…

Basic Category Theory for Computer Scientists (Foundations of Computing)作者: Benjamin C. Pierce出版社/メーカー: The MIT Press発売日: 1991/08/07メディア: ペーパーバック購入: 3人 クリック: 57回この商品を含むブログ (15件) を見るを K 大の数理…

無い。どこにも無い。もうええ。二年後帰ってきたときに、今より広まってるように期待。

取らねばなるまい。身分証が passport しかないのは非常に困る。 日→米変換は簡単だけど米→日変換は難しいらしいので、日本に居る間に合宿行って缶詰の方向で。 まあ免許を取るというより免許 *証* を取るわけでして、多分ほとんど無事故無違反無運転になる…