トップ «前の日記(2002-02-01) 最新 次の日記(2002-02-03)» 月表示 編集

日々の流転


2002-02-02 [長年日記]

λ.

キングオブファイターズとハンター×ハンターと列火の炎と水戸黄門が混ざったような夢を見た。まったく意味不明だった。

λ. XMLで表現して管理したいもの

誰かつくってくんねえかなぁ。

証明図
MathMLと似たようなものか。 もちろん、NKでもLKでもLHqでも何でもありで。 さらに証明の妥当性の検証とか出来ると吉。
将棋の盤面と棋譜
そういえば、白将棋駒(WHITE SHOGI PIECE)と黒将棋駒(BLACK SHOGI PIECE)って、JIS X 0213 と Unicodeに入ったんでしたっけ?
ボーリングのスコア
以前にも同じことを考えたけど。

λ. GTK+ Object Builder

GOB is a preprocessor for making GTK+ objects with inline C code so that generated files are not editted. Syntax is inspired by java and yacc or lex. The implementation is intentionaly kept simple, and no C actual code parsing is done.

λ. アジアでのRuby

偶然このメールを見掛けて気になったのだけど、日本を除くアジアでのRubyって現在どんな感じなのかなぁ。

λ. Gimp-Python shell

ふむふむ。Gimp-Rubyでもちゃんと補完できるようにしたいところだなぁ。

λ. DAG

Development Assistance Group よりも Directed Acyclic Graph の方が先に頭に浮かぶ今日この頃。

λ. Amaya

libthotのDisplayJustifiedTextが仕事を抱え込み過ぎてとんでもない状態になっている。ここさえ切り崩せればlibthotは一段落なんだけどなぁ。ディスプレイ上で何度か眺めててもサッパリなので印刷したら7ページなり。長過ぎじゃ!!