2006-11-15から1日間の記事一覧
ホーア論理、ホーア式については何度か触れたことがあります(例えば、「デュアルプログラミングとエクソシストゲーム」、「極小プログラミング言語とホーア論理」)。ホーア式(ホーア論理における論理文)を記述する構文と実行フレームワークがあると便利…
「はてな」のRSSモジュールを使って、注目のエントリー(URLは http://b.hatena.ne.jp/entrylist?url=http%3A%2F%2Fd.hatena.ne.jp%2Fm-hiyama%2F&mode=rss)をサイドバーに入れてみたんだけど、見ばえが良くない。もうちょっと気がきいた表示ができないもの…
僕は、仕事と趣味の区別があんまりハッキリしない生活をしているので、「これは仕事」という境界線を引きにくいのですが、比較的に,仕事的な,連絡的な内容(「的」バッカリ)には、「連絡的」という分類タグを付けることにします。ここに書いてしまうってこ…