ilove2yuka (@ilove2yuka)


参加する勉強会



過去の勉強会

9/17 (日)

台風18号について 台風18号の接近に伴い、17日15時以降名古屋が暴風域に入る可能性があります。 したがって開催時間をはやめ、11:00から14:00くらいに変更します。 作って食べる料理は夕食ではなく昼食となります。 Talkの時間割も変更になると思いますが、現地で決定します。 概要 お茶と料理を楽しみながら関数プログラミングの話とかしましょう。 TOC(台風による予定変更前の内容) 14:00-15:00 Talk 1 依存型の話 (@t6s) 15:00-16:00 お茶 & Talk 2 数学者のいう美しさってなんじゃらほい (@tannakaken) 16:00-17:00 Talk 3 OCaml で線形型を使ったプログラミングの話 (@keigoi) 17:30-20:30 料理と夕食 & Talk 4 分割数の話 (@wasajifu1) お茶 台湾茶 (@GregWeng) 抹茶 (@t6s) 料理 沙茶料理 (@GregWeng) その他 淹れたいお茶などの持ち込み歓迎します

5/24 (水)

概要 Chainerを提供するPreferred Networksと、Azure クラウドを提供するMicrosoft による、深層学習に関する「最新技術を最新ビジネスで活用している事例」や「最新の技術動向」共有することで、深層学習技術者の裾野を広げ、実社会での利用拡大を図ることを目的としたイベントです。 日時:5/24(水)の19:30-21:00 場所:ウインク愛知 11階 1103会議室(http://www.winc-aichi.jp/access/) その他:お飲み物と軽食をご用意しております。 タイムテーブル(仮) 時間 セッションテーマ 登壇者 19:00 開場 19:30 開演・オープニングトーク 19:30-19:40 進化するChainer Preferred Networks : 海野 裕也 19:40-19:50 PaintsChainerで創るクリエイティブの未来 Preferred Networks : 米辻 泰山 19:55-20:15 Aerial Robotics at Microsoft Research Microsoft Research : Shital Shah 20:15-20:25 Special Announcement Preferred Networks : 丸山 宏、Microsoft : 田丸 健三郎 20:25-20:35 お楽しみ抽選会 Microsoft Presents 20:35-20:55 歓談 21:00 終了

3/29 (水)

概要 HFと有限の世界を勉強しましょう。 第5回は[1]の IV.3.9, IV.3.11のあたりを読みます. 予習不要 計画 I章 p.107 HFの定義 p.119 データ構造の例 II章 II.17 Δ0 II.17.21 Σ1, Π1 II.18 CST III章 III pp.273- 有限主義 IV章 IV pp.289- (ω| HF)上(Δ0|Δ1) IV.3.1 HFでの決定可能性, 計算可能性 IV.3 pp.313- 構文のencoding ... (この辺未定; [2]も参照しつつやる) IV.5.32 第二不完全性 教科書 [1] https://www.nippyo.co.jp/shop/book/7176.html 参考書 [2] https://www.amazon.co.jp/Incompleteness-Land-Sets-Studies-Logic/dp/1904987346