MENU

Home
講演資料（テーマ別）
講演資料（セミナー別）
YouTube
Podcast
Facebook Page
- 丸山不二夫
- マルレク＋MaruLabo
各種登録
About Us
- マルレク — これまでの取り組み
- MaruLaboについて

MaruLabo

Home
講演資料（テーマ別）
講演資料（セミナー別）
YouTube
Podcast
Facebook Page
- 丸山不二夫
- マルレク＋MaruLabo
各種登録
About Us
- マルレク — これまでの取り組み
- MaruLaboについて

投稿

HOME
cover-VCMgKhFyrjZPusYhwKQUK5koCXQ3gPQE

2018年11月29日

cover-VCMgKhFyrjZPusYhwKQUK5koCXQ3gPQE

Facebook
twitter
Hatena

計算理論入門 — 「やさしい計算」と「むずかしい計算」

検索:

講演資料

Interactive Proofの発展　第一部「Interactive Proofと複雑性」 2021年1月15日
チューリングマシンを学ぼう！ 2021年1月8日
MIP*=RE 入門– Interactive Proofとnonlocal ゲーム — 2020年12月24日
「Interactive Proof 入門」第三部「確率と証明」 2020年12月3日
コンピュータ・サイエンスの現在 — MIP*=RE定理とは何か？– 2020年11月13日
「Interactive Proof 入門」第二部「nonlocal game とInteractive Proof」 2020年11月11日
Interactive Proof 入門第一部「機械と人間のインタラクション」 2020年10月29日

YouTube

量子通信入門 — 量子テレポーテーションとEntanglement Swapping 2020年8月28日
2のn乗の話 2020年6月30日
ケット |k> で理解する量子の世界 2020年6月20日
たとえ話で理解する量子の世界 2020年5月15日
AWSでの形式手法の利用 2020年5月5日

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
Podcast
Facebook Page
各種登録
About Us

Copyright © MaruLabo All Rights Reserved.

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