ftake普段はansible屋さんに今なってるよ。今日のネタ、、、つらみ。真UMLのツール作ってるよ。最近別の仕事で動的解析のツールを試してたよ。組み込みだと動的解析がつらい。ETロボコンの仕事をしなければ。CygwinのインストールやらITリテラシー教育の重みもデカい。トップエスイーでモデル駆動開発をやってて、その記事を昔書いたよ。eldeshネタないよ。flopsに行ってきたよ。機械学習の会社でWebサービスを作っているよ。VeriFastがまだマイブームでキテるよ。基礎的な教科書を読もうとしていて、ホーア論理を学習中。14:00以降は各自の持ちネタを発表します。途中休憩を10分x2確保しようと思います。Research製のC言語静的解析ツールです。C言語に_(foo)という特殊な注釈を挿入して、コードの正しさを検証します。Tutorial"で紹介されたコードをオンラインで実行させながらVCCの使い方を学びます。左記チュートリアルのざっくりとした翻訳もあります。invariants"の後半まで読みました。会場について永和システムマネジメント様に会議室を提供していただきました。map(1階がファミリーマートのビルです。参加者のみなさんは次の段取りに従って入館してください。同ビル1階のファミリーマートの飲食スペースあたりに集合してください。入館できる人が引率して、まとまって入館します。まで電話してください。使えるようにしてあります)。