その他講演

その他講演
MIP*=RE References

Main Articles "MIP*=RE" Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen 2020/01 We show […]

続きを読む
その他講演
19/08/01 丸山 x 山賀 対談 「科学と虚構の未来を語る」

遠藤: 丸山不二夫さんと、山賀さんとの対談、「科学と虚構の未来を語る」と題して2時間ほどの予定ですが、さっそく始めたいと思います。 山賀: ガイナックスの山賀です。僕はアニメの監督や、脚本を書く仕事をしています。僕は劇作 […]

続きを読む
その他講演
はじめてのCoq

Coq Tutorial https://github.com/maruyama097/coq-tutorial 概要 https://coq-handson.peatix.com/ 目次 I. Hello Coq! C […]

続きを読む
その他講演
紙と鉛筆で学ぶ「量子コンピュータの基礎」

紙と鉛筆で学ぶ「量子コンピュータの基礎」 9/15 13:00~19:00 会場 IBM 箱崎 9/22 13:00~21:00 会場 Google 六本木 10/6 13:00~19:00 会場 Microsoft 品 […]

続きを読む
その他講演
DNNとRNN — ニューラルネットワークの二つの基本的なモデルについて

12月20日 ディープラーニング・ハンズオン @ Google テーマ:「DNNとRNN — ニューラルネットワークの二つの基本的なモデルについて」 概要:https://goo.gl/por0Wu 資料:https:/ […]

続きを読む
その他講演
モバイルとクラウドの向かう未来

11月19日 ABC2016 Autumn 基調講演 テーマ:「モバイルとクラウドの向かう未来」 概要:http://abc.android-group.jp/2016a/timetables/ 資料:https://g […]

続きを読む
その他講演
IBM Watsonは、何をしていたのか?

4月23日 資料公開 テーマ: 「IBM Watsonは、何をしていたのか?」 資料: https://goo.gl/cEhQse    

続きを読む
その他講演
Project Araとものづくりの未来

2月26日 Project Ara 合同勉強会 」 マルレク特別編 テーマ:「 Project Araとものづくりの未来 」 概要:http://kokucheese.com/event/index/263383/ 資料 […]

続きを読む