2008-06-27から1日間の記事一覧
here is my test-code, and results. I'm reading プログラミングErlang p. 333 この本についているコードって、結構更新されてるんでしょうかね。現在はR12B3が出たということで、確かにR11B5で動くコードそのままってわけにはいかないかも。 結局、あらか…
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+フォントのアウトライン版で、教育漢字までは揃った、というニ…
added some code(=collection of bugs) to yesterday's entry 昨日の記事に追記しました。
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を動かすと、結構重いのでし…
Erlangの組み込みストレージ機能として、オンメモリのETSと、ディスク上にデータを格納するDETSというのがあるが、その機能のテストをコマンドラインから実行していてハマッタというのが↓の話。 This happens frequently while testing Erlang comand-line i…
Erlangでパーサ・コンビネータ - kgbu?では、自分で証明できなかったので、プログラム意味論 (情報数学講座)で参考文献に挙げられていたプログラミング言語の基礎理論 (情報数学講座)のp.130あたりを読んでみた。 だいたい納得できた。やはり、有限の型では…