人工知能

マルレク
人工知能と数学

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

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

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

続きを読む
マルレク
AIは意味をどのように扱っているのか? — ChatGPT の不思議

はじめに 1月28日「ChatGPTの不思議」の続編のセミナーを開催します。 前回の1月14日のセミナーでは、ChatGPTが「大規模言語モデル」の中から生まれながら、「人間からのフィードバックによる強化学習」という方法 […]

続きを読む
マルレク
AIは意味をどのように扱っているのか? — ChatGPT の不思議

はじめに 1月28日「ChatGPTの不思議」の続編のセミナーを開催します。 前回の1月14日のセミナーでは、ChatGPTが「大規模言語モデル」の中から生まれながら、「人間からのフィードバックによる強化学習」という方法 […]

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

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

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

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

続きを読む
マルレク
ことばと意味の「構成性」について

はじめに 12月のマルレクは、ことばと意味の関係を「構成性」という観点から取り上げたいと思います。 「構成性」、あまり聞きなれない言葉かもしれません。英語だと、”compositionality” […]

続きを読む
マルレク
コンピュータ、数学の問題を解き始める

2022/03/26 マルレク 概要 3/26 マルレク「コンピュータ、数学の問題を解き始める」へのお誘い Open-AI Theorem Prover この2月に、 Open-AI はとても興味深い発表を行いました。彼 […]

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

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

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

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

続きを読む