map2 :: (a -> b) -> (c -> d) -> ([a], [c]) -> ([b], [d]) -- map2 f g (xs, ys) = (map f xs, map g ys) -- map2 f g = uncurry $ (. map g) . (,) . map f -- map2 f g = uncurry $ (. (,) . map f) (. map g) -- map2 f g = uncurry $ (. (,) . map f) …

李斯が出るのに李氏朝鮮が出ない。韓信も。

expr1 $ expr2 = ((expr1) (expr 2))ゆえに e1 $ e2 $ e3 = ((e1) ((e2) (e3)))で f . g $ x = ((f . g) (x))

えーい鬱陶しい。二時間で 12 箇所も噛まれとるではないか。今しがた一匹取り逃したのが実に悔しい。蚊取り線香は何をやっておるのだ。

マンドクセ。

マンドクセ。

truce magnate

結局 links2 もイマイチという結論に。残念。 ところで firefox で mouse wheel を勢いよく転がすと、「戻る」か「進む」機能が呼び出されることがあるんですけど、これ仕様ですか? ウザい事この上ない。拡張機能のせいなのかな…

eq f = \x -> \y -> f x == f yの body を point-free に書き直したい。しかし思い付かない。Point-free にしたところで別に意味は無いけど…

car = fst cadr = snd

(Optional) registeration の頁より抜粋: I want to download the free [註: LGPL] version of Clean and agree to the License Conditions. I would like to use Clean commercially. I want a commercial license. (L)GPL なsoftware が商用利用できないと…

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

二日ぐらい前にどっか身近な 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 大の数理…

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