その他講演
ChatGPTはどう変わろうとしているのか？
セミナーの特徴 ChatGPTの登場から、約一年が過ぎようとしています。その衝撃が冷めやらぬ今また、大きな変化が起きようとしています。11月6日のOpenAI DevDayの発表は、ChatGPTの変化の方向をはっきりと […]
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 (サイレント version )
Coq Tutorial https://github.com/maruyama097/coq-tutorial 概要 https://coq-handson.peatix.com/ Hello Coq! Coqとのはじ […]
紙と鉛筆で学ぶ「量子コンピュータの基礎」
紙と鉛筆で学ぶ「量子コンピュータの基礎」 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 […]
Project Araとものづくりの未来
2月26日 Project Ara 合同勉強会 」 マルレク特別編 テーマ：「 Project Araとものづくりの未来 」 概要：http://kokucheese.com/event/index/263383/ 資料 […]