研究開発

継続による時間操作とフィラデルフィア・エミュレータ(1)

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

関数脳続き

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

関数脳まとめ

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

現実世界に「状態」はあるか

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

関数脳の作り方

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

世界樹キャラジェネCGIの乱数偏り問題その後

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

偏り問題を統計学的に確認

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

Gaucheのmath.mt-randomにバグがあるかどうか検証

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

Gaucheのmath.mt-randomにバグがあるかも知れない?

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

私家製キャラクタジェネレータの技術部分について

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

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

Lazy K

翻訳完了。 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を作るのはまた今度、気が向いた…

Kahua 1.0

https://www.kahua.org/cgi-bin/kahua.fcgi/kahua-web/ キター! 早速インストールしていじろう。

dslinuxのリポジトリ更新状況を見ていると、新たにテキストベースウェブブラウザlinksが追加されたような雰囲気だ(ダウンロードして試したりはしてない)。 http://kineox.free.fr/DS/ http://links.sourceforge.net/ 更新されたファイルを見る限りでは、日本…

寝すぎた。 http://shinh.skr.jp/m/?date=20061226#p02 これが面白かった。 会社には自由に使えるJava開発環境はパッとは無いっぽかった。 SISCどうしようか。 インストール無しで動くなら、このままwindowsマシンから試そう。 完全にシリアライズ可能なら、…

http://sisc.sourceforge.net/ とりあえずSISCを試してみる事に。 会社のJava開発マシン(あるのかどうかは不明)で、あとで試させてもらおうと思っていた。 とりあえず、windowsマシンでアーカイヴを解凍したら「sisc.bat」なるものが入っていたので、何も考…

もうすぐKahua 1.0がリリースされるらしい

要約: https://www.kahua.org/cgi-bin/kahua.fcgi/kahua-web/ http://practical-scheme.net/wiliki/wiliki.cgi?cut-sea の、Kahuaのところ Kahua 1.0リリースされたら早速いじって遊ぶ。リリース待ち。 イーガンっぽい部分要約: HTTPのウェブサービスは、可…

http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3a%e3%83%9e%e3%82%af%e3%83%ad%3aCommonLisp%e3%81%a8%e3%81%ae%e6%af%94%e8%bc%83 色々と考えさせられる。 なんとなく思ったのが「ミニマリスト指向な人はCommon LispよりもSchemeの方を好む」とい…

unlambdaの翻訳は長すぎてだれてきたので、ちょっと放置気味。 代わりに、Lazy Kの翻訳に手を出し始めた。 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

関数地獄:C編 追記

ラッピング方式をちょっとだけ考えてみた。 typedef void *combinator; #define APPLY(f, x) (((combinator(*)(combinator))f)(x)) combinator s(combinator f, combinator g, combinator x) { return APPLY(APPLY(f, x), APPLY(g, x)); }冗長になったが、ま…

dslinuxにperlが追加されたらしい

http://www.dslinux.org/blogs/pepsiman/?p=77 http://kineox.free.fr/DS/ これで、不完全なbusyboxのshを使わずにスクリプトを書く事ができる。 busyboxが悪いのか、dslinuxの方が悪いのかは知らないが、とにかくdslinuxの/bin/shは、cwdが全く考慮されてな…

関数地獄:C編

今日の結論: Cは不完全言語だ(多分)。 諸事情により、C文法でコンビネータを書く必要がでてきた。 とりあえずSコンビネータを書いてみた(追記: よく考えたらこれ、カリー化忘れてる)。 combinator s(combinator f, combinator g, combinator x) { return f(x…

高階が苦手な大人のSKコンビネータ かんすう漬け

ここのところやる気が無いので、何かを作ったりは進まず、ひたすら寝てばかりだった。 眠くない時は、積んでいた本を読んだ。 「ものまね鳥をまねる」を読了。 http://www.amazon.co.jp/gp/product/4627019017 鳥一覧 http://www.angelfire.com/tx4/cus/comb…

PocketPuTTY ISO2022版バージョンアップ

と言うか、自分が最新のパッチを見逃してただけだが。 例によって無保証。自分自身でパッチあてて構築するのを推奨。 http://ranekov.tir.jp/files/putty20061115.exe 今回のバージョンアップで、コンソールの文字にclear typeを選択できるようになり、非常…

PocketPuTTY ISO2022版を構築する

結論: 実行バイナリを構築した。 正常に動作した。 他にも欲しい人は居そうなので一応、以下に置いておくが無保証。以下の構築手順を見て自前で構築した方が安全。 http://ranekov.tir.jp/files/putty20061114.exe

最新のGaucheは一味違った

要約: Gaucheを更に調べた。 あと、コメントでruiさんに教えてもらった。 http://practical-scheme.net/wiliki/wiliki.cgi?Gauche%3aCompactingPair 最近のGaucheでは、consセルのサイズはポインタ二つ分になっていた。 すごく高度な事をしていた。 自作sche…

consセルの型情報をどこで保持するかで悩む

要約: オブジェクト自身に型を持たせようと考えていたが、それだとメモリを食うので、変数側でだけ型を持たせる方法で何とかできないか考え中。

Cでschemeのしょぼいサブセットを書き始めた。 すごい楽しい。 とは言え、まだ最初の方なので、あとでどうなるかは分からないが。

combinatory logic

コンビネータ論理を色々といじった。 分かった事:コンビネータ論理をそれなりにマトモに扱うには遅延評価が必須(多分)。 やりなおしだ……。

devkitProのmalloc()怪しい→newlibのソース調査→日本語ドキュメント検索、の最中に、これを見付けてしまった。 http://nes.sourceforge.jp/index.html もしかして、古いPC等でwii互換のグリッド環境を構築する用途のos?と、思わず勘繰ってしまう(が、ただ単…