ML勉強会
イベント内容
注意:会場が変更になりました!
これに伴い定員数・発表枠数を変更しております。ご確認ください。
ML勉強会
SML、OCaml、F#、Coq、IsabelleなどのML?だと思われる言語の勉強会です。
あなたがMLだと思ったものがMLです。
プログラミング言語の基礎理論から応用プログラミング、入門してみたなど 様々な発表を歓迎します!!!
困ったら論文紹介しておけばいいんですよ?
注意
- 運営側で発表の難易度は調整しないので分からないこともあるかもしれないと思って来て下さい
- ML=Meta LanguageですMailing ListでもMachine Learningでもないです
発表者募集
- 発表者を先着で募集中です。
- 発表枠に登録した方を順次管理者に登録するので、発表タイトル編集は各自で行ってください。発表者になってタイトルも決まったのに、しばらく経っても管理者にしてもらえなかったら、管理者の誰かにtwitter上で問い合わせるなどしてください
発表時間目安
- 0608更新:発表は最大で30分くらいでお願いします
タイムテーブル
時間 | 内容 | 担当 |
---|---|---|
会場説明 | ||
ATSで捕捉されたリアルタイムOSのシステム状態 | masterq | |
Socket on SML# | κeen | |
コンピュテーション式とprintfで作るlogging(仮) | もみあげ | |
ML-userのためのCoq入門 | tmiya_ | |
関数型言語処理系の検証(特にCakeML)のサーベイ | ろんだ | |
OCaml の線形代数ライブラリ SLAP の紹介 | あっきー | |
型推論器と現実 | インターネットの闇 | |
Macrodown -MLが使えるML- | gfn |
参加について
- 株式会社朝日ネット 会議室
補欠になっている場合でも、当日のキャンセル具合によっては参加できる可能性が残されているので、前日のキャンセル率をみて参加しても大丈夫そうだと判断したらドタ参加してください。
参加費
- 参加費は無料です
- 懇親会は各自で行って下さい(主催者はどっか行きたがると思います)
会場について
歌舞伎座タワー 21F のセミナールームが今回の会場です。
21F に上るには 1F または B2F からエレベーターで 7F のスカイロビーに上って、さらに 21F に上がるエレベーターにのってください。
21F に上がってからは案内板を見て、研修室(セミナールーム) へ向かってください。
看板のある突き当りを左に真っ直ぐ進めば着くでしょう。
会場の公式サイトの地図もご覧ください。
- 電源あります!
- ネットは無線が使えます。
注意事項
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。