数学

マルゼミ
エンタングルする認識

2022年 10月29日 エンタングルメント・セミナーを開催します。 本セミナーは、録画されたコンテンツの配信で、生放送ではありません。この日のこの時間帯の都合が悪い人も、申し込みいただければ、いつでも都合のいい時間に、 […]

続きを読む
マルゼミ
チューリングマシンの拡大と複雑性

2021/02/26 マルゼミ 「チューリングマシンの拡大と複雑性」概要 私たちの認識は単純なものから複雑なものに進みます。世界は複雑なものであふれているので、我々の認識もどんどん複雑になっていきます。ただ、こうした私た […]

続きを読む
マルゼミ
Interactive Proofと複雑性

2021/01/10* マルゼミ「Interactive Proofと複雑性」 「Interactive Proofと複雑性」 YouTube版 Interactive Proof = nonlocalゲーム -- In […]

続きを読む
マルレク
チューリングマシンを学ぼう!

セミナー概要 「チューリング・マシン」は、今から80年以上前の1936年に、当時24歳だったアラン・チューリングが計算のモデルとして提案した、とてもシンプルな構造を持つ「マシン」です。ある意味、究極のRISCマシンです。 […]

続きを読む
マルゼミ
MIP*=RE 入門-- Interactive Proofとnonlocal ゲーム --

2020/12/25 マルゼミ 「MIP*=RE 入門」概要 このセミナーですが、次のような構成を考えています。 第一部「Nonlocal Game-- エンタングルメントとゲーム」では、アインシュタインらの「 隠れた […]

続きを読む
マルゼミ
確率と証明

2020/12/01* マルゼミ「確率と証明」 「確率と証明」解説資料 非決定性チューリングマシンとNPクラス (pdf) 非決定性チューリングマシンと決定性チューリングマシン (pdf) NP完全と数学的証明 (pd […]

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

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

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

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

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

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

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

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

続きを読む