bonotakeの日記

ソフトウェア工学系研究者 → AIエンジニア → スクラムマスター・アジャイルコーチ

2008-12-01から1ヶ月間の記事一覧

層・圏・トポス―現代的集合像を求めて 購入

http://d.hatena.ne.jp/m-hiyama/20081218/1229577890 経由で知って、昨日早速買いに走りました。溝の口の文教堂なら多分あるだろうなーと思ったら案の定、5冊くらい積んでました。相変わらずあそこの品揃えは神過ぎる。そのまま忘年会だったので、移動の電…

どう書く?.org『島の数をカウントする』をAlloyで解いてみた

アルゴリズム書かなくていいので行数短くなるかなと思ったら、マップの制約を書くのに行数食ってしまうという罠。 問題 m×nの長方形のマス目のうちいくつかを黒く塗りつぶします。 このとき、白の島、黒の島がそれぞれいくつあるかをカウントしてください。…

告知:圏論勉強会

2008-12-14(日)(13:00-18:00) 東京都 (びぎねっと トレーニングルーム)S. Abramsky "Temperley-Lieb algebra: From knot theory to logic and computation via quantum mechanics" 6.4.3より http://www.comlab.ox.ac.uk/people/samson.abramsky/tambook.pdf…

第二天竺への旅計画 終了のお知らせ

「レイトン教授と最後の時間旅行」は土日で終了しました。そして、今日になってもう一つ終了のお知らせが。実は第二の天竺…つか、来年からまた米国の某大学(前回とは別のところ)に1年半ほどお邪魔する計画があったのですが、折からの不況の煽りを食って、…

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