量子コンピュータ

マルレク
コンピュータ・サイエンスの現在 -- MIP*=RE定理とは何か?--

2020/11/27 マルレク 「コンピュータ・サイエンスの現在 -- MIP*=RE定理とは何か?」概要 コンピュータ・サイエンスは、今、大きな転換点を迎えています。その変化は、一言で言えば、コンピュータ・サイエンスは […]

続きを読む
マルゼミ
nonlocal game とInteractive Proof

2020/10/31* マルゼミ 「nonlocal game とInteractive Proof」 Bellの洞察をゲーム形式に翻案したCHSHゲームについて学びます。プレーヤー二人がエンタングルした情報を共有する […]

続きを読む
マルゼミ
機械と人間のインタラクション

2020/10/31* マルゼミ「機械と人間のInteraction」 機械と人間のInteraction」 ビデオ版 「対話」でわかること 盲人に色を教える -- 「対話」が広げる認識能力 人間の「視覚」の拡大を振り返 […]

続きを読む
マルレク
量子コンピュータ入門

2020/10/17 マルレク基礎 「量子コンピュータ入門」概要 量子コンピュータに対する関心は確実に広がっています。もっとも、量子コンピュータで今日・明日にも世界が変わるわけではありません。ただ、10年-20年のスパン […]

続きを読む
マルレク
人工知能と計算科学 -- 計算複雑性入門

2020/09/18 マルレク「人工知能と計算科学」概要 今年、「計算複雑性」という数学の一分野で大きな発見がありました。「それって、ITの世界と何か関係があるの?」と感じる人も多いと思います。確かに直接的にはたいした関 […]

続きを読む
楽しい数学
数学的認識について / 数学の基礎と計算科学

マルゼミ 「Interactive Proof 入門」に向けて  blog集 人は、正しくないことを信ずることがあること 数学者の「不実さ」について 嘘つきが盲人に色を教える話 人は、正しくないことを信ずること […]

続きを読む
その他講演
MIP*=RE References

Main Articles "MIP*=RE" Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen 2020/01 We show […]

続きを読む
マルゼミ
量子通信入門 -- 量子ゲートで学ぶエンタングルメント

2020/08/28 マルゼミ「量子通信入門」概要 なぜ、量子通信に注目するのか? セミナーのテーマは、量子通信技術です。 量子論のITへの応用としては、もちろん、量子コンピュータ技術があるのですが、量子通信技術はそれと […]

続きを読む
マルレク
エンタングルメントで理解する量子の世界

2020/07/26 マルレク基礎「エンタングルメントで理解する量子の世界」概要 エンタングルメントは、現代では、量子の世界のもっとも基本的な現象だと考えられています。アインシュタインが今から80年以上前に、量子論の「矛 […]

続きを読む
マルレク
ケット |k> で理解する量子の世界

2020/06/20 マルレク基礎「ケット |k> で理解する量子の世界」概要 今回は、量子論を理解するのに必要な数学 -- 線形代数の話を、ケット記法を使ってしようと思います。ケット記法は、量子論の最も標準的で基 […]

続きを読む