数学

マルレク
密度行列 ρ で理解する確率の世界

マルレク「密度行列 ρ で理解する確率の世界」への招待 セミナーの申し込みはこちらからお願いします。クリックください。 マルレク「密度行列 ρ で理解する確率の世界 -- 意味の分散表現の数理」を開催します。 密度行列に […]

続きを読む
数理哲学
数理哲学論文

丸山の博士課程時代の論文です。修士の時に、ゲーデルやコーヘンについて論文を書いたはずですが、見つかりませんでした。 カテゴリー論と認識の理論 カテゴリー論と認識の理論 -- F・W・ローヴェールの数学思想丸山不二夫198 […]

続きを読む
マルレク
人工知能と数学

機械は推論する 僕は、人間の様々な認識能力の中で、数学的な認識能力に一番興味があります。 自然の認識の変化でも、科学と技術の発展でも、それらの変化の背後にある一番大きな推進力であり基礎にもなっているのは、数学的な認識だと […]

続きを読む
マルレク
密度行列 ρ で理解する確率の世界

マルレク「密度行列 ρ で理解する確率の世界」への招待 マルレク「密度行列 ρ で理解する確率の世界 -- 意味の分散表現の数理」を開催します。 密度行列については、2021年夏に「密度行列 ρ で理解する量子の世界」と […]

続きを読む
マルレク
なぜ?で考える ChatGPT の不思議

ChatGPTの不思議 ChatGPT試してみましたか?なかなか驚きです。今までのAI技術と一味違います。 いろいろ不思議なことに気がつきます。 第一。なぜ、こんなになめらかに賢く、人間と対話できるのでしょうか?第二。な […]

続きを読む
マルレク
なぜ?で考える ChatGPT の不思議

ChatGPTの不思議 ChatGPT試してみましたか?なかなか驚きです。今までのAI技術と一味違います。 いろいろ不思議なことに気がつきます。 第一。なぜ、こんなになめらかに賢く、人間と対話できるのでしょうか?第二。な […]

続きを読む
マルゼミ
マルレク・コンテンツ一覧

2023年 2023/01/28「AIは意味をどのように扱っているのか? -- ChatGPT の不思議」 2023/01/14 「なぜ?で考える ChatGPT の不思議」 2022年 2022/12/24「ことば […]

続きを読む
マルゼミ
量子計算の古典的検証

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

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

「ラティス暗号入門」講演資料と講演ビデオ 講演資料 講演ビデオ Part 1 ラティス入門 Part 2 ラティス暗号 LWE Part 3 ラティスとラティス暗号 ラティス入門 ラティスとは何か -- 格子点を表現する […]

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

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

続きを読む