TOP

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 に上がってからは案内板を見て、研修室(セミナールーム) へ向かってください。
看板のある突き当りを左に真っ直ぐ進めば着くでしょう。

会場の公式サイトの地図もご覧ください。

  • 電源あります!
  • ネットは無線が使えます。
参加者
定員60人
申込先
会場
株式会社朝日ネット 会議室
東京都中央区銀座 4-12-15 歌舞伎座タワー21階

注目のイベント

タグに関連するイベント

2017/12/16(土) 10:30 〜 16:30
愛知県 矢場町
2017/11/25(土) 14:30 〜 17:30
愛知県 名古屋大学
2018/01/20(土) 12:45 〜 18:00
東京都 神田

コラム

イベント

【レポート】データ活用ビジネスの始め方:デジタルマーケティング[第2部] - TECH PLAY Conference 2017

2017年8月20日(日)から25日(金)の6日間にわたり、「TECH PLAY Conference 2017」が開催されました。...
234 views
イベント

【レポート】デジタルマーケティングから紐解き、マーケティングをもういちど考える:デジタルマーケティング[第1部] - TECH PLAY Conference 2017

2017年8月20日(日)から25日(金)の6日間にわたり、「TECH PLAY Conference 2017」が開催されました。...
375 views
イベント

11月(後半)に開催される注目のITイベント・勉強会まとめ

11月後半に開催される注目のITイベント・勉強会をまとめました! 気になるイベントがあれば是非ご参加...
697 views