マルレク
ことばと意味の「構成性」について新着!!

概説 ことばと意味の「構成性」について ( pdf blog:「ことばと意味の「構成性」について」)

続きを読む
MMM
Coq スタートアップセミナー新着!!

Coq スタートアップセミナーについて セミナーの目的 ● これからCoqを学習したい人を対象● すぐにCoqを使用できるように!● Coqの実行環境の紹介● Coqの実行環境のインストール方法を説明 講師紹介 平原貴音 […]

続きを読む
MMM
クラウドアプリケーションのためのオブジェクト指向分析設計講座 (17) — 分析/イベント駆動新着!!

2022/11/22 第17回 「分析/イベント駆動」 講座の全体構成はこちらを参照ください. 本講座の概要 分析のアクティビティとして通常のWeb画面からのコマンド投入を起点とした基本機能を軸にシナリオ分析とコンポーネ […]

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

2022/10/22 第16回 「分析/コンポーネント分析」 講座の全体構成はこちらを参照ください. 本講座の概要 分析モデルとして前回はユースケースからシステムの概観を抽出するシナリオ分析を説明しました。今回はコンポー […]

続きを読む
マルゼミ
量子計算の古典的検証

11/26 マルゼミ 「量子計算の古典的検証」について 「量子計算の古典的検証」とは、量子コンピュータが人間の指示通りに働いているか、量子コンピュータの行なった計算が正しいものであるかを、人間がキチンと確かめると言うこと […]

続きを読む
マルレク
エンタングルする自然 ver 2.0

講演資料 (ショート・バージョン ダウンロード) 講演資料 (ロング・バージョン ダウンロード) 2022/10/29 セミナー解説動画・解説資料 Bellの定理 Bellの定理 (1) -- Bell 1964年論文 […]

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

2022/9/22 第15回 「分析」 講座の全体構成はこちらを参照ください. 本講座の概要 要求モデルから、分析モデルを作成する作業分野である分析について説明します。今回はユースケースからシステムの概観を抽出するシナリ […]

続きを読む
マルゼミ
ラティス暗号入門

ラティス入門 ラティスとは何か -- 格子点を表現する ( このスライドのpdf blog:「図形としてのラティス、数学的対象としてのラティス」) 基底でラティスを定義する ( このスライドのpdf blog:「良い基底 […]

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

2022/8/18 第14回 「要求/シナリオ」 講座の全体構成はこちらを参照ください. 本講座の概要 オブジェクト指向開発の要求モデリングのユースケースの作成で必要となるシナリオの書き方について説明します。 講演動画 […]

続きを読む
マルレク
暗号技術の現在

マルレク「暗号技術の現在」へのお誘い 【 8/27 マルレクのタイトルを「暗号技術の現在」に変えました 】  開催まで一週間を切っているのですが、8/27 マルレクのタイトルを「ポスト量子暗号技術の現在」から「暗号技術の […]

続きを読む