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

文脈自由文法（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とかではつぶやいてましたけど、今月から学生にもなりまして。今日初登学＆ゼミ初参加などしました。 学生証を手に入れたりもしましたが、これとは別に最近、たまたま（本当にたまたま）むか〜〜〜しの学生証も押入…