OCaml.jp

OCaml Meeting 2009 in Tokyo (平成廿一年東都大駱駝会)

このイベントは盛況のうちに終了致しました。ご参加頂いた皆様、ありがとうございました。発表資料や動画が置いてありますので、ご参照ください。

around

関数型言語 OCaml。1994年に大元となる CAML が実装されて以来、長らく研究者用の「おもちゃ」に留まっていた OCaml ですが、そのプログラムの安全性を保証する強力な静的型システム、高速なコードを生成するコンパイラ、オブジェクト指向プログラミングのサポートなどの実用的特徴、また OCaml を元にした .NET 対応関数型言語 F# の登場もあり、現在急速に注目を集めています。 この動きに対応して OCaml コンパイラ開発のお膝元フランスでは、 OCaml Meeting Paris 2008, OCaml Meeting Grenoble 2009 とヨーロッパを中心とした OCaml ユーザーの会議が開かれ、大学研究者だけでなく産業界からの参加者も集まり活発な議論が行われました。アメリカでも東海岸で OCaml に関するミーティングが行われたそうです。

日本では前世紀から OCaml が一部の大学教育で使われてきたことや、ここ数年何冊かの日本語での OCaml プログラミング書籍の出版があった事もあり、OCaml を触ったことのある方々の数は他国の OCaml ユーザーと比べても、かなり多数なのではないかと思われます。しかし、私の知る限り、日本において OCaml に関する会議が開かれたことはありません。これは非常に残念な事だと思います。

そこで、日本の OCaml ユーザーの情報交換と親睦を計るために、 OCaml Meeting Tokyo 2009 の開催を提案します。大学、産業関係者だけでなく、ホビーユーザーも含め、研究から応用事例まで幅の広い情報交換を行っていければと思います。

日時・場所

各駅からの歩き方

プログラム(予定)

9:30 開場 オープニング挨拶とプログラムのご案内

10:00 OCamlはじめの一歩 / First step to OCaml 小笠原 啓 Satoshi OGASAWARA (有限会社ITプランニング)

10:30 Break

10:40 OCaml Golf の話 / OCaml Golf 中野 圭介 Keisuke NAKANO (電気通信大学)

11:15 Sexplib と bin_prot を使った OCaml マルチプロセスプログラミング / Multi-process OCaml programming using sexplib and bin_prot Eric STOKES (Jane Street)

11:45 Lunch break 昼食は各自周辺でおとり下さい。

13:15 ML型推論の光と影 / 五十嵐 淳 Atsushi IGARASHI (京都大学)

(* 13:50 CamomileでUnicode / Camomile and Unicode ) ( 山形 頼之 Yoriyuki YAMAGATA (独立行政法人 産業技術総合研究所) *)

Ocsigen による 型安全 Web プログラミング by Keigo IMAI (名古屋大学)

14:20 大駱駝解軆變造概説 / Ride your own OCaml: Quick OCaml Mod How-to 古瀬　淳 Jun FURUSE (Jane Street)

15:00 Break

15:15 Lightning Sessions

16:20 コンテスト結果発表と表彰

16:35 終了挨拶

16:45 終了

写真

ライトニングトーク募集中!!

ライントニングトークをしていただける人を8名ほど募集します!! 一人お話5分+質問タイム2分。 OCaml に関係あれば開発からグループ紹介まで基本的に何でも歓迎です。希望の方は以下のアドレスまでご連絡ください!!

# String.concat "." ["ogasawara@itpl"; "co"; "jp"];;
# String.concat "." ["jun"; "furuse@gmail"; "com"];;

参加方法

大体の参加人数を把握させて頂く為に、できればイベント開催支援ツール：ATND（アテンド）にて参加をご表明下さい。参加は無料です。

懇親会

懇親会には35名の方にご参加いただけました: (参加登録受付の残骸 http://atnd.org/events/1336))

その他お知らせ

OCaml Golf Competition

OCaml Golf についてお話してくださる中野さんのご提案で Golf Competition を行い、盛況の内に終了しました!!

http://golf.shinh.org/p.rb?Sum+of+Divisors+for+OCaml+Golf+Competition

===== 問題 (Problem) =====
標準入力の各行に与えられる自然数に対し，その約数の和を計算して，
標準出力に「元の自然数: その約数の和」という形式で出力せよ．
For given numbers in the input, compute the sum of its divisors for each.
The output should have the form 'given number: sum of its divisors'.

出題の中野さん、golf.shinh.org の浜地さんのご協力で順調です。ありがとうございます。

協賛

Jane Street Capital