講演資料　「coq-jupyterのセットアップ」 ( ダウンロード)

講演ビデオ

これまでの「Coq スタートアップセミナー 」

• 第一回「Coq環境の紹介」
• 第二回「CoqIDEのセットアップ」
• 第三回 「jsCoqのセットアップ」
• 第四回 「VsCoqのセットアップ」
• 第五回「coq-jupyterのセットアップ」

「Coq スタートアップセミナー」 再生リスト

The post Coq スタートアップセミナー (5) first appeared on MaruLabo.

・講座の全体構成はこちらを参照ください.

本講座の概要

オブジェクト指向モデルの物理的な側面をコンポーネントを中心に説明します。

講演動画

講演資料：物理モデル

MaruLaboの浅海ゼミでの講座のスライドです。 https://www.marulabo.net/docs/asami09/ オブジェクト指向モデルの物理的な側面をコンポーネントを中心に説明します…

Slideshare

The post クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (9) 物理モデル first appeared on MaruLabo.

次のような構成になります。

1. 量子力学と量子情報理論
2. 量子誤り訂正符号
3. 例1：CSS符号
4. 例2：トーラス符号
5. 最近の物理との関係

3月5日 21時 開催　 Zoom URL

上記のZoom URL から、どなたでも参加できます。
リアルタイムのゼミナール形式でおこないます。
セミナーの様子は、後日、YouTubeで配信します。

講演ビデオ 小又ゼミ第6回「量子誤り訂正符号」

講演資料 小又ゼミ第6回「量子誤り訂正符号」

The post 誤り訂正符号の初歩 — 古典と量子 (6) first appeared on MaruLabo.

• 講座の全体構成はこちらを参照ください.

本講座の概要

従来オブジェクト指向分析設計における関数は従属的な位置付けでしたが、関数型プログラミング言語の技術革新によりクラウドアプリケーション開発の重要技術となってきました。この「関数」をオブジェクト指向分析設計で活用するための方式の検討を行います。

型クラス、抽象代数、モナディック・パイプライン、オブジェクト指向との連携などについて説明します。

講演動画

動画は以下のキャプチャで参照することができます。

キャプチャごとに参照したい場合は以下のページを参照してください。

https://www.youtube.com/watch?v=6jgqOv4sluw

講演資料：関数モデル

MaruLaboの浅海ゼミでの講座のスライドです。 https://www.marulabo.net/docs/asami08/ オブジェクト指向分析設計の関数モデルについて、型クラス、抽象代数、モナ…

Slideshare

The post クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (8) 関数モデル first appeared on MaruLabo.

次のような構成です。

• 畳込み符号とは
• 応用
• 簡単な例
• 畳込み符号の定義
• 復号法
• 畳込み符号の復号

1月22日 21時 開催　 Zoom URL

上記のZoom URL から、どなたでも参加できます。

リアルタイムのゼミナール形式でおこないます。

セミナーの様子は、後日、YouTubeで配信します。

講演ビデオ 「畳込み符号」

講演資料 「畳込み符号」 （ダウンロード）

The post 誤り訂正符号の初歩 — 古典と量子 (5) first appeared on MaruLabo.

• 講座の全体構成はこちらを参照ください.

本講座の概要

オブジェクト指向の協調モデルをコラボレーション、インタラクション、ユースケースを中心に説明します。

講演動画

動画は以下のキャプチャで参照することができます。

• 00:00 開始
• 11:32 協調/コラボレーション (Collaboration)
• 19:08 相互作用/インタラクション (Interaction)
• 24:09 ユースケース(Use Case)
• 46:02 モデリングの流れ
• 50:04 まとめ

キャプチャごとに参照したい場合は以下のページを参照してください。

• https://www.youtube.com/watch?v=eISpHlkgLZY

講演資料：協調モデル

MaruLaboの浅海ゼミでの講座のスライドです。 https://www.marulabo.net/docs/asami07/ オブジェクト指向分析設計の協調モデルについて、コラボレーション、インタ…

Slideshare

The post クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (7) 協調モデル first appeared on MaruLabo.

講座の全体構成はこちらを参照ください.

本講座の概要

オブジェクト指向の動的モデルを状態機械、アクティビティを中心に説明します。
また協調モデル、関数モデルとの関係についても整理します。

講演動画

第一部

第二部

講演資料 「動的モデル 」（ダウンロード）

The post クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (6) first appeared on MaruLabo.

講演資料　「VsCoqのセットアップ」 (ダウンロード)

講演ビデオ

これまでの「Coq スタートアップセミナー 」

• 第一回「Coq環境の紹介」
• 第二回「CoqIDEのセットアップ」
• 第三回 「jsCoqのセットアップ」
• 第四回 「VsCoqのセットアップ」

The post Coq スタートアップセミナー (4) first appeared on MaruLabo.

以前にテーマを「巡回符号」とお伝えしていましたが、「Reed-Solomon 符号」に訂正しています。

11月27日 21時 開催　 Zoom URL

講演ビデオ「Reed-Solomon 符号」

講演資料「Reed-Solomon 符号」Viewer 　(資料ダウンロード)

小又ゼミ 「誤り訂正符号の初歩—古典と量子 」シリーズの概要

The post 誤り訂正符号の初歩 — 古典と量子 (4) first appeared on MaruLabo.

2021/11/18 基本編 第五回 「静的モデル (2)」

講座の全体構成はこちらを参照ください.

本講座の内容

静的モデルの後半はオブジェクト指向分析設計で重要なモデル要素であるコンポーネントと制約について説明します。また静的モデルを記述するダイアグラムの整理を行います。

講演ビデオ

静的モデル (2)　第一部

静的モデル(2)　第二部　制約とダイアグラム

講演資料 「静的モデル (2)」Viewer

資料ダウンロード

The post クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (5) first appeared on MaruLabo.