イベントの説明
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 | 発表枠１「ML型付の基礎(の基礎かな~)」 | Haochen |
| 13:40 - 14:10 | 発表枠２ 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 | 発表枠５ 「コンパイラバックエンド」 | インターネットの闇 |
| 17:25 - 17:55 | 発表枠６「BuckleScriptでノベルゲームDSLを作る」 | pocketberserker |
| 17:55 - 22:00 | 懇親会 | - |
参加について
補欠になっている場合でも、当日のキャンセル具合によっては参加できる可能性が残されているので、前日のキャンセル率をみて参加しても大丈夫そうだと判断したらドタ参加してください。
懇親会
会場にてビアバッシュ形式で行います
参加費
- 勉強会部分の参加費は無料です
- 懇親会参加者は懇親会費を徴収します。1000円の予定ですが、状況により前後するかもしれません
発表者
インターネットの闇
コンパイラ
bd_gfngfn
yutopp
ア
masterq
寄付はこちらから https://www.patreon.com/metasepi
pocketberserker
ただのもみあげのようななかやん。
Takahisa Watanabe
noob
いろんな言語触ってHaskellに落ち着きました 数学や物理あたりも大好き
ymtszw
Elixirはいいぞ Elmもいいぞ https://twitter.com/gada_tw...
Kazuhiko Sakaguchi
dico_leque
自然言語と計算機言語、ごはん
tkob
Haochen Kotoi-Xie (謝昊辰)
フィード
2018/04/01 00:25
2018/03/31 21:24
2018/03/31 16:30
2018/03/31 16:01
2018/03/31 15:38
2018/03/31 15:36
2018/03/31 15:26
2018/03/31 13:59
2018/03/31 13:43
発表枠１「ML型付の基礎(の基礎かな~)」の資料: https://haochenxie.name/dl/the_introduction_of_foundation_of_ml_type_checking.pdf
2018/03/31 13:41
2018/03/31 07:19
直前ですみませんが、LT枠に登録させていただきました。タイトルは"パーサージェネレータProglrの紹介"です。
2018/03/30 00:44
すみません。随分前ですが、キャンセルいたしました
2018/03/29 21:45
あれ、発表のタイトル入れるところがない..
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は「関数型プログラミングを勉強してみた」レベルでも良いですか？
2018/01/30 03:47
"OCaml製VeriFast検証器を地味に改造する話"で発表したいです。時間は20-30分です。
2018/01/29 22:06
ML勉強会 #3 を公開しました！
インターネットの闇
pocketberserker
bd_gfngfn
masterq
Takahisa Watanabe
yutopp
noob
ymtszw
Kazuhiko Sakaguchi
dico_leque
Haochen Kotoi-Xie (謝昊辰)
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています