クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (9) 物理モデル
2022/3/17 基本編 第九回 「物理モデル」 ・講座の全体構成はこちらを参照ください. 本講座の概要 オブジェクト指向モデルの物理的な側面をコンポーネントを中心に説明します。 講演動画 講演資料：物理モデル 物 […]
コンピュータ、数学の問題を解き始める
2022/03/26 マルレク 概要 3/26 マルレク「コンピュータ、数学の問題を解き始める」へのお誘い Open-AI Theorem Prover この2月に、 Open-AI はとても興味深い発表を行いました。彼 […]
「同じ」を考える -- Univalence Axiom 入門
2022/03/01 マルゼミ「「同じ」を考える -- Univalence Axiom 入門」 小論は、2019 年1月29日のセミナー「「同じ」を考える -- 「型の理論」入門」をベースにして、Homotopy Ty […]
誤り訂正符号の初歩 — 古典と量子 (6)
2022/03/05 小又ゼミ 第六回 「量子誤り訂正符号」 次のような構成になります。 3月5日 21時 開催 Zoom URL 上記のZoom URL から、どなたでも参加できます。リアルタイムのゼミナール形式でお […]
クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (8) 関数モデル
2022/2/20 基本編 第八回 「関数モデル」 講座の全体構成はこちらを参照ください. 本講座の概要 従来オブジェクト指向分析設計における関数は従属的な位置付けでしたが、関数型プログラミング言語の技術革 […]
String Diagram を学ぶ -- カテゴリー論入門 (1)
2022/02/26 マルゼミ「String Diagram を学ぶ -- カテゴリー論入門 (1)」概要 2月のマルゼミでは、String Diagramについて学びます。具体的には、Bob Coeckeの “Pict […]
誤り訂正符号の初歩 — 古典と量子 (5)
2022/01/22 小又ゼミ 第五回 「畳込み符号」 次のような構成です。 畳込み符号とは 応用 簡単な例 畳込み符号の定義 復号法 畳込み符号の復号 1月22日 21時 開催 Zoom URL 上記のZo […]
クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (7) 協調モデル
2022/1/20 基本編 第七回 「協調モデル」 講座の全体構成はこちらを参照ください. 本講座の概要 オブジェクト指向の協調モデルをコラボレーション、インタラクション、ユースケースを中心に説明します。 講演動画 動画 […]
Cloud研究会（2012年度）
開催セミナー 2012/02/02 「クラウド上のサービス開発の新しい動向 -- Play2.0 とJavaEE7」 2012/03/07 「Facebook のシステム」 2012/05/08 「Facebook のリ […]
分散合意アルゴリズム (1) -- Paxos
2022/01/29 マルレク「分散合意アルゴリズム (1) -- Paxos」概要 今回のマルレクのテーマは、代表的な「分散合意アルゴリズム」であるPaxosの紹介です。申し込み：https://paxos.peati […]