GPT-4 との対話 -- プロンプトで遊ぶ --
講演資料と講演ビデオ 資料は、カーソルを合わせるとスクロールできます。「はじめに ... 」「Part 1 ... 」などのタイトル部分をクリックすれば、動画に移動します。 はじめに -- 対話を通じて分かったこと、問題 […]
GPT-4 System Card を読む
このページについて このページは、先に公開したページ「GPT-4 Technical Report を読む」の続編です。論文 "GPT-4 System Card" は、論文 "GPT-4 Technical Repor […]
Coq スタートアップセミナー (5)
2023/05/14 第五回「coq-jupyterのセットアップ」 講演資料 「coq-jupyterのセットアップ」 ( ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」 「Coq スタート […]
GPT-4 Technical Report を読む
マルレク「GPT-4 Technical Report を読む」へのお誘い 申し込みページ：https://gpt4-report.peatix.com/ このところ数学寄りの内容が多かったので、5月のマルレクは、IT […]
クラウドアプリケーションのためのオブジェクト指向分析設計講座 (22) — 設計/コンポーネント設計(3)
2023/4/14 第22回 「設計/コンポーネント設計(3)」 講座の全体構成はこちらを参照ください. 本講座の概要 作業分野「設計」についてアーキテクチャ設計、コンポーネント設計、ドメイン設計、UX/UI設計の順に取 […]
クラウドアプリケーションのためのオブジェクト指向分析設計講座 (21) — 設計/コンポーネント設計(2)
2023/3/16 第21回 「設計/コンポーネント設計(2)」 講座の全体構成はこちらを参照ください. 本講座の概要 作業分野「設計」についてアーキテクチャ設計、コンポーネント設計、ドメイン設計、UX/UI設計の順に取 […]
ことばと意味の数学的構造
マルゼミ「ことばと意味の数学的構造」へのお誘い ( pdf blog ) 申込サイト https://math-structure.peatix.com/ ChatGPTの訴求力はどこから来るのか？ ChatGPTが […]
AIは意味をどのように扱っているのか？ -- ChatGPT の不思議
はじめに 1月28日「ChatGPTの不思議」の続編のセミナーを開催します。 前回の1月14日のセミナーでは、ChatGPTが「大規模言語モデル」の中から生まれながら、「人間からのフィードバックによる強化学習」という方法 […]
密度行列 ρ で理解する確率の世界
マルレク「密度行列 ρ で理解する確率の世界」への招待 セミナーの申し込みはこちらからお願いします。クリックください。 マルレク「密度行列 ρ で理解する確率の世界 -- 意味の分散表現の数理」を開催します。 密度行列に […]
クラウドアプリケーションのためのオブジェクト指向分析設計講座 (20) — 設計/コンポーネント設計(1)
2023/2/16 第20回 「設計/コンポーネント設計(1)」 講座の全体構成はこちらを参照ください. 本講座の概要 作業分野「設計」についてアーキテクチャ設計、コンポーネント設計、ドメイン設計、UX/UI設計の順に取 […]