数学
「プログラム と論理」関連ページ
論理学と数学的証明 数理哲学への招待 数学を無味乾燥なつまらない学問だと思っている人は、少なくないと思います。大学受験の世界では、数学は、決して人気の科目ではありません。また、「数学なんて、生きていくのに役に立つの？」と […]
型の理論入門 （ 論理学入門 III ）
型の理論入門 概要 「型の理論」には、Russellの ‘Ramified Type Theory’ から Voevodsky の ‘Homotopy Type Theory̵ […]
認識について考える 2 — 認識の認識
2021/11/26 マルゼミ概要 今回のマルゼミは、前回のマルレク「認識について考える」の続編です。 前回は、主要に、自然認識とそれを可能とする条件の変化の歴史を振り返ったのですが、今回は、「認識の認識」という構造に注 […]
HoTT入門 — 数理科学とカテゴリー論
2021/07/00 マルゼミ「HoTT入門 — 数理科学とカテゴリー論」 参考資料・ショートムービー カテゴリーを、まずは直観的に理解する (pdf video) “String Diagram”による直観 […]
エンタングルする認識
2022年 10月29日 エンタングルメント・セミナーを開催します。 本セミナーは、録画されたコンテンツの配信で、生放送ではありません。この日のこの時間帯の都合が悪い人も、申し込みいただければ、いつでも都合のいい時間に、 […]
チューリングマシンの拡大と複雑性
「チューリングマシンの拡大と複雑性」概要 私たちの認識は単純なものから複雑なものに進みます。世界は複雑なものであふれているので、我々の認識もどんどん複雑になっていきます。ただ、こうした私たちの認識の前進がいつまでも続くと […]
Interactive Proofと複雑性
2021/01/10* マルゼミ「Interactive Proofと複雑性」 「Interactive Proofと複雑性」 YouTube版 Interactive Proof = nonlocalゲーム ̵ […]
チューリングマシンを学ぼう！
セミナー概要 「チューリング・マシン」は、今から80年以上前の1936年に、当時24歳だったアラン・チューリングが計算のモデルとして提案した、とてもシンプルな構造を持つ「マシン」です。ある意味、究極のRISCマシンです。 […]
MIP*=RE 入門– Interactive Proofとnonlocal ゲーム —
2020/12/25 マルゼミ 「MIP*=RE 入門」概要 このセミナーですが、次のような構成を考えています。 第一部「Nonlocal Game– エンタングルメントとゲーム」では、アインシュタインらの […]