ML Day #1 - connpassML Day (ML勉強会） SML、OCaml、F#、Coq、IsabelleなどのML?だと思われる言語の勉強会です。 あなたがMLだと思ったものがMLです。 プログラミング言語の基礎理論から応用プログラミング、入門してみたなど 様々な発表を歓迎します！！！ また、最近関数型言語に関する勉強会があまり見られないので、MLの人に通じそうなネタ（Haskell、定理証明、それっぽい数学）等に関する発表も歓迎します！！！ 注意 運営側で発表の難易度は調整しないので分からないこともあるかもしれないと思って来て下さい ML=Meta LanguageですMailing ListでもMachine Learningでもないです 発表者募集 発表者を先着で募集中です。 発表枠に登録した方を順次管理者に登録するので、発表タイトル編集は各自で行ってください。発表者になってタイトルも決まったのに、しばらく
