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読後の推理がボロボロになるらしいんで、どこまでボロボロに…