新着・更新情報

2022年10月1日: NEW! エントロピー論とカテゴリー論

2022年9月29日: NEW! ラティス暗号入門

2022年9月26日: NEW! クラウドアプリケーションのためのオブジェクト指向分析設計講座 (15) — 分析

2022年9月15日: 量子論と量子コンピュータ関連ページ

2022年9月10日: 最近のマルレク＋MaruLaboの活動

2022年9月10日: Home

2022年8月28日: エントロピー論の現在

2022年8月26日: 暗号技術の現在

2022年8月20日: クラウドアプリケーションのためのオブジェクト指向分析設計講座 (14) — 要求/シナリオ

2022年8月14日: 「プログラムと論理」関連ページ

2022年8月7日: 暗号技術の現在 -- ポスト量子暗号への移行と量子暗号

2022年8月5日: 情報とエントロピー

2022年8月5日: 並列・分散アルゴリズムの基礎

2022年7月29日: About Us

2022年7月29日: 各種登録

2022年7月27日: クラウドアプリケーションのためのオブジェクト指向分析設計講座 (13) — 要求/ユースケース

2022年7月9日: 「エントロピー」関連ページ

2022年6月27日: コンピュータ、数学の問題を解き始める

2022年6月25日: クラウドアプリケーションのためのオブジェクト指向分析設計講座 (12) — 要求

2022年5月29日: String Diagram を学ぶ -- カテゴリー論入門 (1)

2022年5月21日: クラウドアプリケーションのためのオブジェクト指向分析設計講座 (11) — ビジネス・モデリング

2022年5月9日: 情報とエントロピー入門

2022年4月28日: 分散合意アルゴリズム (1) -- Paxos

2022年4月27日: クラウドアプリケーションのためのオブジェクト指向分析設計講座 (10) — 作業分野

2022年4月27日: 量子情報と通信技術 -- 「量子インターネット」という未来

2022年3月31日: セミナー一覧

2022年3月20日: クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (9) 物理モデル

2022年3月17日: 「同じ」を考える -- Univalence Axiom 入門

2022年3月6日: 誤り訂正符号の初歩 — 古典と量子 (6)

2022年3月2日: クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (8) 関数モデル