マルゼミ
創発について考える
2023年7月10日

（旧題「エントロピーと創発」） セミナーのタイトルを、「エントロピーと創発」から「創発について考える」に変更しました。(2023/07/19) はじめに GPT-4との印象的な対話 この間GPT-4と「対話」を楽しんでき […]

続きを読む
MMM
設計/ドメイン設計(2) 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第24回】
2023年7月1日

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

続きを読む
その他講演
はじめてのCoq
2023年6月11日

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

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

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

続きを読む
マルレク
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 […]

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (5)
2023年5月14日

2023/05/14 第五回「coq-jupyterのセットアップ」 講演資料　「coq-jupyterのセットアップ」 ( ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」 「Coq スタート […]

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

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

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

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

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

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

続きを読む