# ML Day (ML勉強会） SML、OCaml、F#、Coq、IsabelleなどのML?だと思われる言語の勉強会です。 あなたがMLだと思ったものがMLです。 プログラミング言語の基礎理論から応用プログラミング、入門してみたなど 様々な発表を歓迎します！！！ また、最近関数型言語に関する勉強会があまり見られないので、MLの人に通じ…