哲学
マルレク・コンテンツ一覧
2023年 2023/01/28「AIは意味をどのように扱っているのか？ — ChatGPT の不思議」 2023/01/14 「なぜ？で考える ChatGPT の不思議」 2022年 2022/12/2 […]
量子計算の古典的検証
11/26 マルゼミ 「量子計算の古典的検証」について 「量子計算の古典的検証」とは、量子コンピュータが人間の指示通りに働いているか、量子コンピュータの行なった計算が正しいものであるかを、人間がキチンと確かめると言うこと […]
「同じ」を考える — Univalence Axiom 入門
2022/03/01 マルゼミ「「同じ」を考える — Univalence Axiom 入門」 小論は、2019 年1月29日のセミナー「「同じ」を考える — 「型の理論」入門」をベースにして、H […]
「プログラム と論理」関連ページ
論理学と数学的証明 数理哲学への招待 数学を無味乾燥なつまらない学問だと思っている人は、少なくないと思います。大学受験の世界では、数学は、決して人気の科目ではありません。また、「数学なんて、生きていくのに役に立つの？」と […]
型の理論入門 （ 論理学入門 III ）
型の理論入門 概要 「型の理論」には、Russellの ‘Ramified Type Theory’ から Voevodsky の ‘Homotopy Type Theory̵ […]
認識について考える 2 — 認識の認識
2021/11/26 マルゼミ概要 今回のマルゼミは、前回のマルレク「認識について考える」の続編です。 前回は、主要に、自然認識とそれを可能とする条件の変化の歴史を振り返ったのですが、今回は、「認識の認識」という構造に注 […]
エンタングルする認識
2022年 10月29日 エンタングルメント・セミナーを開催します。 本セミナーは、録画されたコンテンツの配信で、生放送ではありません。この日のこの時間帯の都合が悪い人も、申し込みいただければ、いつでも都合のいい時間に、 […]
エンタングルする自然 —「逆理」から「原理」へ ver.1.0
2022年 10月29日 エンタングルメント・セミナーを開催します。 本セミナーは、録画されたコンテンツの配信で、生放送ではありません。この日のこの時間帯の都合が悪い人も、申し込みいただければ、いつでも都合のいい時間に、 […]