マルゼミ
エントロピー論の現在
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 マルゼミ 「計算科学とエントロピー -- コロモゴロフ複雑性とアルゴリズム論的情報理論」概要 これまで、丸山のセミナーでは、エントロピーについて、主要に、ボルツマン・ギブスらの統計力学的アプローチと […]
密度行列 ρ で理解する量子の世界
「2021/08/05 マルゼミ「密度行列 ρ で理解する量子の世界」概要 量子の世界を記述するには、ベクトルを使うやり方と密度行列を使うやり方があります。二つのアプローチは、量子の世界を記述しようという点では、基本的に […]
HoTT入門 -- 数理科学とカテゴリー論
2021/07/00 マルゼミ「HoTT入門 -- 数理科学とカテゴリー論」 参考資料・ショートムービー カテゴリーを、まずは直観的に理解する (pdf video) “String Diagram”による直観的な表現 […]
エンタングルする自然 / エンタングルする認識 II
2021/04/10 楽しい哲学「エンタングルする認識」概要 先のセミナー「エンタングルする自然」では、21世紀の自然観の中核に「エンタングルする自然」という自然観が生まれていることを紹介しました。今回のセミナー「エンタ […]