ProofSummit2011(仮題)
ProofSummit2011(仮題)
定理証明支援系(Coq,Agda,Isabelle/HOL,ACL2などなど)を中心に集まるお祭り
日時:2011年9月25日(日) 10:00 - 17:00
申込締切:2011年9月18日(日) 12:00
カテゴリ:コンピューター
定員:40
会場:株式会社豆蔵トレーニングルーム(新宿三井ビル34F)
住所:東京都新宿区西新宿2-1-1定理証明支援系に興味のある方集合!
定理証明支援系とは、コンピュータを使って証明を行うツールのことです。
当日は、数学の証明でもソフトウェアの証明でもなんでもありで、
定理証明支援系を使った結果を共有していきたいと考えています。
参加登録しました。
行かれる方はよろしくお願いします。
函数プログラミングの集い 2011 in Tokyo
函数プログラミングの集い 2011 in Tokyo - PARTAKE
函数プログラミングの集い 2011 in Tokyo
ICFPに合わせた函数プログラミングのお祭りです。日時:2011年9月17日(土) 10:00 - 17:00
申込締切:2011年9月17日(土) 10:00
カテゴリ:コンピューター
定員:150
会場:IIJ会議室
住所:東京都千代田区神田神保町1-105 神保町三井ビルディング2009年、2010年の二回、OCaml MeetingとしてOCamlユーザーの交流を図ってきましたが、ICFPがアジア初東京で開催されることもあり、せっかくなので関数プログラミング全般の集まりの機会を持ちたいと思い、今年は「函数プログラミングの集い」と題してお祭りを開催したいと思います。
研究者から職業プログラマ、ホビーユーザーまで幅広く、様々な話題を通じた交流の場としていけたら幸いです。
参加登録しました。
行かれる方はよろしくお願いします。
Functional Meeting の日程
OCaml Meeting 2011の開催の予定はなく、今年はFunctional Meeting的になるそうです。
- 日程予定
- 9/17(土曜日)Functional Meeting
- 9/18(日曜日)MLのWorkshop
- ちなみに、ICFP2011の日程
- ICFP 2011 : The 16th ACM SIGPLAN International Conference on Functional Programming
- Tokyo, Japan
- September 19-21, 2011
- TwitterのFunctional Meetingまとめ
『プログラミングの基礎』その6
『プログラミングの基礎』の練習問題を解く、の続きです。
本書で使っている言語はOCamlです。
今回は関数の型です。
中島聡著 『エンジニアとしての生き方』 出版記念講演会
【受付を締め切りました】中島聡著 『エンジニアとしての生き方』 出版記念講演会 : ATND
に参加します。
日時 :2011/04/24 15:30 to 17:00
定員 :100 人
会場 :株式会社オプト 1F大会議室 (東京都千代田区神田錦町3-26 一ツ橋SIビル1F)
行かれる方はよろしくお願いします。
第15回FormalMethods勉強会
第15回FormalMethods勉強会(ハッシュタグ #fm_forum) : ATND
に参加します。
日時 :2011/04/23 13:00 to 19:00
定員 :20 人
会場 :豆蔵トレーニングルームB (東京都新宿区西新宿二丁目1番1号)
行かれる方はよろしくお願いします。
『入門OCaml』を注文
- 作者: OCaml-Nagoya
- 出版社/メーカー: 毎日コミュニケーションズ
- 発売日: 2007/05/22
- メディア: 単行本(ソフトカバー)
- クリック: 59回
- この商品を含むブログ (31件) を見る
先程、ネットショップで『入門OCaml』を注文しました。
この本、絶版らしいので、つい勢いで…。
届いたら書評を書きます。