MMM
設計/ドメイン設計(2) 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第24回】

2023/6/16 第24回 「設計/ドメイン設計(2)」 講座の全体構成はこちらを参照ください. 本講座の概要 作業分野「設計」についてアーキテクチャ設計、コンポーネント設計、ドメイン設計、UX/UI設計の順に取り上げ […]

続きを読む
その他講演
はじめてのCoq

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

続きを読む
MMM
クラウドアプリケーションのためのオブジェクト指向分析設計講座 (23) — 設計/ドメイン設計(1)

2023/5/18 第23回 「設計/ドメイン設計(1)」 講座の全体構成はこちらを参照ください. 本講座の概要 作業分野「設計」についてアーキテクチャ設計、コンポーネント設計、ドメイン設計、UX/UI設計の順に取り上げ […]

続きを読む
マルレク
GPT-4 との対話 — プロンプトで遊ぶ —

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

続きを読む
マルレク
GPT-4 System Card を読む

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

続きを読む
MaruLabo Micro Media -- MMM
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 […]

続きを読む
MMM
クラウドアプリケーションのためのオブジェクト指向分析設計講座 (22) — 設計/コンポーネント設計(3)

2023/4/14 第22回 「設計/コンポーネント設計(3)」 講座の全体構成はこちらを参照ください. 本講座の概要 作業分野「設計」についてアーキテクチャ設計、コンポーネント設計、ドメイン設計、UX/UI設計の順に取 […]

続きを読む
MMM
クラウドアプリケーションのためのオブジェクト指向分析設計講座 (21) — 設計/コンポーネント設計(2)

2023/3/16 第21回 「設計/コンポーネント設計(2)」 講座の全体構成はこちらを参照ください. 本講座の概要 作業分野「設計」についてアーキテクチャ設計、コンポーネント設計、ドメイン設計、UX/UI設計の順に取 […]

続きを読む
マルゼミ
ことばと意味の数学的構造

マルゼミ「ことばと意味の数学的構造」へのお誘い ( pdf blog ) 申込サイト https://math-structure.peatix.com/ ChatGPTの訴求力はどこから来るのか? ChatGPTが […]

続きを読む