数学
ポスト・ディープラーニングの人工知能技術を展望する
2018年5月22日
5月22日 マルレク テーマ:「ポスト・ディープラーニングの人工知能技術を展望する」 概要:https://marulec01.peatix.com/ 動画:https://crash.academy/class/278 […]
ポスト・ディープラーニングの人工知能技術を展望する
2018年1月31日
2018年1月31日 角川3時間セミナー テーマ:「ポスト・ディープラーニングの人工知能技術を展望する」 概要:https://lab-kadokawa43.peatix.com/ 資料: 一括ダウンロードhttps:/ […]
エントロピーと情報理論 -- 量子情報理論入門
2017年9月28日
9月28日 マルレク第三回 テーマ:「エントロピーと情報理論 -- 量子情報理論入門」 概要:http://peatix.com/event/297295/view 資料:https://goo.gl/cu8F2r 動 […]
人工知能の歴史を振り返る
2017年7月31日
2017/07/31 マルレク「人工知能の歴史を振り返る 」概要 2012年に、研究者とIT業界の中で「ディープラーニング」のブームが起きてから、5年がたとうとしている。現在では、人工知能技術が、我々の生活と未来にとって […]
「型の理論」と証明支援システム
2013年12月16日
12月16日 マルレク第七回 テーマ:「 「型の理論」と証明支援システム 」 概要:http://kokucheese.com/event/index/130554/ 資料:http://docs.google.com/ […]
「型の理論」と証明支援システム -- Coqの世界
2013年12月16日
2013年12月16日 マルレク 現在、HoTT(Homotopy Type Theory)と呼ばれる新しい型の理論とそれを基礎付けるUnivalent Theoryと呼ばれる新しい数学理論が、熱い関心を集めている。Un […]