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-21 (Friday) [長年日記]

[Moe] 国民年金基金

なんだ,コレ.コラじゃぁないよな...

パパ,ママ...おにいちゃん...

[Game] Final Fantasy X ported to the NES

うはは,NESに移植されてやんの.(わら

FFIIベースとは書いてあるけど,ほかに特別な情報が 書かれていないということは, 普通にストーリーとしては再現されてるんかな. 謎だ.

[Software] Free VMware Player

VMwareのイメージがすでにあれば, それを利用できます,というソフト.

構成の変更などはできないらしいが, 機能的には問題なさそうだ.

通常のライセンス x 1台 + Free VMware Playerをインストールしたマシン x 数機という使い方ができそうですね.

[Software] OpenOffice.org 2.0リリース

ついにリリースされました. さっそく大学の環境を移行. 国際版でUIを日本語にする方法がわからん. まぁ,そのままでも支障はないんですけど.

[Univ][Ruby] ラムダ計算

自分でやるのが面倒なので,計算機にやらせることにする.(ぶ

とりあえず,revised beta-rulesで どんどん簡約化していくものを作ることにしました.

raccにラムダ式食べれる規則を食わせて, ラムダ式の木*1を作るところまではすぐにできた.

今さっきrevised beta-rulesの記述ができた. 4番目の簡約規則が特に美しく実現できた. テストコードもうまく動いているみたい. これを何回も木にpreorderで適用すれば簡約化できるようだ.

そこの部分で少し悩み中. というのも,結果だけでても面白くないじゃない. 簡約の手順を表示する機能を作りたいわけよ. その仕組みを実現するおいしい方法が思いつかないんですよね. 例外処理をうまく使えば,いまどこを簡約しているのか, という情報を取り出せそうですが...なんか,めんどいな.

うぁぁぁ,そういえば,月曜日に(ラムダ計算とは関係ない)ゼミの担当なのにぜんぜん準備してないや...orz

*1 いや,制御構造などがないだけで,構文木と同じなんですけどね.

本日のPingbacks(全0件)