クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (8) 関数モデル
2022/2/20 基本編 第八回 「関数モデル」 講座の全体構成はこちらを参照ください. 本講座の概要 従来オブジェクト指向分析設計における関数は従属的な位置付けでしたが、関数型プログラミング言語の技術革 […]
String Diagram を学ぶ — カテゴリー論入門 (1)
2022/02/26 マルゼミ「String Diagram を学ぶ — カテゴリー論入門 (1)」概要 2月のマルゼミでは、String Diagramについて学びます。具体的には、Bob Coeckeの […]
誤り訂正符号の初歩 — 古典と量子 (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 「Facebo […]
分散合意アルゴリズム (1) — Paxos
2022/01/29 マルレク「分散合意アルゴリズム (1) — Paxos」概要 今回のマルレクのテーマは、代表的な「分散合意アルゴリズム」であるPaxosの紹介です。申し込み：https://paxos. […]
クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (6)
2021/12/16 基本編 第六回 「動的モデル」 講座の全体構成はこちらを参照ください. 本講座の概要 オブジェクト指向の動的モデルを状態機械、アクティビティを中心に説明します。また協調モデル、関数モデルとの関係につ […]
「プログラム と論理」関連ページ
論理学と数学的証明 数理哲学への招待 数学を無味乾燥なつまらない学問だと思っている人は、少なくないと思います。大学受験の世界では、数学は、決して人気の科目ではありません。また、「数学なんて、生きていくのに役に立つの？」と […]
たとえ話で理解する量子の世界 (new)
初めて量子論を学ぶ人に知ってもらいたいこと 「量子の世界」は、我々が日常生活を送っている世界（これを「巨視的世界」と呼ぶことがあります）と比べるとはるかにはるかに小さい極微の世界です。にもかかわらず、「量子の世界」は、我 […]
Coq スタートアップセミナー (4)
2021/11/30 第四回 「VsCoqのセットアップ」 講演資料 「VsCoqのセットアップ」 (ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」