BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:ML Day#2
X-WR-CALNAME:ML Day#2
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:684289@techplay.jp
SUMMARY:ML Day#2
DTSTART;TZID=Asia/Tokyo:20180916T130000
DTEND;TZID=Asia/Tokyo:20180916T180000
DTSTAMP:20260520T010544Z
CREATED:20180709T140457Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/68428
 9?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\nML Day (ML勉強
 会）\nSML、OCaml、F#、Coq、IsabelleなどのML?だと思われる
 言語の勉強会です。\nあなたがMLだと思ったものがMLで
 す。\nプログラミング言語の基礎理論から応用プログ
 ラミング、入門してみたなど\n様々な発表を歓迎しま
 す！！！\nまた、最近関数型言語に関する勉強会があ
 まり見られないので、MLの人に通じそうなネタ（Haskell
 、定理証明、それっぽい数学）等に関する発表も歓迎
 します！！！\nその際には前提知識としてMLプログラム
 がわかる人ならわかるくらいの内容でおねがいします
 。\n注意\n\n\n運営側で発表の難易度は調整しないので
 分からないこともあるかもしれないと思って来て下さ
 い\n\n\n\nML=Meta LanguageですMailing ListでもMachine Learningでも
 ないです\n\n発表者募集\n\n発表者を先着で募集中です
 。\n発表される方はコメントに発表タイトルを書き込
 んでください、私が編集してタイムテーブルに書き込
 みます\n発表後にはこのページに発表資料を集約して
 いただけると助かります\n\n発表者の方は以下のことに
 気をつけていただけると当日スムーズに進むと思いま
 す\n\n\n\nスライドの文字を大きめにする（24p以下は読
 めない）\n\n\n色のコントラストに気をつける\n  灰色背
 景に黒文字のような構成はよほど環境が良くないと画
 面が見えません！！！！\n\n聴講者の事前知識を考慮に
 入れる、ハイレベルな内容は十分に前段階を踏まえて
 ください\n\n発表時間目安\n発表は最大で30分でお願い
 します。\nこれは質疑の時間を含んでおりますので、
 発表=20分の気持ちでおねがいします。\nLT枠について\n
 気軽に自分の進捗の話ができるようにLT枠を設けます
 。これは短い時間なら発表してくれる人集まるかなー
 という期待を込めております。\n講義でMLやってみた、
 ML入門してみた、こんな事してみた、など気軽なトピ
 ックでに登録下さい。\n目安時間は発表5分・質疑5分で
 す。\nタイムテーブル\n\n\n\n時間\n内容\n担当\n\n\n\n\n12:3
 0 - 13:00\n開場\n-\n\n\n13:00 - 13:10\n会場説明\n-\n\n\n13:10 - 13:
 40\n発表枠１「ラベルなしオプション引数のための型シ
 ステムと型推論」\nbd_gfngfn\n\n\n13:40 - 14:10\n発表枠２「
 循環証明の話」\n秋津早苗\n\n\n14:10 - 14:25\n休憩\n-\n\n\n14
 :25 - 14:55\n発表枠3「Inside Pattern Machings」\nκeen\n\n\n14:55 - 
 15:25\n発表枠4「Dive into Algebraic Effects」\nびしょ〜じょ\n\
 n\n15:25 - 15:40\n休憩\n-\n\n\n15:40 - 15:50\nLT枠「OCamlのトップ
 レベルあれそれ」\n光のインターネットの闇\n\n\n15:50 - 
 16:00\nLT枠「Haskellで依存型とコンパイル時インラインlis
 p」\nあいや\n\n\n16:00 - 16:10\nLT枠「仮想通貨デザインに
 おけるML言語族適用の展望」\ncamloeba\n\n\n16:10 - 16:20\nLT
 枠「自作SML処理系の進捗」\nmod_poppo\n\n\n16:20 - 16:30\nLT枠
 「OCamlによる無限グラフにも使える ダイクストラ法の
 実装」\nfetburner\n\n\n16:30 - 16:40\nLT枠「」\n\n\n\n16:40 - 16:55
 \n休憩\n-\n\n\n16:55 - 17:25\n発表枠５ 「パターンマッチ指
 向プログラミング言語Egisonとその上に実装された数式
 処理システム」\nSatoshi Egi\n\n\n17:25 - 17:55\n発表枠６ 「FS
 DN（仮）」\npocketberserker\n\n\n17:55 - 22:00\n懇親会\n-\n\n\n\n
 参加について\n補欠になっている場合でも、当日のキ
 ャンセル具合によっては参加できる可能性が残されて
 いるので、前日のキャンセル率をみて参加しても大丈
 夫そうだと判断したらドタ参加してください。 \n懇親
 会\n会場にてビアバッシュ形式で行います\n参加費\n\n
 勉強会部分の参加費は無料です\n懇親会参加者は懇親
 会費を徴収します。1000円の予定ですが、状況により前
 後するかもしれません\n\n過去のページ\n\nML Day#1 https://
 ml-lang.connpass.com/event/78199/  \nML Study#2 https://ml-lang.connpass.
 com/event/58151/\nML Study#1 https://ml-lang.connpass.com/event/32752/\n
LOCATION:ドワンゴセミナー室  東京都中央区銀座5-15-1 南海
 東京ビルディング3F
URL:https://techplay.jp/event/684289?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR