2008-06-27から1日間の記事一覧

I'm bugging-in my code. lib_chan does now work as I thoght

here is my test-code, and results. I'm reading プログラミングErlang p. 333 この本についているコードって、結構更新されてるんでしょうかね。現在はR12B3が出たということで、確かにR11B5で動くコードそのままってわけにはいかないかも。 結局、あらか…

Try to use M+ outline fonts

M+ OUTLINE FONTS it looks soft. On my Ubuntu (virtual)machine, just expand tar-zip file in /usr/share/fonts/truetype directory, then each application can locate them immediately. M+フォントのアウトライン版で、教育漢字までは揃った、というニ…

Some Erlang code study

added some code(=collection of bugs) to yesterday's entry 昨日の記事に追記しました。

Why use English? 'cause I dont want to have 2 instances of Firefox

It is excessive. And I need to use Ubuntu while debugging something Erlang code. There may be some useful Input method of Japanese, but I have no time to setup. ↑ メモリが1GのマシンでXP上のVMware ServerでUbuntuを動かすと、結構重いのでし…

ETS instance erased when owner process died

Erlangの組み込みストレージ機能として、オンメモリのETSと、ディスク上にデータを格納するDETSというのがあるが、その機能のテストをコマンドラインから実行していてハマッタというのが↓の話。 This happens frequently while testing Erlang comand-line i…

型付きλ計算で不動点演算子が使えない話の続き

Erlangでパーサ・コンビネータ - kgbu?では、自分で証明できなかったので、プログラム意味論 (情報数学講座)で参考文献に挙げられていたプログラミング言語の基礎理論 (情報数学講座)のp.130あたりを読んでみた。 だいたい納得できた。やはり、有限の型では…