なーんて嘘です（のっけから…）。 実際には解けませんでした。 先週あたり、「うみねこのなく頃に」EP2の密室トリックが解けないかと思ってベッドの中で無駄な努力をしてました。Alloyとはいわゆる仕様記述言語でありますが、処理系にSATソルバを備えており…

でした。5行しか進まんかったよ。

読んだ。 … (;´д`)…うはムズー。なんじゃこれ。 戦人のモデルってなるほどくんですよね。逆転裁判の。多分（脈絡なしうーん。前回の推理が根本的に間違ってるとは思わないけど、各キャラの行動原理が（EP1とEP2で）共通しているんだとすれば、筋書きは書き換…

http://hal.inria.fr/inria-00130504/en/ さっきたまたま見つけた。のでまだ読んでない。 前回の勉強会んときの雑談で論理と圏の対応の話が出てましたが、多少関係アリ？ a Boolean category should provide the abstract algebraic structure underlying th…

おめでとうございます。去年の暮れから絶妙な忙しさ＋年始にかけて体調不良 で、この正月はなんにもできまへんでした。 ここも放置気味です。

今週です。 前回のエントリーが前回の勉強会の告知だというのは胸が痛い。 2007-1-13(日)(13:00-18:00) 東京都 (びぎねっと トレーニングルーム)"Categories, Types and Structures" Section 2.4.1.2 より交通アクセス: http://begi.net/modules/xfsection/a…

ミステリに飢えて、通販で買ってみたんですが、面白いです。同人ゲームのクオリティじゃないですな。 エピソード2を買ったんですが、とりあえず同梱の1を読んでみての推理のようなもの。 2読後は1読後の推理がボロボロになるらしいんで、どこまでボロボロに…