bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

2008-01-08から1日間の記事一覧

Lutz Straßburger, "What could a Boolean category be?"

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

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。