MaruLabo

MaruLabo  セミナー 一覧 (マルレク MMM)

「エンタングルメント」関連ページを作成しました。

「計算科学と複雑性」関連ページを作成しました。

「エントロピー」関連ページを作成しました。

この間、MaruLabo で行った「エントロピー」をトピックとしたセミナーのまとめページを作りました。ご利用ください。

この間、MaruLabo で行った「エンタングルメント」をトピックとしたセミナーのまとめページを作りました。ご利用ください。

「ペンローズの宇宙論」(2021/07/17 マルレク ) 資料とビデオ公開

2021/11/26 マルゼミ 「認識について考える 2 — 認識の認識」

2021/10/29 マルレク 「認識について考える」

2021/10/23 MMM 小又ゼミ 第三回「有限体」

2021/10/23 MMM 浅海ゼミ 第三回 「基本モデル」

2021/09/30 マルゼミ 「コロモゴロフ複雑性とアルゴリズム論的情報理論」

2021/09/18 MMM 小又ゼミ 第二回「ハミング距離とハミング符号」

2021/09/15 MMM 浅海ゼミ 第二回「開発プロセス」

2021/09/04 マルレク 「量子情報とエントロピー」

2021/08/16 MMM 浅海ゼミ 第一回「講座の概要について」

2021/08/14 MMM 小又ゼミ第一回「ベクトル空間と線型符号」

2021/08/05 マルゼミ「密度行列 ρ で理解する量子の世界」資料公開

21/08/03 MMM 平原ゼミ 第二回「CoqIDEのセットアップ」資料とビデオ公開

2021/07/17 マルレク 楽しい科学 「ペンローズの宇宙論」資料とビデオ公開

21/06/27 MMM 平原ゼミ 第一回「Coq環境の紹介」資料とビデオ公開

21/06/26 マルゼミ「情報とエントロピー」資料とビデオ公開

21/06/20 MMM片桐ゼミ第三回「シャノンの通信路符号化定理」資料とビデオ公開

21/06/14 「Facebookのシステム」

21/05/29 マルレク基礎「情報とエントロピー入門」　資料とビデオ公開

21/05/20 MMM 片桐ゼミ 第二回「ノイマンエントロピーとは何か」 資料とビデオ公開

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月の講演「人工知能技術と自然言語」を再公開しました。

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

• はじめてのCoq
  https://www.marulabo.net/video/coq/
• 量子過程を図解する「String Diagram入門」
  https://www.marulabo.net/video/string-diagram/
• 型の理論入門
  https://www.marulabo.net/video/type-theory/
• テンソルとは何か？ Tensor Network 入門
  https://www.marulabo.net/video/tensor-network/

GitHub

• Coq Tutorial
  https://github.com/maruyama097/coq-tutorial
• 量子コンピュータで学ぶ量子プログラミング
  https://github.com/maru-labo/ibm-q-handson
• 一般社団法人 MaruLabo GitHub
  https://github.com/maru-labo