トップ
新規
単語検索
ヘルプ
ocaml-nagoya
をテンプレートにして作成
開始行:
* [Functional花見2014] [#o9caeebe]
- ハッシュタグ: [[#functionalHanami:https://twitter.com/s...
* [Functional花見2013] [#f3f4632f]
- 2013 03/30(土)
- 場所: 鶴舞公園
- 参加登録: http://partake.in/events/1a51f490-3045-47f5-8...
* [Functional花見2012] [#j24b55d2]
- 2012 04/07(土)
- 場所: 神宮東公園
- 内容: @imunolionさんを囲む会
- 参加: http://partake.in/events/1d53d158-e5b1-41c2-be20-...
* [ocamlnagoya忘年会] [#eda15869]
- 日時: 2011 12/17(土)
- 場所: [[黒豚屋 らむちい:http://g.pia.co.jp/shop/6689]]
- 参加登録: http://partake.in/events/390127b2-4b0f-4702-9...
- ハッシュタグ: [[#ocamlnagoya:http://twitter.com/search?...
ocaml-nagoyaと言えば忘年会!
* [名古屋芋煮会] [#f7e3047f]
- 日時: 2011 10/08(土)
- 場所: 大高緑地公園デイキャンプ場
- 内容: 宮城の郷土料理「芋煮」を食べながらSML#について問...
- 参加登録: http://partake.in/events/9a1490b3-60d6-440c-a...
- ハッシュタグ: [[#名古屋芋煮:http://twitter.com/search?q...
- [[SML#のダウンロード:http://www.pllab.riec.tohoku.ac.jp...
* [Functional花見] [#ae122ea4]
- 2011 04/02(土) ?
- 場所: 鶴舞公園
- 内容: @keita44_f44さん歓迎会
- http://partake.in/events/746bf31e-8a7b-4c9b-8806-21d5b1...
* [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/compan...
- 内容:[[(PDF) UML2Alloy: A tool for lightweight modellin...
勉強会に参加希望の方は [[ocaml-nagoya_AT_freeml.com]]...
- これまでの履歴: [[論文読み会]]
* [報告] [#wf864b2d]
- 8月30日(日)、日本の OCaml ユーザー有志が OCaml Meeting...
- くわしくは[[http://ocaml.jp/?Users%20Meeting]]をご覧下...
* [NEWS] [#qeb28c7c]
- OCaml-3.11.1リリース!(2009-06-12) [http://caml.inria.fr...
- 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 入門 (五十嵐先生):ht...
現在では、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....
OCaml-Nagoya 著 A5版~
ISBN978-4-8399-2311-2
[[サポートページ:http://www.itpl.co.jp/ocaml/]]へのリンク。
*メンバーリスト [#f49e14ea]
- けいご ([[メール:mailto:sydney::@::agusa.i.is.nagoya-u....
- 小笠原 ([[メール:mailto:ogasawara::@::itpl.co.jp]])([[(...
- 下村([[メール:mailto:graueule::@::gmail.com]])([[はてな...
- 水野([[メール:mailto:mzpppp::@::gmail.com]])([[はてな:h...
- よしひろ([[メール:mailto:yimai.v::@::gmail.com]])([[は...
- [[末次:http://www.agusa.i.is.nagoya-u.ac.jp/person/sue/]]
- 源馬([[メール:mailto:teruakigemma::@::ybb.ne.jp]])([[は...
- 鈴木([[ブログ:http://k0701.blog89.fc2.com/]])
- and more...
// - 樋口
* メーリングリスト (連絡先) [#o5414c05]
- 御用の方は [[ocaml-nagoya_AT_freeml.com:mailto:ocam...
- (暫定的に投稿制限・参加制限をなくしました)
終了行:
* [Functional花見2014] [#o9caeebe]
- ハッシュタグ: [[#functionalHanami:https://twitter.com/s...
* [Functional花見2013] [#f3f4632f]
- 2013 03/30(土)
- 場所: 鶴舞公園
- 参加登録: http://partake.in/events/1a51f490-3045-47f5-8...
* [Functional花見2012] [#j24b55d2]
- 2012 04/07(土)
- 場所: 神宮東公園
- 内容: @imunolionさんを囲む会
- 参加: http://partake.in/events/1d53d158-e5b1-41c2-be20-...
* [ocamlnagoya忘年会] [#eda15869]
- 日時: 2011 12/17(土)
- 場所: [[黒豚屋 らむちい:http://g.pia.co.jp/shop/6689]]
- 参加登録: http://partake.in/events/390127b2-4b0f-4702-9...
- ハッシュタグ: [[#ocamlnagoya:http://twitter.com/search?...
ocaml-nagoyaと言えば忘年会!
* [名古屋芋煮会] [#f7e3047f]
- 日時: 2011 10/08(土)
- 場所: 大高緑地公園デイキャンプ場
- 内容: 宮城の郷土料理「芋煮」を食べながらSML#について問...
- 参加登録: http://partake.in/events/9a1490b3-60d6-440c-a...
- ハッシュタグ: [[#名古屋芋煮:http://twitter.com/search?q...
- [[SML#のダウンロード:http://www.pllab.riec.tohoku.ac.jp...
* [Functional花見] [#ae122ea4]
- 2011 04/02(土) ?
- 場所: 鶴舞公園
- 内容: @keita44_f44さん歓迎会
- http://partake.in/events/746bf31e-8a7b-4c9b-8806-21d5b1...
* [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/compan...
- 内容:[[(PDF) UML2Alloy: A tool for lightweight modellin...
勉強会に参加希望の方は [[ocaml-nagoya_AT_freeml.com]]...
- これまでの履歴: [[論文読み会]]
* [報告] [#wf864b2d]
- 8月30日(日)、日本の OCaml ユーザー有志が OCaml Meeting...
- くわしくは[[http://ocaml.jp/?Users%20Meeting]]をご覧下...
* [NEWS] [#qeb28c7c]
- OCaml-3.11.1リリース!(2009-06-12) [http://caml.inria.fr...
- 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 入門 (五十嵐先生):ht...
現在では、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....
OCaml-Nagoya 著 A5版~
ISBN978-4-8399-2311-2
[[サポートページ:http://www.itpl.co.jp/ocaml/]]へのリンク。
*メンバーリスト [#f49e14ea]
- けいご ([[メール:mailto:sydney::@::agusa.i.is.nagoya-u....
- 小笠原 ([[メール:mailto:ogasawara::@::itpl.co.jp]])([[(...
- 下村([[メール:mailto:graueule::@::gmail.com]])([[はてな...
- 水野([[メール:mailto:mzpppp::@::gmail.com]])([[はてな:h...
- よしひろ([[メール:mailto:yimai.v::@::gmail.com]])([[は...
- [[末次:http://www.agusa.i.is.nagoya-u.ac.jp/person/sue/]]
- 源馬([[メール:mailto:teruakigemma::@::ybb.ne.jp]])([[は...
- 鈴木([[ブログ:http://k0701.blog89.fc2.com/]])
- and more...
// - 樋口
* メーリングリスト (連絡先) [#o5414c05]
- 御用の方は [[ocaml-nagoya_AT_freeml.com:mailto:ocam...
- (暫定的に投稿制限・参加制限をなくしました)
ページ名: