人工知能
なぜ？で考える 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 […]
チューリングマシンの拡大と複雑性
「チューリングマシンの拡大と複雑性」概要 私たちの認識は単純なものから複雑なものに進みます。世界は複雑なものであふれているので、我々の認識もどんどん複雑になっていきます。ただ、こうした私たちの認識の前進がいつまでも続くと […]
MIP*=RE 入門– Interactive Proofとnonlocal ゲーム —
2020/12/25 マルゼミ 「MIP*=RE 入門」概要 このセミナーですが、次のような構成を考えています。 第一部「Nonlocal Game– エンタングルメントとゲーム」では、アインシュタインらの […]
機械と人間のインタラクション
2020/10/31* マルゼミ「機械と人間のInteraction」 機械と人間のInteraction」 ビデオ版 「対話」でわかること 盲人に色を教える — 「対話」が広げる認識能力 人間の「視覚」の拡 […]
量子コンピュータ入門
2020/10/17 マルレク基礎 「量子コンピュータ入門」概要 量子コンピュータに対する関心は確実に広がっています。もっとも、量子コンピュータで今日・明日にも世界が変わるわけではありません。ただ、10年-20年のスパン […]
人工知能と計算科学 — 計算複雑性入門
2020/09/18 マルレク「人工知能と計算科学」概要 今年、「計算複雑性」という数学の一分野で大きな発見がありました。「それって、ITの世界と何か関係があるの？」と感じる人も多いと思います。確かに直接的にはたいした関 […]