ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

OCaml Meeting 2010 in Nagoya

Default latent
日時 :
2010/08/28 (土) 09:50 ~ 17:00
定員 :
100人
会場 :
名古屋大学 多元数理科学研究科 理1号館 509号教室(愛知県名古屋市千種区不老町)
URL :
http://ocaml.jp/um2010
主催者 :

OCamlのさらなる普及とユーザー間の幅広い交流を目指して、好評を博した昨年に引き続き、今年も OCaml Meeting 2010 を開催したいと思います。

OCamlの特徴は、なんといっても強力な静的型システムにあります。型安全性を保ちながら、構造的な部分型への変換、多相バリアント、再帰モジュールといった柔軟な設計とプログラミングを実現できる仕組みを持っている言語は類がありません。加えて、定理証明支援器Coqとの連携による高信頼化、多くのCPUアーキテクチャに対応した高速なネイティブコードを出力できるコンパイラ、C言語へのバインディングによる過去資産の継承など、実用的な機能も兼ね備えています。このようなOCamlの特徴と、それらがフランスINRIA国立研究所によって安定して提供されているという運用体制は、ソフトウェアの不具合を減らし、社会インフラとしてのコンピューターシステムの品質を向上させるものと信じています。

嬉しいことに、近年関数型言語が話題になってくると共にOCamlも注目を集めています。OCamlをベースに開発されたMicrosoft F#も4月にリリースされ、システム開発の現場においても再認識がなされています。6月には第一級モジュールなど多くの新機能が実装されたVersion3.12のリリースも予定されています。このような話題豊富な流れの中で、今年はOCamlの主要開発者の一人、Jacques Garrigue 氏にご協力を頂けることになり、氏の活動拠点でもある名古屋での開催を決定しました。地理的に日本の中央に位置するこの場所で、OCamlホビーユーザーからプログラマ・研究者に至るまで、より幅広い交流を目指していきたいと考えています。(小笠原)

  • このコメントは全員が閲覧、すべてのログインユーザーが投稿することができます
osiire
osiire - (2010/06/14 (月) 00:43)
現在スピーカー調整中です。プログラムについては今しばしお待ち下さい。Lighting Talkは随時募集中ですので、String.concat "." ["ogasawara@itpl"; "co"; "jp"];;までお気軽に連絡下さい。
osiire
osiire - (2010/07/13 (火) 09:30)
遅くなっていますが、ぼちぼちプログラムが決まってきました。近日中に発表したいと思っています。それから、ショート発表は大募集中!ですので、5分から8分程度でネタを披露したい方は小笠原までメール下さい。よろしくお願いします!
osiire
osiire - (2010/08/02 (月) 20:18)
遅くなって申し訳ありません。発表プログラムをアナウンスページで公開していますので、参加するかどうかの参考にしてもらえればと思います。
camlspotter
camlspotter - (2010/08/04 (水) 21:09)
上記ポスターのデザインを使った T-shirt を作りました。サイズ、色指定可能な受注締切りまで一日もありませんが、、、よかったらご連絡ください!
http://d.hatena.ne.jp/camlspotter/20100803/1280866293
osiire
osiire - (2010/08/18 (水) 22:36)
当日会場は9:30には準備を整えておく予定です。実際には9時から建物の中に入れますので、もし少し早く着いても大丈夫です。9時50分頃からゆるゆるとプログラムの案内や注意事項のアナウンスをして、10時から発表を始めたいと思っています。
なお、終了時刻は17時前後を予定しています。少し押したり引いたりするかもしれませんが、18時の懇親会に間に合うようには撤収します。ちなみに、懇親会のお店は歩いて10分くらいの場所です。
osiire
osiire - (2010/08/27 (金) 13:05)
** 会場の電源・ネットワークについて
- 延長コードを出来る限り配備してコンセントを増やしておきますが、それでも相当足りない事が予想されます。譲り合って使って頂けると幸いです。
- 大学の無線LANは動画配信で重くなると思われますので、当日希望された方にのみ接続情報をお知らせします。可能な方はモバイル回線の持参をお願い致します。
Jeanene
Jeanene - (2014/02/22 (土) 19:20)
とても役に立つ良い内容ですね。こんな素晴らしい内容をシェアして頂いて、嬉しいです。更新を楽しみにしています。シェアありがとうございます。 seo content writer

コメントを投稿するには、ログインしてください。

掲載されるイベント情報は、利用者の皆様によりご提供いただくものであり、株式会社リクルートは本情報の正確性や内容について、一切保証するものではございません。詳しくは利用規約をご参照ください。