結局先週アレックスは電話ばっかりしていてちっともコードを書いてくれなかったので、きっとこの部分は捨てられると半分覚悟で A.S.T. を書いています。ビューの部分はモデルが無くても出来る！と豪語した物の、さすがに今の夢うつつなプランだけでは何とも…

ここ数日体調を思いっきり崩したのと、仕事で手一杯になってしまったので進展はありません。なので自分でもどこまでやったか忘れないように現在の状況を書きます。実は進展が無いと言いつつ数日前から何度もコードを書いては消し書いては消しという事を繰り…

体調が悪くて、明日死んだらどうしようと悩んでいるうちに、素晴らしいアイデアが浮かんだので書いておく。それは時間旅行は可能か？もし可能だとしたら、それは一体どういう結果を生むのかという問題についてだ。結論を先に言うと、時間旅行が不可能な数学…

ここ数日下痢気味で、それはいつもの事だけど、昨晩は少し症状が変だったので記録する。どう変かというと、おへその辺りがむずむずと痛い感じでしかもおしっこしたいわけじゃ無いのにおしっこに行きたい感じもあるのだ。小さな頃からたまーにこういう感じに…

http://languagegame.org/pub/lazy/Lazy.html プログラムは同時にリストではない。 さて、前回の気付いた重要な点は、lisp の伝統的なリストの表現方法 '(this is a list) => (this is a list) がおかしいという事でした。数字の 7 を評価すれば 7 が返るよ…

http://languagegame.org/pub/lazy/Lazy.html rewrite と compose : 項の書き換えと関数合成。 いよいよ山場。 遅延評価を実装する。遅延評価が完成した暁には次のような式が評価出来るようになる。 > ((lambda (ones) (take 5 ones)) (cons 1 ones)) (1 1 1…

ちまたでは言語開発合宿というのをやってたそうです。http://wiki.fdiary.net/ldev/ 無茶苦茶楽しそう！この日記も思いっきり影響されてますが、ヘタレなのでこそこそ隠れてマイペースに行きます。http://languagegame.org/pub/lazy/Lazy.html factorial 先…

(注意: この俺様言語の日記はなにぶん学習の過程ですので、数多くの嘘が混ざっている場合があります。信用しないで下さい)http://languagegame.org/pub/lazy/Lazy.htmlふとプログラミング言語を一つ作ってみる事にした。そうすると俺に足りないものが見つか…

http://d.hatena.ne.jp/propella/20061102/p1 に書いた物と重複しますが、管理上のメモです。まずサンプルの po ファイル ja.po を作ります。 msgid "" msgstr "" "MIME-Version: 1.0\n" "Content-Type: text/plain; charset=UTF-8\n" "Content-Transfer-Enc…

なぜかいつも世間から半周以上遅れて興味が沸いてくるのだけど、突然 Common lisp をやってみた。処理系は沢山あって迷うがとりあえず cygwin でインストールが簡単だった clisp http://clisp.cons.org/ マークがユダヤ教の蝋燭立てみたいなのはカッコの対応…

重い腰を上げて運転免許を取りに行ってきました。 大島さんから運転ハンドブックを頂く。交通ルールを勉強。 DMV にある模擬試験を試す。 DMV のウェブサイト http://www.dmv.ca.gov/ で予約。 ちょっと早めに行って、DL 44 フォームを記入する DL 44 を持ち…

ロサンゼルス・コンベンションセンターで開かれている WIRED NEXT FEST という展示会を観てきました。メディアアートのような物から真面目な発明まで、世界各国から珍しい物が沢山あつまって居ました。特に私が面白い！と思ったのは、 Brainball : 念力でボ…

この週末は Cat 言語の Javascript 版を作っていました。作者さんによるオリジナル版が壊れていたので直しただけですが、Cat と Joy の違いがよく分かりました。まだ関数定義が出来ないので、はっきり言って面白い事は何も出来ないけど、今日の成果をとりあ…

Lucid 言語というのを教えてもらいました。Lucid も 70 年代に作られた古い言語で、データフロー言語のハシリとされます。残念ながら私のパソコンで動く処理系は無いみたいだけど、Haskell に翻訳しながら試してみます。まず最初の例は、数列の合計を求めま…

大島さんに、Arrow でスタック言語が書けたところで Arrow がスタック言語であるとは言えないのでは無いかとの指摘を受けたので考えを書き散らかす。ここで、スタック言語とは、 構成要素が全てコンビネータ(外部変数を含まない関数)である。 例えば Haskell…

Arrow はスタック言語だと口で言うだけじゃ信用してもらえないと思うので軽く作ってみる。もしかして、Haskell で Joy (風言語)というのはとても難しいのではと思っていた。何故難しいかというと、スタックというのはリストなのだけど、リストというのは普通…

さて、気分を変えて ArrowLoop をやります。論文に書いてあるloop f b = let (c,d) = f (b,d) in cの意味が全く分からなくて Arrow の勉強が一ヶ月近く停滞していたのですが、id:MaD さんが素晴らしい解説 http://d.hatena.ne.jp/MaD/20070818 を書かれてい…

キャンプから帰ったあと、今週はずっと調子が悪かった。もしかして『プログラムのシルエット』のデモがイマイチだったので落ち込んでいるのかと思ったが、今強烈に頭が痛くなり、体調が悪いのだと分かった。熱は無いので頭はちゃんと働いていると思うが、胃…

シャンプー無し。髪はドライヤーで吹き飛ばす。 顔そり無し。 チップが要るらしい。 散髪屋に行った。普通だった。アメリカでの散髪についてはウェブで散々恐ろしい事が書いてあるが、結論を言うとそこまで酷い事は無かった。参考までに違いを書いた。料金は…

prolog と haskell の関係について質問がありましたが、そんな事私に分かるわけ無いです。しかし、両者のコードを愛でてみるのは楽しそうなのでやってみました。prolog で CPS で書くというのがどういう事か分からなかったので、普通に末尾回帰にした版を並…