マルゼミ
マルレク・コンテンツ一覧
2023年 2023/01/28「AIは意味をどのように扱っているのか？ -- ChatGPT の不思議」 2023/01/14 「なぜ？で考える ChatGPT の不思議」 2022年 2022/12/24「ことば […]
量子計算の古典的検証
11/26 マルゼミ 「量子計算の古典的検証」について 「量子計算の古典的検証」とは、量子コンピュータが人間の指示通りに働いているか、量子コンピュータの行なった計算が正しいものであるかを、人間がキチンと確かめると言うこと […]
エントロピー論とカテゴリー論
エントロピー論とカテゴリー論 タイトルを「エントロピー論とカテゴリー論」に改題し、このテーマをあつかった以前のセミナー「エントロピー論の現在」の第四部も、このタイトルのページから参照できるようにしました。 先日「エントロ […]
エントロピー論の現在
2022/05/28 マルゼミ「エントロピー論の現在」概要 5月のマルゼミは、「エントロピー論の現在」というテーマで開催します。 熱力学的「エントロピー」は、産業革命の原動力となった蒸気機関の効率化の取り組みのなかで、1 […]
量子情報と通信技術 -- 「量子インターネット」という未来
2022/04/30 マルゼミ「量子情報と通信技術 -- 「量子インターネット」という未来」概要 4/30 セミナーへのお誘い ショートムービー ( slide ) セミナーのお申し込みはこちら : https […]
「同じ」を考える -- Univalence Axiom 入門
2022/03/01 マルゼミ「「同じ」を考える -- Univalence Axiom 入門」 小論は、2019 年1月29日のセミナー「「同じ」を考える -- 「型の理論」入門」をベースにして、Homotopy Ty […]
型の理論入門 （ 論理学入門 III ）
型の理論入門 概要 「型の理論」には、Russellの 'Ramified Type Theory' から Voevodsky の 'Homotopy Type Theory' までを数えれば、100年以上の歴史がありま […]
認識について考える 2 -- 認識の認識
2021/11/26 マルゼミ概要 今回のマルゼミは、前回のマルレク「認識について考える」の続編です。 前回は、主要に、自然認識とそれを可能とする条件の変化の歴史を振り返ったのですが、今回は、「認識の認識」という構造に注 […]
計算科学とエントロピー
2021/09/30 マルゼミ 「計算科学とエントロピー -- コロモゴロフ複雑性とアルゴリズム論的情報理論」概要 これまで、丸山のセミナーでは、エントロピーについて、主要に、ボルツマン・ギブスらの統計力学的アプローチと […]