昨日は風邪で死んでました。URI.parse(ref).normalize.to_sを使った方が良いかも知れないとふと思った。CGI.unescapeしてしまうと異なるURLが同一視されてしまう可能性がある。これをチェックして不正なURLを弾ける。(仮称)CDTの宣言のパーサと各種処理のコードを書いて、CDTを使ってCSLのSignatureを拡張出来るようにした。CDTで定義されるfunctorのvarianceの計算方法は3ヶ月前(2002-09-12)には理解出来てなかったので、ここが理解できたのは割と嬉しい。denotationを数学的にきちんと与えるためには必要だけど、プログラミング言語としてのCPLを実現するにはあまり重要ではない気がする。「おはようボンジュール」で俺を起こすのは止めてくれー。こないだは無駄かもと書いたけど、自分が理解するのが目的なのだから、無駄だって全然構わないのである。objectからは以下のような(条件付き)等式が得られ、この宣言がproductの定義になっていることが確認できる。(あ、「.」は関数結合ね。objectからは、以下のような(条件付き)等式が得られ、自然数の定義になっていることがわかる。RHG少し余裕が出来たので、RHGをパラパラとめくってみたり。たしかに難しいけど、脳の奥が痺れて気が遠くなるようなconceptualな難しさではないようなので、とりあえず安心。読めば何とかなりそう。ところで、参考文献が随分マニアックな気が......。2002-09-10の日記の記述そのままで無茶苦茶笑えた。関する規則)を除いて簡単に実装できた。R-NATややこしすぎ。succ.succ.succ.succ.succ.zero」は実行できた。5」という計算が実行できた事になる。明日が早いので今日はもう寝ます。今日は待ちに待った石川さんとの「でぇと」。場所はビッグサイトですが(笑)。今回は大手町から臨海線で行った。それにしても、コミ◯モードで臨戦態勢(?)の石川さんを見れたのは楽しかった。[著]『かわいいのすき。東方妖々夢げっぇ〜っと!!。『蓬莱人形』も欲しかったのですが、こっちは売り切れてしまっていました。[画]ラーメン本サークル不詳。(仮称)R-NATのサブルールにはR-NAT-VとR-NAT-Fがあるのだけど、とりあえずR-NAT-Vに限定して実装してみた。succ.succ.succ.zero」が実行できるようになる。transformationのdomainが定義しようとしているオブジェクトそのものの場合にしか使えないので、これだけではやっぱり弱すぎる。prodやinflistに関する計算は出来ても、expやdyn'に関する計算は実行できない。配列の長さを無視してアクセスしているようにしか思えんのだが......Cでは、末尾のメンバに可変長配列を持つような構造体を扱う際の常套手段ですよん。東方妖々夢げっぇ〜っと!!。うむ、俺も数ヶ月前に嵌ったな、これ。[gccには色々な拡張機能があって面白いですよね。[またよりにもよって誤解を招くような書き方を。今年を振り返って抱負は結局実現できてませんでした。「他人を犠牲にする」どころか他人に見捨てられてばかり。自分の欲求を追求すると言うよりも、自分を保護してくれる環境や人物に依存することによって一年を過ごしてしまってきた気がする。自分の中で何か熱意のようなものが薄れてきている気もするし、この傾向はいい加減に解消しないとまずいよなぁ。Theory)の勉強会をやろうとしてましたが、結局参加者は集まらず一人で寂しく勉強してました。無責任に他人に勧めて置きながらまだ殆んど読めていないし、結局今年理解できたのは残念ながら圏論の初歩に過ぎなかったです。それにしても、圏論は「言語」として非常に優れていて、圏論を通して数学や計算機科学の色々な面を知ることが出来た事は、大きな収穫であったように思います。Language)を再実装して、圏論の学習の一つの区切りにしようかと思っていましたが、これも残念ながら間に合いませんでした。すごいもの考えるよなぁ。なんにしてもメイドは良いものです。......とか書いてみよう。(仮称)R-NAT-Vの理解がいまいち進んでいないので、expressionのパーサも書いて、一応対話的に使えるようにした。最後までついていくのは無理そうですが、出たかったかもしれず。SFCにはこういう事に興味を持っている人が少ないようで。ふむむ、それは残念ですなぁ。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。