コンピュータ・サイエンスの現在 — MIP*=RE定理とは何か？–
2020/11/27 マルレク 「コンピュータ・サイエンスの現在 — MIP*=RE定理とは何か？」概要 コンピュータ・サイエンスは、今、大きな転換点を迎えています。その変化は、一言で言えば、コンピュータ・サ […]
CHSHゲーム入門 — nonlocal game とInteractive Proof
2022年度のノーベル物理学賞について 2022年のノーベル物理学賞は、アラン・アスペ、ジョン・クラウザー、アントン・ツァイリンガーの三人に与えられました。三人は、いずれも「エンタングルメント」にかかわる実証的な実験の分 […]
機械と人間のインタラクション
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 […]
量子テレポーテーション入門 — 量子ゲートで学ぶエンタングルメント
2022年度のノーベル物理学賞について 2022年のノーベル物理学賞は、アラン・アスペ、ジョン・クラウザー、アントン・ツァイリンガーの三人に与えられました。三人は、いずれも「エンタングルメント」にかかわる実証的な実験の分 […]
19/08/01 丸山 x 山賀 対談 「科学と虚構の未来を語る」
遠藤： 丸山不二夫さんと、山賀さんとの対談、「科学と虚構の未来を語る」と題して2時間ほどの予定ですが、さっそく始めたいと思います。 山賀： ガイナックスの山賀です。僕はアニメの監督や、脚本を書く仕事をしています。僕は劇作 […]