ocaml-nagoya

トップページ

OCaml Tips

• モジュールシステム紹介
• let多相紹介
• ヘテロなリスト
• 幽霊型
• OCamlでモナド
• 再帰型(Equi-recursive)
• サンタクロース問題
• デーモンの例
• Expression Problem
• ivarの必要性
• OSC2008In名古屋

ネタ記録庫

• 継続
• SEND+MORE=MONEY
• 数独
• 不動点コンビネータ
• AA折れ線グラフ
• Coq
• Agda
• Haskell
• JavaScript
• OCaml
• その他のプログラム言語
• 圏論(ドンパニ)
• その他

関数型言語によるWeb開発

ScalaByExample(訳)

限定継続

お勉強リンク

発表資料

活動記録

最新の20件

Thanks

• YEAR OF THE CAT

[Functional花見2014] †

• ハッシュタグ: #functionalHanami

[Functional花見2013] †

• 2013 03/30(土)
• 場所: 鶴舞公園
• 参加登録: http://partake.in/events/1a51f490-3045-47f5-8cff-ac555ad20475

[Functional花見2012] †

• 2012 04/07(土)
• 場所: 神宮東公園
• 内容: @imunolionさんを囲む会
• 参加: http://partake.in/events/1d53d158-e5b1-41c2-be20-49694a6d3081

[ocamlnagoya忘年会] †

• 日時: 2011 12/17(土)
• 場所: 黒豚屋　らむちい
• 参加登録: http://partake.in/events/390127b2-4b0f-4702-977c-086b6d773db7
• ハッシュタグ: #ocamlnagoya

ocaml-nagoyaと言えば忘年会！

[名古屋芋煮会] †

• 日時: 2011 10/08(土)
• 場所: 大高緑地公園デイキャンプ場
• 内容: 宮城の郷土料理「芋煮」を食べながらSML#について問い詰めようの会
• 参加登録: http://partake.in/events/9a1490b3-60d6-440c-af4d-64eabedc256e
• ハッシュタグ: #名古屋芋煮
• SML#のダウンロード

[Functional花見] †

• 2011 04/02(土) ?
• 場所: 鶴舞公園
• 内容: @keita44_f44さん歓迎会
• http://partake.in/events/746bf31e-8a7b-4c9b-8806-21d5b1ba8671

[ocaml-nagoya勉強会] †

• 2010 09/10(金) 18:00 - 19:30
• 場所: 喫茶どえりゃあ
• 内容: First-Class Moduleとはなんぞや
• 参加登録: http://atnd.org/events/7663

[ProofCafe 栄] †

• ProofCafe

[ocaml-nagoya 論文読み会] †

• 2010年05月13日(木) 17:00 - 18:00
• ITプランニング　オフィス
• 内容:(PDF) UML2Alloy: A tool for lightweight modelling of Discrete Event Systems

勉強会に参加希望の方は ocaml-nagoya＿ＡＴ＿freeml.com? にご一報ください。論文読み会は毎月第2, 第4木曜日に開催予定です。

• これまでの履歴: 論文読み会

[報告] †

• 8月30日（日)、日本の OCaml ユーザー有志が OCaml Meeting 2009 in Tokyo (平成廿一年東都大駱駝会)を開催しました！
• くわしくはhttp://ocaml.jp/?Users%20Meetingをご覧下さい。

[NEWS] †

• 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とは †

関数型言語OCamlの勉強会です。最近は、OCamlに限らずさまざまなテーマを扱っています。 主に名古屋大学周辺でだいたい隔週で勉強会を開いています。 情報工学や数学科の大学生・院生，社会人など多彩なメンバーで構成されています。

かつては、テキストにObjective Caml 入門 (五十嵐先生) (PDF版)を使って、OCamlを勉強していました。 現在では、OCamlに限らず、関数型言語に関連することについて、話し合っています。

OCamlテクニック †

OCamlのちょっとした話題をOCamlテクニックとしてまとめてあります。

ネタ記録庫 †

勉強会中で出たネタで特に大きめなものネタ記録庫にメモしています。メンバーの追記歓迎。

その他 †

• 関数型言語によるWeb開発
• お勉強リンク/OCaml
• 発表資料

OCaml本 †

ocaml-nagoya執筆のOCaml本が毎日コミュニケーションズから発刊されました!
入門OCaml プログラミング基礎と実践理解 OCaml-Nagoya 著 A5版
ISBN978-4-8399-2311-2

サポートページへのリンク。

メンバーリスト †

• けいご (メール)(syd_syd) (今井敬吾)
• 小笠原 (メール)((有)ITプランニング)(osiire)
• 下村(メール)(はてな)
• 水野(メール)(はてな)
• よしひろ(メール)(はてな)((有)ITプランニング)
• 末次
• 源馬(メール)(はてな)
• 鈴木(ブログ)
• and more...

メーリングリスト (連絡先) †

• 御用の方は ocaml-nagoya＿ＡＴ＿freeml.com まで
• (暫定的に投稿制限・参加制限をなくしました)