2005-05-02とか今日（2005-05-06）のエントリに、論理学（logic）で使う記号として「|-」と「|=」が出現してます。これらは、ほんとは1文字の記号なのですが、使用頻度が少ないからフォントが準備されてないことが多いでしょうね。Unicodeでは： 「|-」は、U…

僕は、マークアップとプログラミング（i.e. XML構文とソフトウェア）をつなぐものは仕様技術だと思っています。よって当然、仕様の理論に興味があるわけ。仕様技術についてヨーク考えてみると、それは結局、論理（logic）*1と同じことに気がつきます。元来は…

5月4日の昼時のこと。品川のアクアスタジアム（http://aquastadium.jp/）は4時間待ちでした。もちろん、あきらめたけどね。

連休は疲れるなー。普段でも、月曜が一番疲れている僕。休日が続くとへたばる。それにどうも調子がくるってしまうし。休みはもういいのに、また週末かよ。フー。