1652 soutaro 1336 東都大駱駝懇親会 <a href="http://atnd.org/events/738">OCaml Meeting Tokyo 2009</a> の懇親会です。基本的に OCaml Meeting Tokyo 2009 の参加者が対象ですが、それ以外の方も参加頂けます。ご相談ください。 <p> 豚・焼肉酒房 とん豚テジ 本郷店 http://www.tontontezi.com/ <p> 会費: 飲み放題 4000円 <p> <h2>人数一杯まで受け付けます。</h2> 2009/08/30 17:15 2009/08/30 19:15 35 camlspotter 3401 738 平成廿一年東都大駱駝会(とうとおおらくだえ) <h2>OCaml に特化した(多分)日本初の会議</h2> 関数型言語 OCaml。1994年に大元となる CAML が実装されて以来、長らく研究者用の「おもちゃ」に留まっていた OCaml ですが、そのプログラムの安全性を保証する強力な静的型システム、高速なコードを生成するコンパイラ、オブジェクト指向プログラミングのサポートなどの実用的特徴、また OCaml を元にした .NET 対応関数型言語 F# の登場もあり、現在急速に注目を集めています。 <p> この動きに対応して OCaml コンパイラ開発のお膝元フランスでは、 OCaml Meeting Paris 2008, OCaml Meeting Grenoble 2009 とヨーロッパを中心とした OCaml ユーザーの会議が開かれ、大学研究者だけでなく産業界からの参加者も集まり活発な議論が行われました。アメリカでも東海岸で OCaml に関するミーティングが行われたそうです。 <p> 日本では前世紀から OCaml が一部の大学教育で使われてきたことや、ここ数年何冊かの日本語での OCaml プログラミング書籍の出版があった事もあり、OCaml を触ったことのある方々の数は他国の OCaml ユーザーと比べても、かなり多数なのではないかと思われます。しかし、私の知る限り、日本において OCaml に関する会議が開かれたことはありません。これは非常に残念な事だと思います。 <p> そこで、日本の OCaml ユーザーの情報交換と親睦を計るために、 OCaml Meeting Tokyo 2009 の開催を提案します。大学、産業関係者だけでなく、ホビーユーザーも含め、研究から応用事例まで幅の広い情報交換を行っています。 <p> 開催日は8/30(日)。 はからずも国際関数型言語学会(ICFP2009)の裏番組となってしまいました。 <p> なんと、衆議院選挙の投票日になってしまいました。投票権のある方は是非期日前投票をして参加してください。 <h2>ライトニングトーク募集!!</h2> ライントニングトークをしていただける人を8名ほど募集します!! 一人お話5分+質問タイム2分、OCaml に関係あれば開発からグループ紹介まで基本的に何でも歓迎です。希望者は String.concat "." ["jun"; "furuse@gmail"; "com"] まで。 <h2>プログラム</h2> プログラムなど全ての一次情報は <a href="http://ocaml.jp/?Users%20Meeting">http://ocaml.jp/?Users%20Meeting</a> でお知らせしています。 <h2>OCaml Golf Contest</h2> OCaml Golf についてお話してくださる中野さんのご提案で OCaml Golf Contest を行います!! <ul> <li> <a href="http://golf.shinh.org/p.rb?Sum+of+Divisors+for+OCaml+Golf+Competition">問題が発表されました!! (http://golf.shinh.org/p.rb?Sum+of+Divisors+for+OCaml+Golf+Competition)</a> <li> 当日も開始時に問題紹介します <li> Meeting 終了前まで回答をsubmit可能です <li> 参加者中の優勝者には何か賞品を差し上げます </ul> <h2>懇親会</h2> 懇親会のご案内を開始しました。<a href="http://atnd.org/events/1336">http://atnd.org/events/1336</a>からお願いします!! <h2>協賛</h2> <a href="http://www.itpl.co.jp/">有限会社ITプランニング</a> <br> <a href="http://www.janestreet.com">Jane Street Capital</a> 2009/08/30 09:30 2009/08/30 17:00 100 camlspotter 3401 512 Types as Programming Languages : 2nd Stage 型レベルプログラミングの会（<a href="http://atnd.org/events/451">http://atnd.org/events/451</a>）の懇親会です。会費3000円くらいの予定。懇親会だけの参加もアリです。 2009/04/18 18:45 2009/04/18 20:45 22 kinaba 3319 451 Types as Programming Languages <p>C++のテンプレートメタプログラミングやHaskellの型クラスメタプログラミングに代表される、「型の上で計算する」手法について語り合いましょうという趣旨の集まりです。型レベルプログラマーの間で言語の垣根を越えた技術交流ができればいいなーと思っています。それぞれの言語での型レベルプログラミングの基本について簡単に誰かが解説したあと、好き勝手にテクニックやライブラリ紹介などしゃべりたい人がしゃべります。</p> <ul><li><a href="http://www.kmonos.net/wlog/95.html#tapl_plan">http://www.kmonos.net/wlog/95.html#tapl_plan</a> <li><a href="http://d.hatena.ne.jp/keigoi/20090314/1236984445">http://d.hatena.ne.jp/keigoi/20090314/1236984445</a></ul> <p>当日は ustream で中継する予定です。</p> <ul><li><a href="http://www.ustream.tv/channel/typelevel">予定地 : http://www.ustream.tv/channel/typelevel</a></ul> <p><b>演目</b>:</p> <ol> <li>12:15頃～ : <a href="http://d.hatena.ne.jp/kmizushima/20090418/1240072077">Scala で型レベルプログラミング (kmizushima)</a> <li>13:00頃～ : <a href="http://d.hatena.ne.jp/faith_and_brave/20090417/1239959706">C++, 可変引数テンプレートでの型リスト (faith_and_brave)</a> <br>(休憩) <li>14:00頃～ <a href="http://d.hatena.ne.jp/keigoi/20090418/1240060720">Haskell FunDeps による型レベルプログラミング (keigoi)</a> <li>14:45頃～ <a href="http://page.freett.com/shelarcy/log/2009/diary_04.html#type_level_programming_meeting" >Haskell, Type Function 派 (shelarcy)</a> <br>(休憩) <li>15:45頃～ <a href="http://www.kmonos.net/pub/Presen/tlp/">typeLevel!(D).programming (kinaba)</a> <li>16:30頃～ <a href="http://madscientist.jp/~ikegami/diary/20090418.html#p03">依存型プログラミング (ikegami)</a> <li>17:15頃～ <a href="http://panathenaia.halfmoon.jp/alang/typelevel/">G'Caml で (ytqwerty)</a> </ol> <p> 発表時間や休憩の入れ方はおおよその目安です。適当に前後にずれることがあります。 </p> <p><b>現地情報：</b></p> <ul> <li>日＆時：4/18(土) 12:00 ～ 18:00 <li>懇親会：同 18:45～20:45 （場所: <a href="http://r.gnavi.co.jp/a321500/">http://r.gnavi.co.jp/a321500/</a> http://atnd.org/events/512） <li>場所：サイボウズ・ラボ (<a href="http://labs.cybozu.co.jp/access.html">http://labs.cybozu.co.jp/access.html</a>)<br> 　<big><b>・土曜はビル空いてるとのことでした(^^; 15Fサイボウズラボ前まで各自でいらしてください<br> 　・ラボは 11:45 頃から空いています<br> 　・お昼ご飯は各自(持参||済ませてきて)ください<br> 　・当日、遅れる/遅れそう/欠席などの連絡は kinaba (inabanana8236.at.docomo.dot.ne.dot.jp || 090ごーはちにーにーよんぜろきゅーよん || twitter.com/kinabaに@で) までよろしくお願いします。<br> </b></big></ul> 2009/04/18 12:00 2009/04/18 18:00 30 kinaba 3319 198 東京でやる忘年会です。もちろん東京外の人もwelcomeです。 <h2>東京と関東Rubyの忘年会2008</h2> <p> Rubyistのみなさん、2008年もお疲れ様でした。 今年は、つくばでのRuby会議やそれに続く各地での地域Ruby会議、そしてついにRuby 1.9がすぐそこまで来ているなど、Rubyistのみなさんにとってアツイ一年になったかと思います。 残すところあと少しとなりましたが、一年のふりかえりと、0x年代最後の一年に向けた英気を養うため、忘年会を企画しました。皆様ふるってご参加ください。 </p> <h3>注意</h3> <ul> <li style="color:#faa"> <del>申し込み開始は<strong>2008/12/05(金)の正午</strong>からとさせてください。それ以前の登録はいったんbanさせていただきます(12/05以降に再登録してください)。</del>申し込みスタートしてます。 </li> <li>定員を50->49人にしました。49人 + takahashimです @2008-12-05T15:14-JST</li> </ul> <h2>開催概要</h2> <dl> <dt>集合場所・時刻</dt> <dd>JR市ヶ谷駅の(誰か呼び方を教えて)口(<a href="http://maps.google.co.jp/maps?q=%E6%9D%B1%E4%BA%AC%E9%83%BD%E6%96%B0%E5%AE%BF%E5%8C%BA%E5%B8%82%E8%B0%B7%E6%9C%AC%E6%9D%91%E7%94%BA%EF%BC%94%E2%88%92%EF%BC%91+%E3%82%B0%E3%83%A9%E3%83%B3%E3%83%89%E3%83%92%E3%83%AB%E5%B8%82%E3%83%B6%E8%B0%B7%E6%9C%AC%E9%A4%A8%EF%BC%A2%EF%BC%91&ie=UTF8&oe=utf-8&client=firefox-a&ll=35.691301,139.735814&spn=0,359.997996&z=19&layer=c&cbll=35.691301,139.735814&panoid=jQRPBXG2j0mZbUdue58nOg&cbp=12,222.68687437863912,,1,0.6747997376227914">Google StreetView</a>)に18:10に集合</dd> <dt>アクセス</dt> <dd>via <a href="http://maps.google.co.jp/maps?q=%E6%9D%B1%E4%BA%AC%E9%83%BD%E6%96%B0%E5%AE%BF%E5%8C%BA%E5%B8%82%E8%B0%B7%E6%9C%AC%E6%9D%91%E7%94%BA%EF%BC%94%E2%88%92%EF%BC%91+%E3%82%B0%E3%83%A9%E3%83%B3%E3%83%89%E3%83%92%E3%83%AB%E5%B8%82%E3%83%B6%E8%B0%B7%E6%9C%AC%E9%A4%A8%EF%BC%A2%EF%BC%91&ie=UTF8&oe=utf-8&client=firefox-a&ll=35.693465,139.732425&spn=0.007284,0.016029&z=16&iwloc=A">GoogleMap</a></dd> <dt>会費</dt> <dd>5,000円</dt> </dl> <h3>幹事</h3> <ul> <li> もろはし <ul> <li>moronatural _at_ gmail.com</li> <li><a href="http://d.hatena.ne.jp/moro/">http://d.hatena.ne.jp/moro/</a></li> <li><a href="http://twitter.com/moro/">http://twitter.com/moro/</a></li> </ul> </li> </ul> 2008/12/21 18:30 2008/12/21 20:30 49 morohashi 1402