32nd Diary

トップ | 最新 | 過去の日記 | もっと過去の日記

2005年
10月
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31
めーるあどれす
ruby -rbase64 -e'puts Base64.decode64 %q(dGFrYW5vMzJAZ21haWwuY29t)'



2005-10-22 (Saturday) [長年日記]

[Moe][Game] ドラゴンボールZ バトル体感かめはめ波〜おめぇとフュージョン〜

なにこの剣神ドラゴンクエストボールZ(違

楽しそうなゲームですね...

[Moe][Media] 中学生日記「恋に燃え、アニメに萌え」

via Masuda,Masashi's network engineering diary

また,NHKが微妙に暴走.

やっぱり君が好きのようなノリを思い出すな...

[Moe][WEB] Mega Man の WEB COMIC

時間のあるときに一気に読みたいと思った.

[Ruby][Movie] Ruby-GNOME2 and Glade2

RubyでGNOME2とGlade2な動画.

Geckoエンジンのブラウザを作っています.

[Ruby] Shellwords

ダブルクォート区切りなどを配列にするというもの.

[Univ][Hack] ラムダ計算(2)

キター.ついに計算できるようになった.

---- reduce test ----
(&y.(q)(p)y)r
((&y.q)r)(&y.(p)y)r
(q)(&y.(p)y)r
(q)((&y.p)r)(&y.y)r
(q)(p)(&y.y)r
(q)(p)r

うはははは.うまく計算できてら.

結局,内部的にはredexをマーク(mark_first_redex)して, それからマークをreduce(reduce_first_mark)という二段階の手順を踏んでいるので, どこをreduceしようとしているのかも把握済み. あとは,HTMLで整形でもするかね.

うあ,なんかうまくいかないケースがあるみたい... 循環しはじめて,だんだんデカいラムダ式になってしまう場合があるみたい. アルゴリズム間違ったかなぁ...今度,先生に聞いてみよう...

本日のツッコミ(全2件) [ツッコミを入れる]
machy (2005-10-25 (Tuesday) 23:52)

あんまり良くわかってないけど、与えた式が停止性のない式という意味ではなく?

takano32 (2005-10-26 (Wednesday) 02:00)

今扱っているのは,最外最左(一番外側の関数で一番左側のもの)の式を還元する,という戦略だとかならず停止するラムダ計算なのですが,ボクのプログラムでは最外最左の還元可能な式の選択を間違ってしまっているみたいです.<br>本来,還元可能ではない式を還元可能としてしまっている風味です...(未確認<br><br>プログラムは意図どおりなんですが,どうやら理論の段階で間違ったことを考えているみたいです.<br>還元可能な式の判別方法について(理論の層で)先生に質問してみます...

本日のPingbacks(全0件)