日々の流転

λ. 日記のスタイルシートを代えてみた。

λ. すべてがFになる　ゲーム版

ボイスサンプルとオープニングムービーが公開されてる。犀川先生の声が僕のイメージと違いすぎるよぉ。オープニングムービーは結構かっこよい。

λ. 明日のナージャ

なんとか早起きして、石川さん、なかださん絶賛の「明日のナージャ」を見た。結構良かったです。

λ. Text.Regexで日本語が扱えない問題を鬼車で解決

久しぶりのHaskellネタ。GHC-6.2.2現在のText.Regexでは非ASCII文字はまともに扱えないことに段々むかついてきたので、鬼車(Oniguruma)を使って解決してみた。

Current(GHC-6.2.2) implementaton of Text.Regex doesn't handle full range of Unicode. It can handle only ASCII (or maybe LATIN-1) characters which is a very small subset of Unicode. This limits the usefulness of Text.Regex since there are many natural languages (such as Japanese) that need non-ASCII characters.

Therefore I modified the implementation of Text.Regex to use Oniguruma(鬼車) which is a very powerful regular expression library. To a wonderful thing, it supports UTF-32. So that the new implementation can handle full range of Unicode.

for Hugs98-Mar2005 (updated 2005-05-07)

1. Install Oniguruma version 3 (or later).
2. Apply hugs98-Mar2005-oniguruma3-2.patch to the Hugs source tree.
3. Run autoconf in the top directory and `libraries/base' directory.
4. Build hugs as usual.

for GHC-6.4 (updated 2005-05-04)

1. Install Oniguruma version 3 (or later).
2. Apply ghc-6.4-oniguruma3-1.patch to the GHC source tree.
3. Run autoconf in `libraries/base' directory.
4. Build GHC as usual.

for GHC-6.2.2

ghc-6.2.2-onigd20050204-1.patch.gz
このパッチをあてて、autoconfを実行し、./configure に --enable-oniguruma を指定してビルドすると鬼車が使われるようになります。

λ. 反対圏の実現

檜山さんの「反対圏の実現」というエントリを読んで、以前に Linear Logic complements Classical Logic のエントリで書いた CABA が Set が反対圏になっているという話について思い出した。で、真面目に考えてたら、なんか妙に時間かかるし疲れた。俺ってこんなに頭の回転遅かったっけ……orz

それにしても束とかブール代数とか扱うのは久しぶり。 このあたり、あまり真面目に勉強したことないけど。

λ. 「健全」発言について

また野党は騒いでいるけど、毎日新聞の「柳沢厚労相：「結婚し、子ども２人以上希望が健全」　記者会見で発言、新たな波紋 」という記事に載っている要旨を読む限りでは、これもそんなに問題になる発言には思えない。一方で、雇用状況と婚姻状況の相関に言及している点は評価できる点だと思う。

柳沢伯夫厚生労働相の６日の記者会見での主なやり取りは次の通り。

(記者)

　少子化対策は女性だけに求めるものなのか、考えはいかがか。

(厚労相)

　若い人たちの雇用形態が、例えば婚姻状況などに強い相関関係を持ち、雇用が安定すれば婚姻率も高まるような状況なので、まず若者に安定した雇用の場を与えていかなければいけない。また、女性あるいは一緒の所帯に住む世帯の家計が、子どもを持つことで厳しい条件になるので、それらを軽減する経済的支援も必要だろう。もう一つは、やはり家庭を営み、子どもを育てることには人生の喜びのようなものがあるという意識の面も若い人たちがとらえることが必要だろう。そういうことを政策として考えていかなければならない。他方、当人の若い人たちは結婚をしたい、それから子どもを２人以上持ちたいという極めて健全な状況にいるわけだから、本当にそういう若者の健全な、なんというか希望というものに我々がフィットした政策を出していくことが非常に大事だと思っている。

λ. Lenovo USB Webカメラ が届いた

クリスマスセールで Thinkpad X61 を注文したときのプレゼントの Lenovo USB Webカメラ (40Y8519) が届いた。思っていたよりも画質も良さそうだし、遊べるかも。ちょうど明日は圏論勉強会だし。