#document のフォーマットは確かに決定版が欲しいところですね。もしそうなら Mosh は Gauche に倣います。PODとかでも良いんでしょうけど、ついつい S式的なものを期待してしまう。
#documentフォーマットもプログラムと一緒で作ってみないと分からない部分があって、それをずっと改善しつづける気持ちがないとなかなか良いものは出来なそうですよね。あとは全然別のレイヤの問題としてサポートされる出力形式が多さなども重要。（これはフォーマットが決まれば分担できますが）
#> (and (not (< x y)) (not (> x y))) であれば (= x y) だから。
#nanの場合そうならないんじゃないか？と思って試したら (= (/ 0 0) 1) => #t なんですね
#あれ。どういうからくりで +nan.0 と 1 が等しくなるんだろう。
#args: #f
0 CONST-PUSH +nan.0
2 CONSTI(1)
3 NUMEQ2 ; (= +nan.0 1)
4 RET#NUMEQ2 を見てみよう。
#一時期 rdtool がダウンロードできなくなってたので RD は滅びたと思ってたんですが、今確認したら復活してますね。あれ、それかぼくの勘違いかなぁ。RD は自分のブログでも使っていたので、なんか困ってた記憶があるんですが。
#number.c の Scm_NumCmp
#else if (SCM_FLONUMP(arg0)) {
if (SCM_INTP(arg1)) {
double r = SCM_FLONUM_VALUE(arg0) - SCM_INT_VALUE(arg1);
if (r < 0) return -1;
if (r > 0) return 1;
return 0;
}#ここで arg0 が nan かどうかをみないといけない？
#Ω Ω Ω
#0.9 のバグでなく？ svn r7098 で動作かわってるとおもう。
#おお。自分が見たのは若干古いソースです。
#SIGGRAPHのMS Reserchのストリートビュー面白いですね。このUIには驚いた。 #面白い。通り沿いのものを調べるのが楽になりそう。
#4/19に直したやつかな > nanの比較バグ
#そう、nanを入れるとrealの集合は全順序にならないので、＜から=は導出できなくなりますね。nanの比較バグも根っ子は同じでした。
#ただまあ、そもそも
#tree-map作りたい時はキーが順序集合であること前提なので (realを使う場合でもnanは除外して考えてるはず)、その前提であれば=を省略可にするのは理屈の上ではありだと思います。効率悪いだろうけど。
#延期になった Shibuya.lisp 次はいつ頃開催にしようかしら。
#今年もFranzはセミナーやるのかな? やるとしたら例年11月くらいですよね。それとはぶつからない方がいいかも。
#あーもう、sshのコネクションが切れまくる。いらいら。
#おー、Photosynth の逆襲ですね。
#ありがとうございます。>Franzセミナー
#逆襲というか、順当な進化という気がします。
#進化というより応用かな。
#業界に入ったばっかりの頃、もう長くいるベテランの人が「siggraphも何年も行ってると毎年似たような感じで目新しさはなくなるよ」とか言ってて、
#確かに、驚くような新技術っていうのはおいそれと出てこなくて、ほとんどは漸進的な進化なんだけど、
#実は未来を変えるようなすごいものというのはそういう漸進的な変化の中のちょっとした屈曲点なんじゃないかというふうに思う。
#あれ、port-for-eachのreaderって複数の値を返しちゃだめなのか...
#それは、何年も経ってから技術の奇跡を振り返って事後的にわかるもの。
#s/奇跡/軌跡
#だから、目撃しているちょっとした進歩が重要な節目かもしれないと思って見てると、わりと何でも新鮮に見える。
#もちろん袋小路の方に曲がってちゃう場合もたくさんあるわけだけど。
#複数のプロセスが非同期に動いて、最終的にある状態に落ち着く、っていうコードをいじってるんだけど、こういうeventual consistencyをテストするうまい方法って無いかなあ。
#通常のオペレーションモードだと収束するまでにかかる時間が不定なので、こっちの意図した通りの順序でタスクが実行されるような入力データを喰わせてやって、後は収束を監視するってテストコードにしてるんだけど、時間かかるしうまくない。
#何らかのアノテーションで各プロセスの初期条件と終了条件を記述しといて、何がどう来ても収束する、ということを形式的にチェックしたり、希望するフローでタスクが実行されるような入力データを自動生成したり、アノテーションと実装があってることを自動検証してくれたりすると嬉しいな。
#SPINみたいなのかしらん．
#そう、でも別個にかっちり記述するんじゃなくて、Common Lispみたいな(型的に)ぐだぐだなコードにちょろっとアノテートする程度でもごりごりがんばって解析してくれるのがいいなあ。
#そういえばとおる君は日本に帰れたのだろうか。
Gauche > Archives > 2010/07/29