* [Functional花見2014] [#o9caeebe] - ハッシュタグ: [[#functionalHanami:https://twitter.com/search?q=%23functionalHanami]] * [Functional花見2013] [#f3f4632f] - 2013 03/30(土) - 場所: 鶴舞公園 - 参加登録: http://partake.in/events/1a51f490-3045-47f5-8cff-ac555ad20475 * [Functional花見2012] [#j24b55d2] - 2012 04/07(土) - 場所: 神宮東公園 - 内容: @imunolionさんを囲む会 - 参加: http://partake.in/events/1d53d158-e5b1-41c2-be20-49694a6d3081 * [ocamlnagoya忘年会] [#eda15869] - 日時: 2011 12/17(土) - 場所: [[黒豚屋 らむちい:http://g.pia.co.jp/shop/6689]] - 参加登録: http://partake.in/events/390127b2-4b0f-4702-977c-086b6d773db7 - ハッシュタグ: [[#ocamlnagoya:http://twitter.com/search?q=ocamlnagoya]] ocaml-nagoyaと言えば忘年会! * [名古屋芋煮会] [#f7e3047f] - 日時: 2011 10/08(土) - 場所: 大高緑地公園デイキャンプ場 - 内容: 宮城の郷土料理「芋煮」を食べながらSML#について問い詰めようの会 - 参加登録: http://partake.in/events/9a1490b3-60d6-440c-af4d-64eabedc256e - ハッシュタグ: [[#名古屋芋煮:http://twitter.com/search?q=%23%E5%90%8D%E5%8F%A4%E5%B1%8B%E8%8A%8B%E7%85%AE]] - [[SML#のダウンロード:http://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/?Download]] * [Functional花見] [#ae122ea4] - 2011 04/02(土) ? - 場所: 鶴舞公園 - 内容: @keita44_f44さん歓迎会 - http://partake.in/events/746bf31e-8a7b-4c9b-8806-21d5b1ba8671 * [ocaml-nagoya勉強会] [#le967402] - 2010 09/10(金) 18:00 - 19:30 - 場所: 喫茶どえりゃあ - 内容: First-Class Moduleとはなんぞや - 参加登録: http://atnd.org/events/7663 * [ProofCafe 栄] [#yc4f248a] - [[ProofCafe:http://coq.g.hatena.ne.jp/keyword/ProofCafe]] * [ocaml-nagoya 論文読み会] [#h5e83649] - 2010年05月13日(木) 17:00 - 18:00 - [[ITプランニング オフィス:http://www.itpl.co.jp/company.html#access]] - 内容:[[(PDF) UML2Alloy: A tool for lightweight modelling of Discrete Event Systems:http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.110.1373&rep=rep1&type=pdf]] 勉強会に参加希望の方は [[ocaml-nagoya_AT_freeml.com]] にご一報ください。論文読み会は毎月第2, 第4木曜日に開催予定です。 - これまでの履歴: [[論文読み会]] * [報告] [#wf864b2d] - 8月30日(日)、日本の OCaml ユーザー有志が OCaml Meeting 2009 in Tokyo (平成廿一年東都大駱駝会)を開催しました! - くわしくは[[http://ocaml.jp/?Users%20Meeting]]をご覧下さい。 * [NEWS] [#qeb28c7c] - OCaml-3.11.1リリース!(2009-06-12) [http://caml.inria.fr/ocaml/release.en.html] - OCaml-3.11.1もうすぐリリースらしい(2009-05-15) - OCaml-3.11 来ました! (2008-12-04) -- [[update記事:http://ocaml.jp/3.11新機能]] - OCaml-3.11もうすぐリリースらしい(2008-10-30) -- 現在β1進行中 -- http://caml.inria.fr/pub/distrib/ocaml-3.11/ -- ネイティブコンパイルでもモジュールの動的ロードが可能になるらしいです! - OCaml-3.10.2 来ました!(2008-02-29) -- http://caml.inria.fr/ocaml/release.en.html -- 3.10.1 からの変更点 --- 主に不具合修正. --- windows環境下でstr.mliが見付からなかったら、再インストールしましょう。 - 宣伝 -- http://ocaml.jp/も併せてどうぞ。 *ocaml-nagoyaとは [#n1284b95] 関数型言語OCamlの勉強会です。最近は、OCamlに限らずさまざまなテーマを扱っています。 主に名古屋大学周辺でだいたい隔週で勉強会を開いています。 情報工学や数学科の大学生・院生,社会人など多彩なメンバーで構成されています。 かつては、テキストに[[Objective Caml 入門 (五十嵐先生):http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/mltext/ocaml.html]] ([[PDF版:http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4-05w/mltext.pdf]])を使って、OCamlを勉強していました。 現在では、OCamlに限らず、関数型言語に関連することについて、話し合っています。 *OCamlテクニック [#ded45266] OCamlのちょっとした話題をOCamlテクニックとしてまとめてあります。 *ネタ記録庫 [#dcf1876c] 勉強会中で出たネタで特に大きめなものネタ記録庫にメモしています。メンバーの追記歓迎。 *その他 [#f20d8873] - [[関数型言語によるWeb開発>web-dev]] - [[お勉強リンク/OCaml>study-link]] - [[発表資料>発表資料]] *OCaml本 [#v3a5c5f8] #ref(http://www.itpl.co.jp/ocaml-book.png) ocaml-nagoya執筆のOCaml本が毎日コミュニケーションズから発刊されました!~ [[''入門OCaml プログラミング基礎と実践理解'':http://book.mycom.co.jp/repub/ondemand/kobetsu/demand_ocaml.shtml]] OCaml-Nagoya 著 A5版~ ISBN978-4-8399-2311-2 [[サポートページ:http://www.itpl.co.jp/ocaml/]]へのリンク。 *メンバーリスト [#f49e14ea] - けいご ([[メール:mailto:sydney::@::agusa.i.is.nagoya-u.ac.jp]])([[syd_syd:http://d.hatena.ne.jp/syd_syd/]]) ([[今井敬吾:http://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/]]) - 小笠原 ([[メール:mailto:ogasawara::@::itpl.co.jp]])([[(有)ITプランニング:http://www.itpl.co.jp]])([[osiire:http://d.hatena.ne.jp/osiire/]]) - 下村([[メール:mailto:graueule::@::gmail.com]])([[はてな:http://d.hatena.ne.jp/zyxwv/]]) - 水野([[メール:mailto:mzpppp::@::gmail.com]])([[はてな:http://d.hatena.ne.jp/mzp/]]) - よしひろ([[メール:mailto:yimai.v::@::gmail.com]])([[はてな:http://d.hatena.ne.jp/yoshihiro503/]])([[(有)ITプランニング:http://www.itpl.co.jp]]) - [[末次:http://www.agusa.i.is.nagoya-u.ac.jp/person/sue/]] - 源馬([[メール:mailto:teruakigemma::@::ybb.ne.jp]])([[はてな:http://d.hatena.ne.jp/Gemma/]]) - 鈴木([[ブログ:http://k0701.blog89.fc2.com/]]) - and more... // - 樋口 * メーリングリスト (連絡先) [#o5414c05] - 御用の方は [[ocaml-nagoya_AT_freeml.com:mailto:ocaml-nagoya::@::freeml.com]] まで - (暫定的に投稿制限・参加制限をなくしました)