MaruLabo セミナー リスト2020年
マルレク＋MaruLaboが、2020年に開催したセミナーの一覧です。
20/12/25 マルゼミ「MIP*=RE入門」
20/11/27 マルレク「コンピュータサイエンスの現在 -- MIP*=RE定理とは何か」
原著者によるMIP*=RE解説ビデオの再生リストを公開しました。
「MIP*=RE関連資料集」を更新しました。
20/10/15マルレク「量子コンピュータ入門 -- 量子コンピュータと人工知能」
20/09/18マルレク「人工知能と計算科学」
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「量子コンピュータの現在 — 量子優越性のマイルストーンの達成 」
