bonotakeの日記

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

2010-02-01から1ヶ月間の記事一覧

"Categorical Logic and Type Theory" (CLTT)読書会やります

一旦活動を終了し、ただの飲み会へと変貌を遂げた圏論勉強会ですが。飲みの席で話してたら、やっぱり普通の勉強会することになりました。新しいテキストと共に、結構ガチで。 ということで、折角なのでこの際、参加者を広く募集したいと思います。以下概要。…

告知:圏論飲み会(第一回)

開催日時 2010年02月13日(18:00-21:00) 開催場所 東京都(魚や一心 自由が丘店) 場所:自由が丘駅前 http://maps.google.co.jp/maps/place?hl=ja&safe=off&rlz=1C1CHMV_jaJP323JP323&lr=&oq=&um=1&ie=UTF-8&q=%E9%AD%9A%E3%82%84%E4%B8%80%E5%BF%83&fb=1&gl=j…

余談

前回の日記で そのココロは?みたいなところを書きかけたけど長くなりそうなので、別エントリーにしたいと思います。 とか書いてて、実際に沢山書いてたのですが、自分の中でいろいろ盛り下がってしまったので、ざっくり消しました。 まぁ一言で端的に言うと…

科学の作法

今日つぶやいたこと。 そうかもしれませんね。ただ、それをやることで、科学な人達への説得力はゼロになってしまいます。 RT @salmonsnare: たぶん、郡司先生は「そもそもこの文脈での「ルール違反」とは何か?」みたいな部分に興味を持っているんだろうと思…

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