数学

マルゼミ
量子計算の古典的検証

11/26 マルゼミ 「量子計算の古典的検証」について 「量子計算の古典的検証」とは、量子コンピュータが人間の指示通りに働いているか、量子コンピュータの行なった計算が正しいものであるかを、人間がキチンと確かめると言うこと […]

続きを読む
マルゼミ
ラティス暗号入門

ラティス入門 ラティスとは何か -- 格子点を表現する ( このスライドのpdf blog:「図形としてのラティス、数学的対象としてのラティス」) 基底でラティスを定義する ( このスライドのpdf blog:「良い基底 […]

続きを読む
マルゼミ
「同じ」を考える -- Univalence Axiom 入門

2022/03/01 マルゼミ「「同じ」を考える -- Univalence Axiom 入門」 小論は、2019 年1月29日のセミナー「「同じ」を考える -- 「型の理論」入門」をベースにして、Homotopy Ty […]

続きを読む
ever-green
「プログラム と論理」関連ページ

論理学と数学的証明 集合論入門  集合論は、19世紀後半に、ドイツの数学者ゲオルグ・カントールが創り出した数学の一分野です。集合論の登場は、現代数学の一つの特徴である「抽象化」の歴史的な第一歩といっていいと思います。集合 […]

続きを読む
マルゼミ
型の理論入門 ( 論理学入門 III )

型の理論入門 概要 「型の理論」には、Russellの 'Ramified Type Theory' から Voevodsky の 'Homotopy Type Theory' までを数えれば、100年以上の歴史がありま […]

続きを読む
マルゼミ
認識について考える 2 -- 認識の認識

2021/11/26 マルゼミ概要 今回のマルゼミは、前回のマルレク「認識について考える」の続編です。 前回は、主要に、自然認識とそれを可能とする条件の変化の歴史を振り返ったのですが、今回は、「認識の認識」という構造に注 […]

続きを読む
マルレク
認識について考える

「認識について考える」概要 今回のマルレクは、人間の認識について考えます。 全体のまとめは、次のページをご覧ください。https://www.marulabo.net/docs/philosophy01/YouTubeの […]

続きを読む
マルゼミ
HoTT入門 -- 数理科学とカテゴリー論

2021/07/00 マルゼミ「HoTT入門 -- 数理科学とカテゴリー論」 参考資料・ショートムービー カテゴリーを、まずは直観的に理解する (pdf video) “String Diagram”による直観的な表現 […]

続きを読む
マルゼミ
エンタングルする認識

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

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

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

続きを読む