だそうです。そろそろまた相談しましょう。Haskell hackerthon とのコンフリクトをどうするか。「OCaml Meeting 2011 は開催されるんでしょうか? http://d.hatena.ne.jp/mukaken/20110403/1301851989
2011-04-04 09:04:26@camlspotter Haskell hackathonって知らなかったのですが、色々かぶりそうな人々がいますね。9/25どうしましょう。でももう他の候補日が見当たらない... > @ksknac @kazu_yamamoto
2011-04-04 22:40:46Haskell hackerthon がどんな規模でやるのかわからんので、何ともですなあ、でも Tsuru が関わってるし、日本の Haskellian にとってもチャンスだから外した方がいいよねえ
2011-04-05 09:01:21.@osiire @camlspotter @ksknac Haskell hackthon は、以前お話ししましたよね。想定内の話です。我々は、9/25 を盛り上げることだけに注力すればよいのではないでしょうか?
2011-04-05 10:52:54Hackathon は何日でしたっけ? QT @kazu_yamamoto: .@osiire @camlspotter @ksknac Haskell hackthon は、以前お話ししましたよね。想定内の話です。我々は、9/25 を盛り上げることだけに…
2011-04-05 11:04:34仕事中はいろいろと制限されているので簡単に調べられません、申し訳ない QT @kazu_yamamoto: .@osiire @camlspotter @ksknac
2011-04-05 11:06:34.@camlspotter @osiire @ksknac 9/25 だったと思います。ICFP では、併設イベントの調整はしてくれないそうです。Haskell Hackthon の主催者にメールしてみましょうか? Tsuru には知り合いもできたことだし。
2011-04-05 11:15:09@mkotha Tsuru に Conrad Parker さんっていますか? 彼が 9/25 に、ICFP の併設イベントとして、Haskell Hackthon を計画していると聞きました。日本コミュでも同じ日に、関数型言語のイベントをやろうとしていています。
2011-04-05 11:18:04私個人はその日でいいですけど、やまもとさんは宜しいので? QT @kazu_yamamoto: .@camlspotter @osiire @ksknac 9/25 だったと思います。
2011-04-05 14:54:04あーいかんいかん、ちゃんと過去ログを見れる環境になってから書きます。 QT @kazu_yamamoto: .@camlspotter @osiire @ksknac
2011-04-05 15:02:16関数型のイベントって、9月にぶっつけ本番でやるんではなくて、5月、6月あたりに、前哨戦イベントをやるのもよいかもと思って来たなぁ。そこで出た宿題を積み上げて、9月のプログラムを組むとか。。。
2011-04-05 16:05:31.@camlspotter @osiire Hackathon は 9/25 @ NII で確定だそうです。9/18 は、 @osiire さんの都合が悪いんでしたっけ?
2011-04-06 16:12:31学会の後の方が日本語でみんなで復習できるね、みたいな。だれかトギャッておくれ… QT @kazu_yamamoto: .@osiire @camlspotter あれ? では、なぜ 9/18 じゃなかったんだろう?
2011-04-06 16:21:109/18 は ML ワークショップがあります.RT @kazu_yamamoto: .@camlspotter @osiire 前もって論文は出てるはずなので、9/18 に予習でもいいですか?
2011-04-06 16:37:31@camlspotter @kazu_yamamoto @ksknac MLワークショップはSML, OCaml系のワークショップです。@ksknacさんは運営側ですよね?私も出たい.。NIIでハッカソンなら、暇になったらこっちの集まりにも来てもらえるし、まぁ被ってもいいのでは?
2011-04-06 16:50:52ML の応用とか拡張とか開発環境のお話が多いですね.「OCamlにGADTを入れました」みたいな報告があるかもしれません.RT @kazu_yamamoto: .@ksknac @camlspotter @osiire う。ML ワークショップって、どんな感じの集まりですか?
2011-04-06 16:57:21@kazu_yamamoto @camlspotter @ksknac はい、私は9/17でも大丈夫です。土曜日なら助かります。
2011-04-07 16:27:11ぼくもいいけど、どこになるんだろうね… 下馬評はいけないけど、残暑+停電の東京に日本語の喋れない関数型言語研究者をばらまくのは危険なような… QT @osiire: @kazu_yamamoto @camlspotter @ksknac
2011-04-07 16:30:24@kencoba @yoshihiro503 関数型言語イベントが9/17にずれそうですね。定理証明系イベントの日程検討はまたやり直しですね。
2011-04-07 16:32:46