トップ «前の日記(2003-09-14) 最新 次の日記(2003-09-17)» 月表示 編集

日々の流転


2003-09-16 [長年日記]

λ. いろんな事が思うようにいかない。ちょっと疲れた。

λ. Re: 続・NP完全問題を解く決定性アルゴリズムについて

なるほど。勉強になります。先日の駄文を書いた甲斐がありました (^^;)

λ. 陸軍航空隊

知り合いの某氏(バレバレですが)が作ったゲーム「陸軍航空隊」を遊んでみる。なかなか難しい。「マレー敵飛行場強襲」のミッションが難しかった。

λ. Comonad (2)

先日読んだ "Codata and Comonads in Haskell" のコードは本当に動くのかと思って、Hugsで試してみる。echoは確かに動くのだけど、自分で

stdPutString :: String -> OI () -> ()
stdPutString [] t = coeval (t .>> ())
stdPutString (x:xs) t = coeval (t .>> x =>>
                                stdPutChar =>>
                                stdPutString xs)

とか定義して、「stdPutString "hogehoge" stdOI」とかやっても、何も出力されない。何がまずいのだろう。

Tags: haskell

λ. GUNSLINGER GIRL アニメ化

楽しみ。

λ. バイト

7-zipで圧縮しなおすと、jarファイルがちょっぴり小さくなるそうだ。サイズを小さくするために出来るのは、あとはクラスファイルのObfuscationくらいかなぁ……。とりあえず、幾つかツールをメモ。後で比較してみよう。

λ. 影鷹 - 縦書きブラウザ

影鷹(かげたか)は HTML を縦書きに表示するためのソフトです。最終的には Intenet Explorer や Mozilla などのようなブラウザを目指していますが、今はまだ普通の HTML(Javascript などを使っていない)を表示するのがやっとの状態です。

メモ。

Tags: URL