前回までのフィラデルフィア・エミュレータ作りで考えた事の要約。 まだ考え途中。 以下の文章で使っている「call/cc」は、よくあるgotoやreturnの用途で使うcall/ccではなく、 (call/cc (lambda (cont) ... ... ...)) xxx xxx xxx の、「...」の外側(「xxx…

ちょっとコードを考え直してみたが、完全にcps変換してしまわない限り、closure-ambは使えない事に気付いた(手続きの呼び出しで戻ってしまうと、amb状態が戻されてしまう為)。 どうするか。 部分継続を使えば何とかなるかも知れない。しかし、駄目かも知れな…

要約: フィラデルフィア演義の戦闘エミュレータが、とりあえず動くようになった。

要約: 副作用無し(と言うにはかなり怪しいが)で実装されたambを二種類、作った。

call/ccは、単体では破壊的変更は行わないし、副作用も持たない。但し、評価順に対する依存性を持ち、更には手続きの返り値が一つの値に集束するとは限らなくなる為、参照透過性が破壊される。つまり、関数型言語的な遅延評価が適用できなくなる。 しかし、…

要約: フィラデルフィア演義の戦闘エミュレータを作り始めた。まだちゃんと動かない。 その過程でambを作り直し、時間属性を持つオブジェクト操作に関するバッドノウハウを収集した。

三日ぐらい考えた後で、トイレの中で良さそうなのを思い付いた。 問題は素材をどうやって調達するかだ……。

GaucheNight行きたい。 しかし、関東遠いし、平日だし、今から参加するには当日券を狙うかGauche Gong出場を狙うかしかない。 不確定な当日券狙いは、関東遠征してはずれたら目もあてられないので、狙うとしたらGauche Gong出場だが、今のところ、自分が作っ…

もう少し思い付いた事をメモしておく。 あとでまとめる(そしておそらく忘れられて放置される)。 「金槌を持ったら全てが釘に見える」の例を真似て、「オブジェクト指向を持ったら全てがオブジェクトとメソッドに見える」し、「関数指向を持ったら全てが関数…

前回の続き。 まずは、これまでの話をまとめてみる。 前々回。 「現実物理世界」と「脳内写像世界」は(似て作られてはいるが)完全に別物。 我々(の意識)は、「脳内写像世界」の中でしか生きていない。「現実物理世界」には存在できる余地すら無い。 「現実物…

先日の続きを書こうとしたら、 http://practical-scheme.net/wiliki/wiliki.cgi?cut-sea ここの「matzにっき」の項目で既に書こうと思ってた事が書かれてた。 一応、書こうと思ってた事の一部だけ書いておく。 (他にも色々書こうとしたが、あまりにも電波な…

http://www.rubyist.net/~matz/20070412.html#p01 今回の結論: 関数脳を作りたいなら、SF(特にイーガンと山本弘がおすすめ)を読みながら、関数型言語をいじろう。 以下の要約: 人が感じ取れる限りの世の中の全ては、写像(mapping)だった。だから全ては写像関…

もう一週間か二週間ぐらい経った気がするのに、なんか微妙に体調が治らない。 今週に入って、またぶり返してきたか、別の物に感染したかしたようだ。 今度は腹具合は悪くはないものの、咳が出てフラフラする、普通の風邪っぽい症状だ。 あと、全然眠れなくな…

体調は微妙に少しずつ良くなってはいるが、なかなか治らない。 しかし、半分ぐらいは治ってきた今から病院に行くのも微妙だ。 素直に早い段階で病院に行っておけばよかった。 とりあえず、一旦またmt-random-integerを使うように戻して、偏りがあるかどうか…

腹具合は収まったと思って、物を食べたら、まだ腹は壊れたままだった。 とりあえず気分が悪いのだけは収まったが、頭痛と皮膚感覚と腹具合が治らない。 どうも、ノロではないっぽいようだ。 とは言え、それなりに収まってきてはいるので、月曜になってもまだ…

腹具合は収まってきたが、すごい頭が痛くなってきた。 熱が出てきた。これはやばい。 しかし眠れない。 仮に、100回試行するとする。 この中で、三回連続で同じ職がでるかどうか確認できるチャンスは98回(最後の二回では、もう次に試行する事は無いので、チ…

結論: なんか別のバグが見付かったが、偏りの方は起こってなさそう。 (または、自分の書いたコード側に問題があるか) 頭と腹はずっと痛くて、全然眠れない。 この前のノロっぽい症状だ。 寝れないので、検証方法を考えてみた。 要は、同じ数値が連続で出る可…

この前作った「世界樹の迷宮 私家版キャラクタジェネレータ」に、「偏ってない？」という意見が来た。 実際に自分でも試してみると、確かに、微妙に、同じ職が連続で出やすいような気がする。 職種が九種類なので、例えば、どれかの職業が三連続で出る可能性…

普段通り、Gauche+自作ライブラリで書いた。 そして、新作のspeedygoshによって高速動作させてみた。 正直、キャラクタジェネレータ自体は、ここまでちゃんとしたものを作る必要は全く無かったが、 自作ライブラリの動作確認/デバッグ speedygoshの正常動作…

ここのところ、ずっと、世界樹の迷宮で遊んでいた。 「一応クリア」の状況まで進んだので、そろそろ次世代メンバーを作って鍛える事にした。 しかし、名前や職業を考えるのが面倒だ。 そこで、キャラクタ生成ツールを作ってみた。 (ちなみに、初期メンバーも…

リリカル☆Lispの体験版が出たので試してみた。 http://lyrical.bugyo.tk/ http://lyrical.bugyo.tk/func.html すごい。ちゃんと動いてる。 一体どうやればNScripter上でここまで作れるんだろう。 しかし、確かにすごいけど……これ、ゲームとして楽しいんだろ…

http://lyrical.bugyo.tk/ これは注目だ。 しかし……なんか異様にターゲット層が絞られてそうな気が。 以前に、マクスウェルの悪魔シミュレータ( http://d.hatena.ne.jp/nushio/20061225#p1 )をやってみて非常に感銘を受け、そこから、メタ構造を説明するのに…

http://buysealand.com/ http://freenationfoundation.org/ どうも、とりあえず$20,000は集まったが、どう考えてもSealand売却側が提示している金額は満たせそうにないので、Plan B(どっかの無人島を購入)の方を別プロジェクトとして立ち上げよう、という事…

試しにbuysealand.comに寄付してみた。 これは手軽だ。日本語の登録ページがあれば、もっと使われそうに思える。 今回は、以下を見ながら登録した。 http://finedays.org/natto/paypal.html http://finedays.org/natto/paypal-j.html (現在は電話番号の国番…

http://japanese.engadget.com/2007/01/14/the-pirate-bay-sealand/ http://buysealand.com/ ステートレスとはほど遠いが、もしステートレスみたいな事をやるとしたら、現実的には無人島(のような場所)を買うぐらいしか無いので、ちょっと様子を見ておこう(S…

翻訳完了。 http://e.tir.jp/wiliki?%cb%dd%cc%f5%3a%a5%d7%a5%ed%a5%b0%a5%e9%a5%df%a5%f3%a5%b0%b8%c0%b8%ecLazy_K 翻訳過程で、コンビネータ論理で何ができるか、大体理解できてしまった気がするので、コンビネータ論理VMを作るのはまた今度、気が向いた…

「abstraction elimination」の訳語で迷う。 googleに頼ってみる。google:"抽象除去"？ "抽象除去" の検索結果 約 11 件 うち二件は自分の書いたページだ。残りは中国語とフランスっぽいpdf。 google:"抽象簡約"？ "抽象簡約" の検索結果 約 67 件 しかし、…