bonotakeの日記

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

2009-10-01から1ヶ月間の記事一覧

今日は圏論勉強会でした&今後の勉強会

今回は始めるのが遅かったなどの理由もあり、Lemma1個の証明を追いかけただけで終わりました。 Wiki 板書の写真 m-a-oさんの日記 あらかじめ式を書き下してくれてて大助かりでした。Thanks! ただし、(c)の式一部間違いが。たぶん板書のこの写真がみんなで見…

"CFG⊆PEG?" Proofathon(略して CPon)作業メモ

文脈自由文法(CFG)から生成される言語と、解釈表現文法(PEG)にて解釈される言語の関係についてのopen problem をみんなで証明してみるオンラインでのバーチャルな会合。参考↓ http://atnd.org/events/1779 http://lingr.com/room/cpon/archives/2009/10/…

米田先生の逸話

米田の補題についてid:oto-oto-otoさんとtwitterでやりとりするうち、こんな文書がみつかりました。ここに、米田先生が大学を退官するときの退官の辞と、米澤明憲先生の米田先生を送る言葉が載ってます。 やりとりそのものの結論は僕の勘違いだったんですけ…

告知:圏論勉強会

2009-10-18(日)(14:00-18:00) 東京都 (秋葉原 某所)テキスト: P. Selinger, "A survey of graphical languages for monoidal categories" Lemma 5.7 より (http://www.mscs.dal.ca/~selinger/papers/graphical.pdf) 交通アクセス: 都営新宿線岩本町駅、JR/…

学生証

しばらく更新してませんでしたが。twitterとかではつぶやいてましたけど、今月から学生にもなりまして。今日初登学&ゼミ初参加などしました。 学生証を手に入れたりもしましたが、これとは別に最近、たまたま(本当にたまたま)むか〜〜〜しの学生証も押入…

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