創作のうち、頭の中身を具現化する部分は本能だとか。確かに所謂天才については、そういう背景を感じさせる逸話がこれでもかというほどある。筋も通っている。でも何だかなあ。自分にはそういう啓示みたいなのが降りてきた事は無いし、ずっと降りてこないだ…

byte ヤマケンさんの comment とか kzk さんの code とか読んでて、以外と知られてない事実なんではないかと思ってみた: C99 仮想 machine では、char 型の容量こそが byte の定義である。1 byte >= 8 bits であれば、何 bits でもいい (C89 は知らないけど…

CHAR_BITS? うむむ、苦しい naming ですな…一瞬標準の CHAR_BIT かと。C 型の char の幅じゃなくて octet の幅 (:= 8) なんですな。定義により 8 だからその抽象化はあんまり意味がない。でも "8" って書かれるともっと嫌。

めんどくさい…(´・ω・`)

shiro さんとこと kzk さんとこに載ってたやつ。 真っ白け。点数も低ぅ。住処の京都と国際空港各所を某 S 幹線の経路で繋ぐとあら不思議な偶然が。(違 徳島、広島は親類の居る所です。 つくづく inert な自分。東南アジアは結構行ったんだけど何も覚えてない…

予定していた encoding interface ヤマケンさんに忠告と相談。str2int()/int2str() はそれぞれ内部用と I/O 用の二種類が要ります。 static ScmMultibyteCharInfo iso2022kr_scan_input_char(ScmMultibyteString mbs); とかいう怪しい宣言が入ってるのはその…

うぐ…食いすぎた…

"∀" は何で "for all" なんだ。"For every" じゃないのか。今まで見た本とかには、一冊を除いてどれも all と書いてあった気がするが。

関数 address ;; ついてる comment について うひ、本当だ。-Os だと align 出力してないよ。 jun@debian /tmp $ gcc --version gcc (GCC) 4.0.2 (Debian 4.0.2-2) Copyright (C) 2005 Free Software Foundation, Inc. This is free software; see the sourc…

redo M-/ に redo を bind してるのがいつの間にか無効化される。いい加減うざくなったので、原因を調査…したら一瞬でわかった。初めて dabbrev-expand を呼んだときに dabbrev が遅延 load されて M-/ を rebind しくさるのだ。そんなわけで超対症療法的に …

SEGV? あらら、実際にどっかで SEGV りましたか? write_ss_scan() は、write/ss する datum の子要素のうち INTERESTINGP() なものは全て登録するので、get_shared_index() の時点で NULL が返ってくるようなら、登録 logic と出力 logic が噛みあっていませ…

姉さんそりゃ無いよ 本気でつか? Pattern variables that occur in subpatterns followed by one or more instances of the identifier `...' are allowed only in subtemplates that are followed by as many instances of `...'. > as many instances of `…

更新が衝突したなら一言ぐらい言えよ…

今日は 20m 位から先が見えない程度の霧に一日中覆われてた。バスも運行してない。はぁ…買い出しに行こうと思ってたのに。

kzk さんへ: SCM_REF() わやめとこうという話になってます。 かと言って REF_CAR() / REF_CDR() だけではあんまり意味が無いので REF_OFF_HEAP() を作ろうかと思うんですが、どう思いますか? >ヤマケンさん ;; 前回議論したときに REF_C[AD]R() に反対した理…

quasiquote quasiquote_internal() だけで 1KiB 超えてる。ありえない。やってることは単純なのに… 追記: --enable-debug だから -O0 になってたのだった。-Os なら 500 bytes。まあそんなもんか。

三時間ほど前に買ったペンが見つからないです、はい。ここんとこ三回連続で購入即紛失を繰り返してますです、はい。 orz追記: おおっ、あった! すかさず筆箱に退避。筆箱だけは無くしたことが無いのだ。;; そこから出した途端に逃げていくわけですが

三者三様 何か syntax に指定されてる識別子をいけない使い方すると、なんぼでも動作に違いが出るね。 jun@debian /dvl/uim/org/branches/r5rs/sigscheme $ scheme48 Welcome to Scheme 48 1.3 (made by Debian on Mon Aug 22 06:50:36 CEST 2005) Copyright…

Nested function が欲しい。欲しい。欲しい。欲しい。便利な場面は山ほどあるのに C99 でも追加されなかった。嘆かわしい。

(global-set-key "\C-M-^" 'isearch-backward-regexp) ^^check > error: invalid prefix (要約) なんでやねん! 指定させろや!! と苛立ちながら原因を探すこと 30 分。M の前に \ が抜けていることに気がついた。orz

C-c C-\ で region の行末に \ を付加できるのか。知らんかった。 ;; ていうか C-h m ですぐに見つけられるわけですが…

C-s C-s したら前回の検索文字列を再検索できるのか。知らんかった。

どうでもいい考察というか感想というか偏見 Scheme48 R5RS とか SRFI への準拠度が高い (動作未定義の code を与えると reject するとかいう意味で)。でも program 構文を使わないと script を認識してくれないのは頂けない。Error message もぶっきらぼうで…

いいなあ。面白そうだなあ。「プログラム概要」に載ってる演題が悉く perverted な黒い光を放ってる辺りが何ともw

こっちもいいなあ。タンドリーチキンとかナーンとかおいしかったよなあ。でも調子に乗って辛いものを食いまくると後で悔いまくることになるので、ほどほどに。

[Scheme] Scheme による scheme macro の実装 いくつかの procedure を実装して syntax.pp という file を load すると、sc-expand という procedure が定義されて、こいつに適当な parameter を渡すと展開済みの list が返ってるんだと。 Compiler 型の arc…

昨日の Y combinator を Haskell に入れてみたけど、無限型を生じるからと言って拒否される。問題は Y=λg.g( (λx.λh.h(xxh)) (λx.λh.h(xxh)) g )の xxh の部分。x::X, h::H と仮定すると、xxh という表現が意味をもつには X = X -> H -> a という型等式が成…

挑戦した。解いた顛末をそのまま dump するという、まさしく (そして珍しく)「日記」な内容。 ∀f, f(Yf) = Yf ←これを逆から読む。すると Y = λg.g(Yg) になることがわかる。これをさらに naïve に展開すると Y = λg.g(Yg) = λg.g(λh.h(Yh))g = λg.g(λh.h((λ…

使えんなーこいつ。ちょっと前までは http://utyuuzin.net は「page が見つからん」とか言ってたし、今度は Wiliki:Shiro の entry だけ private 扱いになってるし。 とりあえず自分で巡回したり、全うな spider 設定するよりは楽なのでいいことにしてるけど…

Hurd-L4 で Jonathan Shapiro が TC (treacherous/trusted computing) を持ち出したことで、どこまで許容すべきかという議論になってるんですが、その中で TC architecture の overview みたいなのが出てきました。 以前 TC について聞いたときはとりあえず…