MENU
  • Home
  • 講演資料（テーマ別）
    • 量子コンピュータ
    • 量子情報
    • 計算機科学
    • 開発方法論
    • 形式手法
    • クラウド
    • 自然科学
    • 数学
    • 哲学
    • 人工知能
    • ディープ・ラーニング
    • 言語理論
    • Android
  • 講演資料（セミナー別）
    • マルレク
    • マルゼミ
    • マルラボ
    • MMM
      • 片桐ゼミ
      • 平原ゼミ
      • 小又ゼミ
      • 浅海ゼミ
    • クラウド研究会
    • 角川セミナー
    • 楽しい数学
    • その他の講演
  • YouTube
    • Maruyama Lectures
    • MaruLabo Micro Media
    • 動画を含むページ
  • Facebook Page
    • 丸山不二夫
    • マルレク＋MaruLabo
  • Podcast
    • マルレク Podcast
    • 量子優越性とは何か？
    • たとえ話で理解する量子の世界
    • 量子余話
    • お知らせ
  • 各種登録
  • About Us
    • マルレク — これまでの取り組み
    • MaruLaboについて

MaruLabo

  • Home
  • 講演資料（テーマ別）
    • 量子コンピュータ
    • 量子情報
    • 計算機科学
    • 開発方法論
    • 形式手法
    • クラウド
    • 自然科学
    • 数学
    • 哲学
    • 人工知能
    • ディープ・ラーニング
    • 言語理論
    • Android
  • 講演資料（セミナー別）
    • マルレク
    • マルゼミ
    • マルラボ
    • MMM
      • 片桐ゼミ
      • 平原ゼミ
      • 小又ゼミ
      • 浅海ゼミ
    • クラウド研究会
    • 角川セミナー
    • 楽しい数学
    • その他の講演
  • YouTube
    • Maruyama Lectures
    • MaruLabo Micro Media
    • 動画を含むページ
  • Facebook Page
    • 丸山不二夫
    • マルレク＋MaruLabo
  • Podcast
    • マルレク Podcast
    • 量子優越性とは何か？
    • たとえ話で理解する量子の世界
    • 量子余話
    • お知らせ
  • 各種登録
  • About Us
    • マルレク — これまでの取り組み
    • MaruLaboについて

講演資料

  1. HOME
  2. 講演資料
  3. 平原ゼミ

平原ゼミ

2021年7月1日 MaruLabo Micro Media -- MMM平原ゼミ

保護中: Coq スタートアップセミナー (2)

この投稿はパスワードで保護されているため抜粋文はありません。
2021年6月27日 MaruLabo Micro Media -- MMM平原ゼミ

Coq スタートアップセミナー (1)

2021/06/27 第一回「Coq環境の紹介」 講演資料 ダウンロード 講演動画

講演資料

  • 密度行列 ρ で理解する量子の世界 2021年7月18日
  • 量子、情報、物理 — 量子情報と物理学入門 (4) 2021年7月15日
  • クラウドアプリケーションのためのオブジェクト指向分析設計講座 概要 2021年7月13日
  • 宇宙と生命と知能とエントロピー — ペンローズの宇宙論 2021年7月1日
  • 保護中: Coq スタートアップセミナー (2) 2021年7月1日
  • 誤り訂正符号の初歩―古典と量子 概要 2021年6月30日
  • Coq スタートアップセミナー (1) 2021年6月27日

YouTube

  • 「まるまるの哲学チャンネル～映画”ジョーカー”について数理哲学者と声優が語る～」 2020年2月1日
  • 「はじめてのCoq」 2019年11月7日
  • 量子過程を図解する「String Diagram入門」 2019年9月25日
  • テンソルとは何か？ Tensor Network 入門 2019年9月25日
  • 「 量子コンピューターとは何か？ 」 2017年11月30日

Podcast

  • マルレク Podcast「量子コンピュータの現在 — 量子優越性のマイルストーンの達成 –」 2020年2月19日
  • 量子優越性とは何か(6) — 量子優越性への「批判」 2020年2月12日
  • 量子優越性とは何か(5) — Googleの実験への批判 2020年2月11日
  • 量子優越性とは何か(4) — NISQ時代の量子技術のマイルストーン 2020年2月8日
  • 量子優越性とは何か(3) — 現在の到達点 NISQ時代の始まり 2020年2月7日
  • たとえ話で理解する量子の世界(6) — すこし、まとめておこう 2020年2月6日
  • 量子優越性とは何か(2) — 長く困難な道のり 2020年2月5日
  • 量子優越性とは何か(1) — 量子コンピュータの難しさ 2020年2月4日
  • たとえ話で理解する量子の世界(5) — 観測の「確率」はどこからでてくるのか？ 2020年2月2日
  • たとえ話で理解する量子の世界(4) — 「数」にもいろいろある 2020年2月1日

資料テーマ別

  • Android
  • deep-spec
  • クラウド
  • ディープ・ラーニング
  • 人工知能
  • 哲学
  • 形式手法
  • 数学
  • 物理
  • 自然科学
  • 言語理論
  • 計算機科学
  • 量子コンピュータ
  • 量子情報
  • 開発方法論

セミナー開催情報

  • 次回マルレク「量子コンピュータの現在」は、2月17日開催です。
  • Home
  • 講演資料（テーマ別）
  • 講演資料（セミナー別）
  • YouTube
  • Facebook Page
  • Podcast
  • 各種登録
  • About Us

Copyright © MaruLabo All Rights Reserved.

Powered by WordPress with Lightning Theme & VK All in One Expansion Unit by Vektor,Inc. technology.