マルゼミ
MIP*=RE 入門-- Interactive Proofとnonlocal ゲーム --
2020/12/25 マルゼミ 「MIP*=RE 入門」概要 このセミナーですが、次のような構成を考えています。 第一部「Nonlocal Game-- エンタングルメントとゲーム」では、アインシュタインらの「 隠れた […]
CHSHゲーム入門 -- nonlocal game とInteractive Proof
2022年度のノーベル物理学賞について 2022年のノーベル物理学賞は、アラン・アスペ、ジョン・クラウザー、アントン・ツァイリンガーの三人に与えられました。三人は、いずれも「エンタングルメント」にかかわる実証的な実験の分 […]
機械と人間のインタラクション
2020/10/31* マルゼミ「機械と人間のInteraction」 機械と人間のInteraction」 ビデオ版 「対話」でわかること 盲人に色を教える -- 「対話」が広げる認識能力 人間の「視覚」の拡大を振り返 […]
量子テレポーテーション入門 -- 量子ゲートで学ぶエンタングルメント
2022年度のノーベル物理学賞について 2022年のノーベル物理学賞は、アラン・アスペ、ジョン・クラウザー、アントン・ツァイリンガーの三人に与えられました。三人は、いずれも「エンタングルメント」にかかわる実証的な実験の分 […]
論理学入門 II -- ラムダ計算と関数型言語
2020/03/27 マルゼミ「論理学 II」概要 「論理学 I」との関係について 前回の「論理学 I — 命題論理の演繹ルール」では、「推論する能力」の最も基本的な基礎である、論理的推論ルールにフォーカスしました。今回 […]
論理学入門 I -- 命題論理の演繹ルール
2020/01/28 マルゼミ「論理学入門 I」概要 なぜ今「論理学」を学ぶのか？ その理由は、人工知能技術の未来に関係しています。丸山は、人工知能技術の次の飛躍は、コンピュータの論理的に推論する能力が、現実の課題に広く […]
型の理論入門 (サイレント版)
2019/09/03 マルレク・サブゼミ 概要：https://type-theory.peatix.com/ 資料ダウンロード： 第一部：「数学の基礎の探求 -- CantorからVoevodskyまで」 第二部：「型 […]
エンタープライズと機械学習技術２ -- Big Data と Deep Learning --
12月4日 マルゼミ 第四回 テーマ：「 エンタープライズと機械学習技術２ -- Big Data と Deep Learning -- 」 概要：http://kokucheese.com/event/index/23 […]
人間の思考、機械の思考
10月3日 マルゼミ 第三回 テーマ：「 人間の思考、機械の思考 」 概要：http://kokucheese.com/event/index/220302/ 資料ダウンロード