お知らせ 利用規約及びプライバシーポリシーを改訂いたしました。こちらこちらから内容をご確認ください。

注意 2018年5月31日以降、connpassは、TLS 1.1以降でのみ、接続が可能となります。くわしくはこちらをご確認ください。

お知らせ FacebookAPIの仕様変更により、ユーザプロフィールのFacebookリンクが廃止されました。ご不便をおかけしますが、何卒ご了承下さい。

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

7月

9

ML勉強会

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

ハッシュタグ :#ML_study
募集内容

発表枠

無料

先着順
8/10

参加枠

無料

先着順
36/50

イベントの説明

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

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

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

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

資料 資料をもっと見る/編集する

フィード

fetburner

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

2016/07/12 01:47

fetburner

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

2016/07/12 01:46

masterq

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

2016/07/10 22:53

インターネットの闇

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

2016/07/10 00:26

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

インターネットの闇

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

2016/07/10 00:15

あっきー

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

2016/07/10 00:15

κeen

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

2016/07/10 00:13

bd_gfngfn

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

2016/07/09 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

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

インターネットの闇

インターネットの闇 さんが ML勉強会 を公開しました。

2016/05/25 23:34

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

グループ

ML勉強会

イベント数 3回

メンバー数 134人

終了

2016/07/09(土)

13:00
18:00

募集期間
2016/05/25(水) 13:00 〜
2016/07/09(土) 13:00

会場

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

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

参加者(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勉強会 に参加を申し込みました!

参加者一覧(44人)

キャンセルした人(21人)