MENU

MaruLabo 公開コンテンツ (Index)

21/06/29 マルレク基礎「情報とエントロピー入門」

21/04/10 マルゼミ「エンタングルする認識」講演資料公開

21/03/27 マルレク「エンタングルする自然」講演資料公開

21/02/26 マルゼミ「チューリングマシンの拡大と複雑性理論」講演資料公開

20/01/29 マルレク基礎「チューリングマシンを学ぼう!」
資料と講演ビデオ公開

20/12/25 マルゼミ「MIP*=RE入門」資料 とビデオ公開

20/11/27 マルレク「コンピュータサイエンスの現在 — MIP*=RE定理とは何か」資料とビデオ公開

20/10/15マルレク「量子コンピュータ入門 — 量子コンピュータと人工知能」資料と講演ビデオ公開

原著者によるMIP*=RE解説ビデオの再生リストを公開しました。

「MIP*=RE関連資料集」を更新しました。

20/09/18マルレク「人工知能と計算科学」の資料と講演ビデオ

20/08/28マルゼミ「量子通信入門 — 量子テレポーテーションとEntanglement Swapping」の資料と講演ビデオ公開

20/07/26マルレク基礎「エンタングルメントで理解する量子の世界」の資料と講演ビデオ公開

20/06/30 楽しい数学「2のn乗の話」資料と講演ビデオ公開

20/06/20マルレク基礎「ケット|k> で理解する量子の世界」資料と講演ビデオ公開

20/05/15 マルレク基礎 「たとえ話で理解する量子の世界」
講演資料とビデオ公開

20/05/05 マルレク 「AWSでの形式手法の利用」
資料とビデオを公開

20/03/27 マルゼミ 「論理学入門 II — ラムダ計算と関数型言語」 資料とビデオ公開

20/02/17「量子コンピュータの現在 — 量子優越性のマイルストーンの達成 」資料と講演ビデオ公開

https://crash.academy/video/1170/2530

https://crash.academy/video/1170/2531

crash academy さんのご好意で、2月開催のマルレク「量子コンピュータの現在」の講演ビデオを全編無料公開しました。(サイトへのサインアップ・ログインは必要ありません)

Podcast「量子優越性とは何か?」
量子コンピュータの動作を図解する

20/01/28 マルゼミ「論理学入門 I」資料公開

19/11/28 マルレク「IT技術とCoqの世界 – 証明 = プログラム = 計算の意味を考える」資料公開

19/11/07 ハンズオン「はじめてのCoq」

以前の資料

2018年1月の講演「ポスト・ディープラーニングの人工知能技術を展望する」を再公開しました。

2018年10月の講演「人工知能技術と自然言語」を再公開しました。

ショート・ムービーまとめページ

GitHub