このエントリーをはてなブックマークに追加

7月

9

ML勉強会

SML、OCaml、F#、Coq、Isabelleなど

Hashtag :#ML_study
Registration info

発表枠

Free

FCFS
8/10

参加枠

Free

FCFS
36/50

Description

注意:会場が変更になりました!
これに伴い定員数・発表枠数を変更しております。ご確認ください。

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

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

  • 電源あります!
  • ネットは無線が使えます。

Feed

fetburner

fetburnerさんが資料をアップしました。

07/12/2016 01:47

fetburner

fetburnerさんが資料をアップしました。

07/12/2016 01:46

masterq

masterqさんが資料をアップしました。

07/10/2016 22:53

インターネットの闇

インターネットの闇 さんが書き込みました。

2016/07/10 00:26

まとめ記事を書きました http://no-maddojp.hatenablog.com/entry/2016/07/10/002249

インターネットの闇

インターネットの闇さんが資料をアップしました。

07/10/2016 00:15

あっきー

あっきーさんが資料をアップしました。

07/10/2016 00:15

κeen

κeenさんが資料をアップしました。

07/10/2016 00:13

bd_gfngfn

bd_gfngfnさんが資料をアップしました。

07/09/2016 23:37

masterq

masterq さんが書き込みました。

2016/07/08 23:35

当日の資料を公開します / Real-time OS system state captured by ATS language http://www.slideshare.net/master_q/realtime-os-system-state-captured-by-ats-language

インターネットの闇

インターネットの闇 さんが書き込みました。

2016/06/08 21:57

予想外に参加希望者が集まったため、会場を変更いたします。皆さまご確認下さい。

masterq

masterq さんが書き込みました。

2016/05/26 21:55

ATSもML...ですよね... http://jats-ug.metasepi.org/

インターネットの闇

インターネットの闇 さんが書き込みました。

2016/05/25 23:38

言語処理系で何かネタを探します~~~

インターネットの闇

インターネットの闇 published ML勉強会.

05/25/2016 23:34

ML勉強会 を公開しました!

Group

ML勉強会

Number of events 5

Members 209

Ended

2016/07/09(Sat)

13:00
18:00

Registration Period
2016/05/25(Wed) 13:00 〜
2016/07/09(Sat) 13:00

Location

株式会社朝日ネット 会議室

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

Attendees(44)

pocketberserker

pocketberserker

ML勉強会 に参加を申し込みました!

インターネットの闇

インターネットの闇

ML勉強会 に参加を申し込みました!

κeen

κeen

ML勉強会 に参加を申し込みました!

あっきー

あっきー

ML勉強会 に参加を申し込みました!

masterq

masterq

ML勉強会 に参加を申し込みました!

tmiya_

tmiya_

Coqの話で良いなら

fetburner

fetburner

ML勉強会 に参加を申し込みました!

bd_gfngfn

bd_gfngfn

ML勉強会に参加を申し込みました!

虚無

虚無

ML勉強会に参加を申し込みました!

cosmo0920

cosmo0920

ML勉強会 に参加を申し込みました!

Attendees (44)

Canceled (21)