いくつか文献紹介があった。 Yacc is dead. http://arxiv.org/PS_cache/arxiv/pdf/1010/1010.5023v1.pdf Derivatives of Regular Expressions 正規表現しちへんげ！まとめ http://www.kmonos.net/wlog/115.html#_2300101221 Dexter Kozen. A completeness th…

今回の発表資料は深町氏作のClojureによるプレゼンツール、L5 (https://github.com/fukamachi/L5)を使用した。便利。 2010年振り返り https://gist.github.com/729087今年も本当にありがとうございました。 勉強会は1年間で12回開催。 イベント等発表あり、…

早いもので、もう第6回FormalMethods勉強会のお知らせです。 http://atnd.org/events/4750 今回はマイスペース「大久保店」です。会場間違えないようにご注意ください。CoqはcpdtのChapter4からですかね。 Alloyは7月の無料セミナー直前対策です。 第5回で、…

http://atnd.org/events/4110第4回はAlloy,Coqに加えて、理論面でCEGARのお話も入る。 技術的に高度だからといって、 決して一見さんお断りにはならないのでご安心を。

http://atnd.org/events/3687 再三、実施会場が変更されてますが、大久保で決定。 今回プロジェクターを借りられない。今回は、前回と引き続きのCoq、およびAlloyの問題を実施することになりそう。形式手法は単一手法で問題解決するものではないから、 各自…

開催情報 日時：2010-03-10 19:00〜21:00 場所：銀座ルノアール新宿３丁目ビッグスビル店 2号室 定員：5名でとったけど10名まではいけまっせー。 http://atnd.org/events/3421 会場代はみんなで割り勘です。

うーむ、有名人な方が参加してくれてたり、興味をもってくれてる気がする。 この世界は技術系でも特に狭いのか。 先生を捕まえやすいのは願ったりかなったり。Coqで本が書けるといいな。

http://groups.google.co.jp/group/fm-forum 開設いたしました。本日は皆様、第1会勉強会に参加ありがとうございました。今後の活動として、 Coq、B-Method、ソフトウェア科学基礎 の3本立てで勉強会を進めていきます。

開きます。 http://atnd.org/events/2968