Users Meeting

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 の開催を提案します。大学、産業関係者だけでなく、ホビーユーザーも含め、研究から応用事例まで幅の広い情報交換を行っていければと思います。

日時・場所

  • 日程:2009/08/30 9:30 から 17:00
  • 会場:東京大学本郷キャンパス山上会館 大会議室 (東京都文京区本郷7-3-1)
    各駅からの歩き方: http://maps.google.com/maps/ms?ie=UTF8&hl=en&msa=0&msid=117430775960164966148.00046b547a98273628e63&ll=35.711604,139.766865&spn=0.017893,0.017402&z=16

プログラム(予定)

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

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

ustreamビデオ

10:30 Break

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

ustreamビデオ

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

ustreamビデオ

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

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

ustreamビデオ

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

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

ustreamビデオ

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

ustreamビデオ
パッチ解説ページ

15:00 Break

15:15 Lightning Sessions

  • OCamlを使ったモバイルコンテンツ変換(製品名 Magical Convert) 大和田浩司 荒裕之 (グローバルバリュー株式会社)

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 の浜地さんのご協力で順調です。ありがとうございます。

  • OCaml Meeting ですので OCaml で考えてください。
  • Meeting 当日も開始時に問題を紹介します。
  • 中野さんのお話を聞くと数バイトコードが短くなるかもしれません、必聴です。
  • Meeting 終了前まで回答を submit することが可能でした。
  • 優勝者は m.ukai さん。95bytes。これを上回る成績はまだ出ていません。ささやかですが賞品としてふるかわコーヒーのラクダの絵の入ったコーヒーを差し上げました!!

協賛

Jane Street Capital

新規 編集 添付