クラウドアプリケーションのためのオブジェクト指向分析設計講座 (18) — 設計
2022/12/23 第18回 「設計」 講座の全体構成はこちらを参照ください. 本講座の概要 設計では分析で作成したプラットフォーム独立の抽象的なモデルから実装の入力となるプラットフォーム固有の具象的なモデルを作成しま […]
マルレク・コンテンツ一覧
2023年 2023/01/28「AIは意味をどのように扱っているのか？ — ChatGPT の不思議」 2023/01/14 「なぜ？で考える ChatGPT の不思議」 2022年 2022/12/2 […]
ことばと意味の「構成性」について
はじめに 12月のマルレクは、ことばと意味の関係を「構成性」という観点から取り上げたいと思います。 「構成性」、あまり聞きなれない言葉かもしれません。英語だと、”compositionality” […]
Coq スタートアップセミナー
Coq スタートアップセミナーについて セミナーの目的 ● これからCoqを学習したい人を対象● すぐにCoqを使用できるように!● Coqの実行環境の紹介● Coqの実行環境のインストール方法を説明 講師紹介 平原貴音 […]
クラウドアプリケーションのためのオブジェクト指向分析設計講座 (17) — 分析/イベント駆動
2022/11/22 第17回 「分析/イベント駆動」 講座の全体構成はこちらを参照ください. 本講座の概要 分析のアクティビティとして通常のWeb画面からのコマンド投入を起点とした基本機能を軸にシナリオ分析とコンポーネ […]
クラウドアプリケーションのためのオブジェクト指向分析設計講座 (16) — 分析/コンポーネント分析
2022/10/22 第16回 「分析/コンポーネント分析」 講座の全体構成はこちらを参照ください. 本講座の概要 分析モデルとして前回はユースケースからシステムの概観を抽出するシナリオ分析を説明しました。今回はコンポー […]
量子計算の古典的検証
11/26 マルゼミ 「量子計算の古典的検証」について 「量子計算の古典的検証」とは、量子コンピュータが人間の指示通りに働いているか、量子コンピュータの行なった計算が正しいものであるかを、人間がキチンと確かめると言うこと […]
エンタングルする自然 ver 2.0
講演ビデオ「エンタングルする自然 — 逆理から原理へ ver 2.0」 はじめに ＋ Part 1 「エンタングルメントの発見」 Part 2 「ベルが明らかにしたこと」 Interlude 「Bellの定理 […]
クラウドアプリケーションのためのオブジェクト指向分析設計講座 (15) — 分析
2022/9/22 第15回 「分析」 講座の全体構成はこちらを参照ください. 本講座の概要 要求モデルから、分析モデルを作成する作業分野である分析について説明します。今回はユースケースからシステムの概観を抽出するシナリ […]
