仕様変更を行ない、受付票を常に発行することになりました。詳しくはこちらをご覧ください。(ML勉強会)SML、OCaml、F#、Coq、IsabelleなどのML?だと思われる言語の勉強会です。あなたがMLだと思ったものがMLです。発表枠に登録した方を順次管理者に登録するので、発表タイトル編集は各自で行ってください。最大で30分でお願いしますLT枠について今回始めてLT枠を設けます。これは短い時間なら発表してくれる人集まるかなーという期待を込めております。講義でMLやってみた、ML入門してみた、こんな事してみた、など気軽なトピックでに登録下さい。目安時間は発表5分・質疑5分です。-参加について補欠になっている場合でも、当日のキャンセル具合によっては参加できる可能性が残されているので、前日のキャンセル率をみて参加しても大丈夫そうだと判断したらドタ参加してください。参加費は無料です懇親会参加者は懇親会費を徴収します。1000円の予定ですが、状況により前後するかもしれませんPresenterインターネットの闇コンパイラbd_gfngfn文字,言語,数理工学,計算機科学,それにインドカレーとテーブルゲームが好きです。https://www.patreon.com/metasepipocketberserkerただのもみあげのようななかやん。自作言語のススメMLでつくる拡張可能インタプリタFeeddico_lequeさんが資料をアップしました。00:25yutoppさんが資料をアップしました。Watanabeさんが資料をアップしました。16:30tkobさんが資料をアップしました。16:01masterqさんが資料をアップしました。15:38ymtszwさんが資料をアップしました。15:36noobさんが資料をアップしました。https://sicss.connpass.com/event/83801/bd_gfngfnさんが資料をアップしました。(謝昊辰)さんが資料をアップしました。07:19直前ですみませんが、LT枠に登録させていただきました。タイトルは"パーサージェネレータProglrの紹介"です。00:44すみません。19:13なぜか管理者になってます。17:40LTは基本的な内容でも構いません~。何が知見があれば共有して頂けるとうれしいです。03:47"OCaml製VeriFast検証器を地味に改造する話"で発表したいです。時間は20-30分です。