マルゼミ
量子計算の古典的検証

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

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

講演ビデオ「エンタングルする自然 -- 逆理から原理へ ver 2.0」 はじめに + Part 1 「エンタングルメントの発見」 Part 2 「ベルが明らかにしたこと」 Interlude 「Bellの定理のブルース […]

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

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

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

「ラティス暗号入門」講演資料と講演ビデオ 講演資料 講演ビデオ Part 1 ラティス入門 Part 2 ラティス暗号 LWE Part 3 ラティスとラティス暗号 ラティス入門 ラティスとは何か -- 格子点を表現する […]

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

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

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

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

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

2022/7/21 第13回 「要求/ユースケース」 講座の全体構成はこちらを参照ください.   本講座の概要 オブジェクト指向開発の要求モデリングの核となるユースケースについて説明します。 講演動画 講演資料 要求/ユ […]

続きを読む
マルレク
並列・分散アルゴリズムの基礎

7/30 マルレク「並列・分散アルゴリズムの基礎」へのお誘い 7月30日、「並列・分散アルゴリズムの基礎」をテーマにマルレクを開催します。https://concurrent.peatix.com/view 今回のセミナ […]

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

2022/6/23 第12回 「要求」 講座の全体構成はこちらを参照ください. 本講座の概要 オブジェクト指向開発の要求モデリングについて説明します。   講演動画 講演資料 要求 【クラウドアプリケーションのためのオブ […]

続きを読む
マルゼミ
エントロピー論とカテゴリー論

エントロピー論とカテゴリー論 タイトルを「エントロピー論とカテゴリー論」に改題し、このテーマをあつかった以前のセミナー「エントロピー論の現在」の第四部も、このタイトルのページから参照できるようにしました。 先日「エントロ […]

続きを読む