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

3月

31

ML Day #1

関数型言語MLファミリのお祭り

主催 : インターネットの闇

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

発表枠

無料

先着順
6/6

LT枠

無料

先着順
6/6

参加枠

無料

先着順
45/90

イベントの説明

ML Day (ML勉強会)

SML、OCaml、F#、Coq、IsabelleなどのML?だと思われる言語の勉強会です。
あなたがMLだと思ったものがMLです。

プログラミング言語の基礎理論から応用プログラミング、入門してみたなど 様々な発表を歓迎します!!!
また、最近関数型言語に関する勉強会があまり見られないので、MLの人に通じそうなネタ(Haskell、定理証明、それっぽい数学)等に関する発表も歓迎します!!!

注意

  • 運営側で発表の難易度は調整しないので分からないこともあるかもしれないと思って来て下さい

  • ML=Meta LanguageですMailing ListでもMachine Learningでもないです

発表者募集

  • 発表者を先着で募集中です。
  • 発表枠に登録した方を順次管理者に登録するので、発表タイトル編集は各自で行ってください。発表者になってタイトルも決まったのに、しばらく経っても管理者にしてもらえなかったら、管理者の誰かにtwitter上で問い合わせるなどしてください
  • 発表枠の方は発表資料をこのページにアップロードして頂けるとうれしいです

発表時間目安

発表は最大で30分でお願いします

LT枠について

今回始めてLT枠を設けます。これは短い時間なら発表してくれる人集まるかなーという期待を込めております。
講義でMLやってみた、ML入門してみた、こんな事してみた、など気軽なトピックでに登録下さい。
目安時間は発表5分・質疑5分です。

タイムテーブル

時間 内容 担当
12:30 - 13:00 開場 -
13:00 - 13:10 会場説明 -
13:10 - 13:40 発表枠1「ML型付の基礎(の基礎かな~)」 Haochen
13:40 - 14:10 発表枠2 TBA 坂口 和彦
14:10 - 14:25 休憩 -
14:25 - 14:55 発表枠3「型つき組版処理システムSATySFi」 bd_gfngfn
14:55 - 15:25 発表枠4「MLでつくる拡張可能インタプリタ」 linerlock
15:25 - 15:40 休憩 -
15:40 - 15:50 LT枠「MixML 作ってみる」 noob
15:50 - 16:00 LT枠「OCamlで作り直す自作言語のススメ」 yutopp
16:00 - 16:10 LT枠「Elmはいいぞ」 ymtszw
16:10 - 16:20 LT枠「CAML考古学」 dico_leque
16:20 - 16:30 LT枠「パーサージェネレータProglrの紹介」 tkob
16:30 - 16:40 LT枠「An OCaml newbie meets Camlp4 parser」 masterq
16:40 - 16:55 休憩 -
16:55 - 17:25 発表枠5 「コンパイラバックエンド」 インターネットの闇
17:25 - 17:55 発表枠6「BuckleScriptでノベルゲームDSLを作る」 pocketberserker
17:55 - 22:00 懇親会 -

参加について

補欠になっている場合でも、当日のキャンセル具合によっては参加できる可能性が残されているので、前日のキャンセル率をみて参加しても大丈夫そうだと判断したらドタ参加してください

懇親会

会場にてビアバッシュ形式で行います

参加費

  • 勉強会部分の参加費は無料です
  • 懇親会参加者は懇親会費を徴収します。1000円の予定ですが、状況により前後するかもしれません

発表者

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

フィード

dico_leque

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

2018/04/01 00:25

yutopp

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

2018/03/31 21:24

linerlock

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

2018/03/31 16:30

tkob

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

2018/03/31 16:01

masterq

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

2018/03/31 15:38

ymtszw

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

2018/03/31 15:36

noob

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

2018/03/31 15:26

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰) さんが書き込みました。

2018/03/31 14:18

先程少し紹介しました論理プログラミングのスゴイ人の講演会ページ: https://sicss.connpass.com/event/83801/

bd_gfngfn

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

2018/03/31 13:59

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰) さんが書き込みました。

2018/03/31 13:43

発表枠1「ML型付の基礎(の基礎かな~)」の資料: https://haochenxie.name/dl/the_introduction_of_foundation_of_ml_type_checking.pdf

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰)さんが資料をアップしました。

2018/03/31 13:41

tkob

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

2018/03/31 07:19

直前ですみませんが、LT枠に登録させていただきました。タイトルは"パーサージェネレータProglrの紹介"です。

おおとや

おおとや さんが書き込みました。

2018/03/30 00:44

すみません。随分前ですが、キャンセルいたしました

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰) さんが書き込みました。

2018/03/29 21:45

あれ、発表のタイトル入れるところがない..

ymtszw

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

2018/03/24 00:34

LT枠、ElmもML(派生)だぞ発表します

おおとや

おおとや さんが書き込みました。

2018/03/02 19:13

なぜか管理者になってます。ご確認ください ^ ^;

インターネットの闇

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

2018/01/30 17:40

LTは基本的な内容でも構いません~。何が知見があれば共有して頂けるとうれしいです。

おおとや

おおとや さんが書き込みました。

2018/01/30 08:05

LTは「関数型プログラミングを勉強してみた」レベルでも良いですか?

masterq

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

2018/01/30 03:47

"OCaml製VeriFast検証器を地味に改造する話"で発表したいです。時間は20-30分です。

インターネットの闇

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

2018/01/29 22:06

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

グループ

ML勉強会

イベント数 4回

メンバー数 203人

終了

2018/03/31(土)

13:00
18:00

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

募集期間
2018/01/29(月) 00:00 〜
2018/03/31(土) 12:00

会場

ドワンゴセミナールーム(松竹スクエア13F)

東京都中央区築地1丁目13−1 ADK松竹スクエア

参加者(57人)

インターネットの闇

インターネットの闇

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

bd_gfngfn

bd_gfngfn

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

pocketberserker

pocketberserker

ML Day #1 に参加を申し込みました!

linerlock

linerlock

ML Day #1 に参加を申し込みました!

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰)

I joined ML Day #1!

yutopp

yutopp

ML Day #1 に参加を申し込みました!

noob

noob

ML Day #1に参加を申し込みました!

ymtszw

ymtszw

ML Day #1 に参加を申し込みました!

masterq

masterq

ML Day #1 に参加を申し込みました!

参加者一覧(57人)

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