マルレク

その他講演
はじめてのCoq
2023年6月11日

「はじめてのCoq」再公開について 「はじめてのCoq」は、MaruLaboのハンズオンの資料として、2019年に公開されたものです。そのハンズオンの概要については、次のURLを見ていただければと思います。　https: […]

続きを読む
マルレク
GPT-4 との対話 -- プロンプトで遊ぶ --
2023年6月2日

講演資料と講演ビデオ 資料は、カーソルを合わせるとスクロールできます。「はじめに ... 」「Part 1 ... 」などのタイトル部分をクリックすれば、動画に移動します。 はじめに -- 対話を通じて分かったこと、問題 […]

続きを読む
マルレク
GPT-4 System Card を読む
2023年5月16日

このページについて このページは、先に公開したページ「GPT-4 Technical Report を読む」の続編です。論文 "GPT-4 System Card" は、論文 "GPT-4 Technical Repor […]

続きを読む
マルレク
GPT-4 Technical Report を読む
2023年5月4日

マルレク「GPT-4 Technical Report を読む」へのお誘い 申し込みページ：https://gpt4-report.peatix.com/ このところ数学寄りの内容が多かったので、5月のマルレクは、IT […]

続きを読む
マルレク
AIは意味をどのように扱っているのか？ -- ChatGPT の不思議
2023年3月1日

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

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

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

続きを読む
マルレク
人工知能と数学
2023年2月9日

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

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

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

続きを読む
マルレク
なぜ？で考える ChatGPT の不思議
2023年2月2日

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

続きを読む
マルレク
AIは意味をどのように扱っているのか？ -- ChatGPT の不思議
2023年1月26日

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

続きを読む