2021/12/30 AM

今日の進捗

以下のページをリニューアルしました。訪問ください。

ジャンルごとの関連ページまとめを作成しました

サイトがカバーするコンテンツの全体像をわかりやすくする取り組みです。

  1. エンタングルメント https://www.marulabo.net/marulabo-entanglement/
  2. エントロピー https://www.marulabo.net/marulabo-entropy/
  3. 量子論と量子コンピュータ https://www.marulabo.net/marulabo-quantum/
  4. 認識の理論 https://www.marulabo.net/marulabo-philosophy/
  5. 計算科学と複雑性 https://www.marulabo.net/marulabo-complex/
  6. プログラム と論理 https://www.marulabo.net/docs/program-logic/
  7. 人工知能 https://www.marulabo.net/marulabo-ai/
  8. 言語理論 https://www.marulabo.net/marulabo-language/

MaruLabo Web サイトが連動しているYouTubeチャンネルはこちらです

チャンネル登録お願いします。

ジャンル別の、この間リニューアルしたページのリストです

1. エンタングルメント

  1. エンタングルメントで理解する量子の世界
  2. 量子ゲートで理解するエンタングルメント
  3. 密度行列 ρ で理解する量子の世界
  4. エンタングルする自然 / エンタングルする認識 I
  5. エンタングルする自然 / エンタングルする認識 II
  6. コンピュータ・サイエンスの現在 — MIP*=RE定理とは何か？–
  7. MIP*=RE 入門 – Interactive Proofとnonlocal ゲーム —

2. エントロピー

  1. 情報とエントロピー入門
  2. 情報とエントロピー
  3. 量子情報とエントロピー
  4. 計算科学とエントロピー
  5. Bayesian推論と「最大エントロピー原理」

3. 量子論と量子コンピュータ

3-1 量子論の基礎を学ぶ

  1. たとえ話で理解する量子の世界 (2020)
  2. ケット |k> で理解する量子の世界 (2020) 
  3. YouTubeで学ぶ量子論の基礎 (2021)　
  4. エンタングルメントで理解する量子の世界 (2020) 
  5. 密度行列 ρ で理解する量子の世界 (2021)　

3-2 量子コンピュータ入門

  1. 量子コンピュータ入門 (2020)　
  2. 量子コンピュータの現在 — 量子優越性のマイルストーンの達成
  3. 量子コンピュータをやさしく理解する三つの方法 (2019)
  4. 紙と鉛筆で学ぶ量子コンピュータ入門演習 (2019)

3-3 量子アルゴリズムを学ぶ

  1. 量子通信入門 — 量子ゲートで学ぶエンタングルメント
  2. 暗号技術の現在 — ポスト量子暗号への移行と量子暗号
  3. Shorのアルゴリズム入門　
  4. 量子フーリエ変換を学ぶ

4. 認識の理論

4-1 認識について

  1. 認識について考える
  2. 認識について考える 2 — 認識の認識
  3. 情報とエントロピー
  4. 人工知能と複雑性理論

4-2 自然の認識

  1. たとえ話で理解する量子の世界
  2. エンタングルメントで理解する量子の世界
  3. ケット |k> で理解する量子の世界
  4. 密度行列 ρ で理解する量子の世界
  5. エンタングルする自然 / エンタングルする認識 I
  6. エンタングルする自然 / エンタングルする認識 II
  7. ペンローズの宇宙論

4-3 数学的認識

  1. 数理哲学への招待

5. 計算科学と複雑性

計算科学と計算複雑性

  1. 人工知能と計算科学
  2. 人工知能と複雑性理論
  3. 人工知能と量子コンピュータ — NP-完全問題とその含意
  4. チューリングマシンの拡大と複雑性
  5. コンピュータ・サイエンスの現在 — MIP*=RE定理とは何か？–
  6. 型の理論入門 
  7. 「同じ」を考える — 「型の理論」入門

計算科学と計算複雑性 チュートリアル

  1. チューリングマシンを学ぼう！
  2. 2のn乗の話（チューリングマシンの話）
  3. はじめてのCoq
  4. 「Interactive Proof 入門」に向けて

計算科学と計算複雑性 Advanced

  1. 計算科学とエントロピー
  2. nonlocal game とInteractive Proof
  3. 確率と証明
  4. Interactive Proofと複雑性
  5. MIP*=RE 入門– Interactive Proofとnonlocal ゲーム —

6. プログラム と論理

  1. 集合論入門　
  2. 論理学入門 I — 命題論理の演繹ルール 
  3. 論理学入門 II — ラムダ計算と関数型言語 
  4. 論理学入門 III — 型の理論入門 
  5. 「同じ」を考える — 「型の理論」入門 

Ever-Green Project 支援 寄付イベント進行中です

「エバー・グリーン・プロジェクト」を支援する募金を始めました。
寄付は、今日から12月31日の19:00まで、次のページで受け付けています。
https://ever-green-donation.peatix.com/
ぜひ、寄付をご検討ください。