kencoba https://blog.hatena.ne.jp/kencoba/ kencobaの日記 https://kencoba.hatenadiary.org/ Formal Methods Forum 今回の発表資料は深町氏作のClojureによるプレゼンツール、L5 (https://github.com/fukamachi/L5)を使用した。便利。 2010年振り返り https://gist.github.com/729087今年も本当にありがとうございました。 勉強会は1年間で12回開催。 イベント等発表あり、記事執筆ありといろいろ勉強できました。来年の勉強会では数学も含めた勉強を展開していきたい。 AwodeyのCategory Theoryとかは質問できる機会が少ないので、 こういう場でみんなでやるのが一番かなと。 あと、「Coqの初心者対応はどうするか」については、 数ヶ月に1… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkencoba.hatenadiary.org%2Fentry%2F20101205%2F1291557919" title="第12回Formal Methods勉強会 - kencobaの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-12-05 23:05:19 rich https://kencoba.hatenadiary.org/entry/20101205/1291557919 1.0 100%