セミナー情報 on MyWebSite

セミナー名

公開日

講演資料URL

embeddingの共有・蓄積・検索の未来新着!!

2026年2月21日

https://www.marulabo.net/docs/infomationshare/

“Next token prediction” 描像を超えて新着!!

2026年2月21日

https://www.marulabo.net/docs/overntp/

機械と人間が意味を共有する embeddingの世界を考える

2026年2月8日

https://www.marulabo.net/docs/embedding2/

Deep Dive Audio 20260131

2026年1月20日

https://www.marulabo.net/docs/deep-dive-audio-20260131/

機械の言語能力の獲得を考える

2026年1月17日

https://www.marulabo.net/docs/competence/

Deep Dive Audio 20260106

2026年1月6日

https://www.marulabo.net/docs/deep-dive-audio-20160106/

LLMのマグニチュード論 1 −− LLMの確率計算とenrichedカテゴリー論

2025年12月19日

https://www.marulabo.net/docs/llm%e3%81%ae%e3%83%9e%e3%82%b0%e3%83%8b%e3%83%81%e3%83%a5%e3%83%bc%e3%83%89%e8%ab%96-1-%e2%88%92%e2%88%92-llm%e3%81%ae%e7%a2%ba%e7%8e%87%e8%a8%88%e7%ae%97%e3%81%a8enriched%e3%82%ab%e3%83%86%e3%82%b4-2/

LLMのマグニチュード論 1 −− LLMの確率計算とenrichedカテゴリー論

2025年12月11日

https://www.marulabo.net/docs/llm%e3%81%ae%e3%83%9e%e3%82%b0%e3%83%8b%e3%83%81%e3%83%a5%e3%83%bc%e3%83%89%e8%ab%96-1-%e2%88%92%e2%88%92-llm%e3%81%ae%e7%a2%ba%e7%8e%87%e8%a8%88%e7%ae%97%e3%81%a8enriched%e3%82%ab%e3%83%86%e3%82%b4/

Deep Dive Audio 20251206

2025年12月4日

https://www.marulabo.net/docs/dda-20251206/

Deep Dive Audio 20250926

2025年12月1日

https://www.marulabo.net/docs/dda20250926/

Deep Dive Audio 20251025

2025年10月24日

https://www.marulabo.net/docs/deep-dive-audio-20251025/

LLMのマグニチュード論 1 −− LLMの確率計算とenrichedカテゴリー論

2025年10月21日

https://www.marulabo.net/docs/llm1bradley2/

マグニチュード論の展開 −− LLMの新しい理論研究(1)

2025年10月3日

https://www.marulabo.net/docs/llm1bradley/

Deep Dive Audio 20250705

2025年9月29日

https://www.marulabo.net/docs/dda20250705/

Deep Dive Audio 20250531

2025年8月22日

https://www.marulabo.net/docs/dda-20250531/

マグニチュードとは何か

2025年8月20日

https://www.marulabo.net/docs/magnitude/

Deep Dive Audio 20250816

2025年8月5日

https://www.marulabo.net/docs/dda20250816/

LLMと意味の理論モデル概説

2025年7月31日

https://www.marulabo.net/docs/llm0/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 全動画再生リスト

2025年7月21日

https://www.marulabo.net/docs/asamivideo/

コラム 「モジュラー・フォームのたどった道」

2025年7月14日

https://www.marulabo.net/docs/column_modularform/

E.Wittenの「ブラックホール熱力学入門」翻訳ページ

2025年7月9日

https://www.marulabo.net/docs/witten_blackhole/

ケーススタディ/テスト【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第47回】

2025年6月8日

https://www.marulabo.net/docs/asami47/

AI とマインクラフトの世界

2025年6月4日

https://www.marulabo.net/docs/dreamerv3/

Deep Dive Audio

2025年5月24日

https://www.marulabo.net/docs/deep-dive-audio/

ソフトウェア開発サイクルの変革とAI Agent の動向

2025年5月10日

https://www.marulabo.net/docs/sdlc/

ケーススタディ/実装【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第46回】

2025年4月21日

https://www.marulabo.net/docs/asami46/

ケーススタディ/設計モデル【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第45回】

2025年3月31日

https://www.marulabo.net/docs/asami45/

Surface code と Stabilizer 2

2025年3月6日

https://www.marulabo.net/docs/surface-code2/

コラム「現在・過去・未来」

2025年3月5日

https://www.marulabo.net/docs/column/

ケーススタディ/分析モデル【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第44回】

2025年2月26日

https://www.marulabo.net/docs/asami44/

marulaゼミ「AIエージェント講座」

2025年2月15日

https://www.marulabo.net/docs/aiagent/

Surface code と Stabilizer

2025年2月4日

https://www.marulabo.net/docs/surface-code/

ケーススタディ/要求モデル/BDD【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第43回】

2025年2月3日

https://www.marulabo.net/docs/asami43/

量子エラー訂正技術の動向

2025年1月8日

https://www.marulabo.net/docs/qec/

ケーススタディ/要求モデル【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第4２回】

2024年12月22日

https://www.marulabo.net/docs/asami42/

ケーススタディ/ビジネス・モデル【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第41回】

2024年11月24日

https://www.marulabo.net/docs/asami41/

ラングランズ・プログラムとは何か？

2024年11月7日

https://www.marulabo.net/docs/letter2weil/

ケーススタディ【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第40回】

2024年10月27日

https://www.marulabo.net/docs/asami40/

カテゴリー論基礎 2 — Adjoint

2024年10月8日

https://www.marulabo.net/docs/categorytheory2/

Cloud Native Component Framework【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第39回】

2024年9月30日

https://www.marulabo.net/docs/asami39/

計算複雑性理論入門

2024年9月8日

https://www.marulabo.net/docs/computer-math2/

プレゼンテーション・サブシステム 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第3８回】

2024年8月30日

https://www.marulabo.net/docs/asami38/

コンピュータと数学

2024年8月12日

https://www.marulabo.net/docs/computer-math/

アプリケーション・サブシステム 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第37回】

2024年7月29日

https://www.marulabo.net/docs/asami37/

コンピュータ上のグラフ理論の進化 — AIとグラフ2

2024年7月6日

https://www.marulabo.net/docs/ai-graph2/

ドメイン・サブシステム 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第36回】

2024年6月29日

https://www.marulabo.net/docs/asami36/

AIとグラフ

2024年6月7日

https://www.marulabo.net/docs/ai-graph/

Cloud Native CBC 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第35回】

2024年5月26日

https://www.marulabo.net/docs/asami35/

カテゴリー論基礎

2024年5月9日

https://www.marulabo.net/docs/category-theory/

アプリケーション・アーキテクチャ 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第34回】

2024年4月22日

https://www.marulabo.net/docs/asami34/

ニューラル・ネットワークの数理 −− Tropical代数入門

2024年4月4日

https://www.marulabo.net/docs/tropical/

テスト 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第33回】

2024年3月20日

https://www.marulabo.net/docs/asami33/

マトリョーシカとトロピカル

2024年3月8日

https://www.marulabo.net/docs/matryoshka/

実装(3) 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第32回】

2024年2月24日

https://www.marulabo.net/docs/asami32/

言語の意味の数学的構造

2024年2月3日

https://www.marulabo.net/docs/embedding-dnn/

実装(2) 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第31回】

2024年1月21日

https://www.marulabo.net/docs/asami31/

ChatGPTとOpenAIはどう変わろうとしているのか？

2024年1月14日

https://www.marulabo.net/docs/chatgpt-openai/

実装(1) 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第30回】

2024年1月8日

https://www.marulabo.net/docs/asami30/

大規模言語モデルの数学的構造 II

2024年1月8日

https://www.marulabo.net/docs/llm-math2/

Helen Tonerらの「民主的AI」論

2023年12月2日

https://www.marulabo.net/docs/helen-toner/

設計/原理 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第29回】

2023年11月29日

https://www.marulabo.net/docs/asami29/

ChatGPTはどう変わろうとしているのか？

2023年11月15日

https://www.marulabo.net/docs/kadokawa1124/

大規模言語モデルの数学的構造 I

2023年11月8日

https://www.marulabo.net/docs/llm-math/

設計/原理 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第28回】

2023年10月28日

https://www.marulabo.net/docs/asami28/

AIの利用とインターフェースを考える

2023年10月10日

https://www.marulabo.net/docs/personalai/

設計/ドメイン設計(5) 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第27回】

2023年9月19日

https://www.marulabo.net/docs/asami27/

大規模言語モデルの展開 — マルチモーダルへ

2023年9月9日

https://www.marulabo.net/docs/multimodal/

設計/ドメイン設計(4) 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第26回】

2023年8月20日

https://www.marulabo.net/docs/asami26/

ニューラル・ネットワークの基礎

2023年8月14日

https://www.marulabo.net/docs/neural-network/

MaruLabo セミナー リスト2023年

2023年8月10日

https://www.marulabo.net/docs/ml-2023/

MaruLabo セミナー リスト2020年

2023年8月8日

https://www.marulabo.net/docs/ml-2020/

MaruLabo セミナー リスト2021年

2023年8月8日

https://www.marulabo.net/docs/ml-2021/

MaruLabo セミナー リスト2022年

2023年8月8日

https://www.marulabo.net/docs/ml-2022/

ChatGPTと大規模言語モデル関連ページ

2023年8月5日

https://www.marulabo.net/docs/chatgpt-llm/

設計/ドメイン設計(3) 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第25回】

2023年7月23日

https://www.marulabo.net/docs/asami25/

創発について考える

2023年7月10日

https://www.marulabo.net/docs/emergence/

設計/ドメイン設計(2) 【クラウドアプリケーションのためのオブジェクト指向分析設計講座 第24回】

2023年7月1日

https://www.marulabo.net/docs/asami24/

はじめてのCoq

2023年6月11日

https://www.marulabo.net/docs/hellocoq1/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 (23) — 設計/ドメイン設計(1)

2023年6月5日

https://www.marulabo.net/docs/asami23/

GPT-4 との対話 — プロンプトで遊ぶ —

2023年6月2日

https://www.marulabo.net/docs/prompt/

GPT-4 System Card を読む

2023年5月16日

https://www.marulabo.net/docs/gpt-4-system-card/

Coq スタートアップセミナー (5)

2023年5月14日

https://www.marulabo.net/docs/coq-startup5/

GPT-4 Technical Report を読む

2023年5月4日

https://www.marulabo.net/docs/gpt-4-technical-report/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 (22) — 設計/コンポーネント設計(3)

2023年4月15日

https://www.marulabo.net/docs/asami22/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 (21) — 設計/コンポーネント設計(2)

2023年4月8日

https://www.marulabo.net/docs/asami21/

ことばと意味の数学的構造

2023年4月3日

https://www.marulabo.net/docs/math-structure/

AIは意味をどのように扱っているのか？ — ChatGPT の不思議

2023年3月1日

https://www.marulabo.net/docs/ai-meaning/

密度行列 ρ で理解する確率の世界

2023年2月22日

https://www.marulabo.net/docs/%e5%af%86%e5%ba%a6%e8%a1%8c%e5%88%97-%cf%81-%e3%81%a7%e7%90%86%e8%a7%a3%e3%81%99%e3%82%8b%e7%a2%ba%e7%8e%87%e3%81%ae%e4%b8%96%e7%95%8c/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 (20) — 設計/コンポーネント設計(1)

2023年2月20日

https://www.marulabo.net/docs/asami20/

Tensor Network入門

2023年2月17日

https://www.marulabo.net/docs/tensor-network/

数理哲学論文

2023年2月15日

https://www.marulabo.net/docs/math-philo/

人工知能と数学

2023年2月9日

https://www.marulabo.net/docs/aimath/

密度行列 ρ で理解する確率の世界 −− 意味の分散表現の数理

2023年2月8日

https://www.marulabo.net/docs/density2/

なぜ？で考える ChatGPT の不思議

2023年2月2日

https://www.marulabo.net/docs/%e3%81%aa%e3%81%9c%ef%bc%9f%e3%81%a7%e8%80%83%e3%81%88%e3%82%8b-chatgpt-%e3%81%ae%e4%b8%8d%e6%80%9d%e8%ad%b0/

AIは意味をどのように扱っているのか？ — ChatGPT の不思議

2023年1月26日

https://www.marulabo.net/docs/ai%e3%81%af%e6%84%8f%e5%91%b3%e3%82%92%e3%81%a9%e3%81%ae%e3%82%88%e3%81%86%e3%81%ab%e6%89%b1%e3%81%a3%e3%81%a6%e3%81%84%e3%82%8b%e3%81%ae%e3%81%8b%ef%bc%9f-chatgpt-%e3%81%ae%e4%b8%8d%e6%80%9d/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 (19) — 設計/アーキテクチャ設計

2023年1月23日

https://www.marulabo.net/docs/asami19/

今月アクセスの多いページ

2023年1月19日

https://www.marulabo.net/docs/popular/

AIは意味をどのように扱っているのか？ — ChatGPT の不思議

2023年1月16日

https://www.marulabo.net/docs/meaning/

なぜ？で考える ChatGPT の不思議

2022年12月26日

https://www.marulabo.net/docs/chatgpt/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 (18) — 設計

2022年12月26日

https://www.marulabo.net/docs/asami18/

マルレク・コンテンツ一覧（2022年以前）

2022年12月24日

https://www.marulabo.net/docs/contents/

ことばと意味の「構成性」について

2022年12月2日

https://www.marulabo.net/docs/discocat/

Coq スタートアップセミナー

2022年11月25日

https://www.marulabo.net/docs/hirahara/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 (17) — 分析/イベント駆動

2022年11月25日

https://www.marulabo.net/docs/asami17/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 (16) — 分析/コンポーネント分析

2022年11月12日

https://www.marulabo.net/docs/asami16/

量子計算の古典的検証

2022年11月3日

https://www.marulabo.net/docs/cvqc/

エンタングルする自然 ver 2.0

2022年10月11日

https://www.marulabo.net/docs/science-entanglement2/

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

2022年9月26日

https://www.marulabo.net/docs/asami15/

ラティス暗号入門

2022年8月27日

https://www.marulabo.net/docs/cipher3/

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

2022年8月20日

https://www.marulabo.net/docs/asami14/

暗号技術の現在

2022年8月7日

https://www.marulabo.net/docs/cipher2/

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

2022年7月27日

https://www.marulabo.net/docs/asami13/

並列・分散アルゴリズムの基礎

2022年7月4日

https://www.marulabo.net/docs/concurrent/

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

2022年6月25日

https://www.marulabo.net/docs/asami12/

エントロピー論とカテゴリー論

2022年5月31日

https://www.marulabo.net/docs/info-entropy5-addendum/

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

2022年5月21日

https://www.marulabo.net/docs/asami11/

エントロピー論の現在

2022年5月11日

https://www.marulabo.net/docs/info-entropy5/

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

2022年4月27日

https://www.marulabo.net/docs/asami10/

量子情報と通信技術 — 「量子インターネット」という未来

2022年3月30日

https://www.marulabo.net/docs/q-net/

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

2022年3月20日

https://www.marulabo.net/docs/asami09/

コンピュータ、数学の問題を解き始める

2022年3月2日

https://www.marulabo.net/docs/math-proof/

「同じ」を考える — Univalence Axiom 入門

2022年2月25日

https://www.marulabo.net/docs/univalence-axiom/

誤り訂正符号の初歩 — 古典と量子 (6)

2022年2月24日

https://www.marulabo.net/docs/komata06/

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

2022年2月20日

https://www.marulabo.net/docs/asami08/

String Diagram を学ぶ — カテゴリー論入門 (1)

2022年2月3日

https://www.marulabo.net/docs/category01/

誤り訂正符号の初歩 — 古典と量子 (5)

2022年1月21日

https://www.marulabo.net/docs/komata05/

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

2022年1月20日

https://www.marulabo.net/docs/asami07/

Cloud研究会（2012年度）

2022年1月17日

https://www.marulabo.net/docs/cloud2/

分散合意アルゴリズム (1) — Paxos

2022年1月12日

https://www.marulabo.net/docs/paxos/

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

2021年12月16日

https://www.marulabo.net/docs/asami06/

「プログラム と論理」関連ページ

2021年12月16日

https://www.marulabo.net/docs/program-logic/

たとえ話で理解する量子の世界 (new)

2021年12月4日

https://www.marulabo.net/docs/quantum-talk-new/

Coq スタートアップセミナー (4)

2021年11月30日

https://www.marulabo.net/docs/coq-startup4/

YouTubeで学ぶ量子論の基礎

2021年11月29日

https://www.marulabo.net/docs/q-youtube/

誤り訂正符号の初歩 — 古典と量子 (4)

2021年11月25日

https://www.marulabo.net/docs/komata04/

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

2021年11月18日

https://www.marulabo.net/docs/asami05/

型の理論入門 （ 論理学入門 III ）

2021年11月4日

https://www.marulabo.net/docs/type-theory-talkie/

認識について考える 2 — 認識の認識

2021年11月1日

https://www.marulabo.net/docs/philosophy02/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (4)

2021年10月23日

https://www.marulabo.net/docs/asami04/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (3)

2021年10月22日

https://www.marulabo.net/docs/asami03/

誤り訂正符号の初歩—古典と量子 (3)

2021年10月21日

https://www.marulabo.net/docs/komata03/

認識について考える

2021年10月4日

https://www.marulabo.net/docs/philosophy01/

Coq スタートアップセミナー (3)

2021年9月28日

https://www.marulabo.net/docs/coq-startup3/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (2)

2021年9月15日

https://www.marulabo.net/docs/asami2/

誤り訂正符号の初歩—古典と量子 (2)

2021年9月13日

https://www.marulabo.net/docs/komata02/

計算科学とエントロピー

2021年9月6日

https://www.marulabo.net/docs/info-entropy4/

量子、情報、物理 — 量子情報と物理学入門 (5)

2021年8月18日

https://www.marulabo.net/docs/katagiri5/

量子情報とエントロピー

2021年8月14日

https://www.marulabo.net/docs/info-entropy3/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 — 基本編 (1)

2021年8月13日

https://www.marulabo.net/docs/asami01/

誤り訂正符号の初歩—古典と量子 (1)

2021年8月12日

https://www.marulabo.net/docs/komata01/

密度行列 ρ で理解する量子の世界

2021年7月18日

https://www.marulabo.net/docs/rho-talk/

量子、情報、物理 — 量子情報と物理学入門 (4)

2021年7月15日

https://www.marulabo.net/docs/katagiri4/

クラウドアプリケーションのためのオブジェクト指向分析設計講座 概要

2021年7月13日

https://www.marulabo.net/docs/asami/

ペンローズの宇宙論

2021年7月1日

https://www.marulabo.net/docs/science-entropy/

Coq スタートアップセミナー (2)

2021年7月1日

https://www.marulabo.net/docs/coq-startup2/

誤り訂正符号の初歩―古典と量子

2021年6月30日

https://www.marulabo.net/docs/komata/

Coq スタートアップセミナー (1)

2021年6月27日

https://www.marulabo.net/docs/coq-startup/

Facebookのシステム

2021年6月14日

https://www.marulabo.net/docs/facebook/

HoTT入門 — 数理科学とカテゴリー論

2021年6月7日

https://www.marulabo.net/docs/hott-topics/

量子、情報、物理 — 量子情報と物理学入門 (3)

2021年6月3日

https://www.marulabo.net/docs/katagiri3/

情報とエントロピー

2021年5月27日

https://www.marulabo.net/docs/info-entropy2/

量子、情報、物理 — 量子情報と物理学入門 (2)

2021年5月15日

https://www.marulabo.net/docs/katagiri2/

情報とエントロピー入門

2021年4月16日

https://www.marulabo.net/docs/info-entropy/

量子、情報、物理 — 量子情報と物理学入門(1)

2021年4月14日

https://www.marulabo.net/docs/katagiri1/

量子、情報、物理 — 量子情報と物理学入門 概要

2021年4月14日

https://www.marulabo.net/docs/mmm-katagiri/

エンタングルする認識

2021年3月30日

https://www.marulabo.net/docs/philosopy/

エンタングルする自然 —「逆理」から「原理」へ ver.1.0

2021年3月5日

https://www.marulabo.net/docs/science-entanglement/

チューリングマシンの拡大と複雑性

2021年2月1日

https://www.marulabo.net/docs/turing-complex/

Interactive Proofと複雑性

2021年1月15日

https://www.marulabo.net/docs/ip-complexity/

チューリングマシンを学ぼう！

2021年1月8日

https://www.marulabo.net/docs/turingmachine/

MIP*=RE 入門– Interactive Proofとnonlocal ゲーム —

2020年12月24日

https://www.marulabo.net/docs/mipstar/

確率と証明

2020年12月3日

https://www.marulabo.net/docs/pcp/

コンピュータ・サイエンスの現在 — MIP*=RE定理とは何か？–

2020年11月13日

https://www.marulabo.net/docs/cs-mipstar/

CHSHゲーム入門 — nonlocal game とInteractive Proof

2020年11月11日

https://www.marulabo.net/docs/nonlocal-game/

機械と人間のインタラクション

2020年10月29日

https://www.marulabo.net/docs/interactiveproof/

量子コンピュータ入門

2020年10月15日

https://www.marulabo.net/docs/quantum-ai/

人工知能と計算科学 — 計算複雑性入門

2020年9月14日

https://www.marulabo.net/docs/aicomp/

数学的認識について / 数学の基礎と計算科学

2020年8月28日

https://www.marulabo.net/docs/math-foundations/

MIP*=RE References

2020年8月18日

https://www.marulabo.net/docs/mip-re/

量子テレポーテーション入門 — 量子ゲートで学ぶエンタングルメント

2020年8月12日

https://www.marulabo.net/docs/teleportation-2/

19/08/01 丸山 x 山賀 対談 「科学と虚構の未来を語る」

2020年7月27日

https://www.marulabo.net/docs/maruxyama190801/

エンタングルメントで理解する量子の世界

2020年7月22日

https://www.marulabo.net/docs/entangle-talk/

2のn乗の話（Turingマシンについて）

2020年6月28日

https://www.marulabo.net/docs/powerof2/

ケット |k> で理解する量子の世界

2020年6月19日

https://www.marulabo.net/docs/ket-talk/

たとえ話で理解する量子の世界

2020年5月13日

https://www.marulabo.net/docs/q-talk/

AWSでの形式手法の利用

2020年4月16日

https://www.marulabo.net/docs/aws-formal/

論理学入門 II — ラムダ計算と関数型言語

2020年3月14日

https://www.marulabo.net/docs/logic2/

量子コンピュータの現在 — 量子優越性のマイルストーンの達成 —

2020年2月16日

https://www.marulabo.net/docs/q-supremacy/

論理学入門 I — 命題論理の演繹ルール

2020年1月21日

https://www.marulabo.net/docs/logic1/

IT技術とCoqの世界 –証明 = プログラム = 計算の意味を考える

2019年11月27日

https://www.marulabo.net/docs/coq4dev/

はじめてのCoq (サイレント version )

2019年11月7日

https://www.marulabo.net/docs/coq/

プログラムと論理

2019年10月9日

https://www.marulabo.net/docs/programlogic/

ソフトウェア・エンジニアリングの新しい潮流 — Deep Specificationの世界

2019年9月22日

https://www.marulabo.net/docs/deep-spec/

型の理論入門 (サイレント版)

2019年9月2日

https://www.marulabo.net/docs/type-theory-2/

Yet Another AI — RPAは「推論エンジン」の夢を見るか

2019年7月28日

https://www.marulabo.net/docs/yet-another-ai/

初めてディープラーニングを学ぶ人のための数学入門 — ニューラルネットで行列を理解する

2019年7月8日

https://www.marulabo.net/docs/deepmatrix/

Shorのアルゴリズム入門

2019年6月20日

https://www.marulabo.net/docs/shor/

6/21 マルレク・サブゼミ「Shorのアルゴリズム入門」のための予習用資料

2019年6月12日

https://www.marulabo.net/docs/miniguide/

暗号技術の現在 — ポスト量子暗号への移行と量子暗号

2019年6月3日

https://www.marulabo.net/docs/cipher/

紙と鉛筆で学ぶ量子コンピュータ入門演習

2019年4月29日

https://www.marulabo.net/docs/q-seminar2019/

エンタングルメントと量子テレポーテーションを学ぶ

2019年4月12日

https://www.marulabo.net/docs/teleportation/

量子コンピュータをやさしく理解する三つの方法

2019年3月25日

https://www.marulabo.net/docs/easyq/

「同じ」を考える — 「型の理論」入門

2019年1月29日

https://www.marulabo.net/docs/type-theory/

人工知能と意味の形式的理論

2019年1月8日

https://www.marulabo.net/docs/semantics/

2018年講演総集編　人工知能技術の課題と展望

2019年1月1日

https://www.marulabo.net/docs/vision2018/

人工知能と哲学

2018年12月14日

https://www.marulabo.net/docs/philosophy/

人工知能と量子コンピュータ

2018年11月19日

https://www.marulabo.net/docs/20181119-kadokawa/

量子アルゴリズム入門 — 量子フーリエ変換を学ぶ

2018年11月2日

https://www.marulabo.net/docs/20181102-marulec04/

人工知能と自然言語

2018年10月26日

https://www.marulabo.net/docs/20181026-kadokawa/

計算理論入門 — 「やさしい計算」と「むずかしい計算」

2018年10月15日

https://www.marulabo.net/docs/20181015-math/

人工知能と複雑性理論

2018年9月27日

https://www.marulabo.net/docs/20180927-kadokawa/

紙と鉛筆で学ぶ「量子コンピュータの基礎」

2018年9月15日

https://www.marulabo.net/docs/20180915-quantum-basic/

自然言語とコンピュータ

2018年8月27日

https://www.marulabo.net/docs/20180827-marulec03/

数とは何か？

2018年7月3日

https://www.marulabo.net/docs/20180703-math/

楽しい数学 — 好奇心から広がる数理の世界

2018年6月30日

https://www.marulabo.net/docs/20180630-kadokawa/

量子コンピューティングの現状と課題

2018年6月22日

https://www.marulabo.net/docs/20180622-marulec/

ディープ・ラーニング 6時間集中講義

2018年6月16日

https://www.marulabo.net/docs/20180616-kadokawa/

集合論入門

2018年5月29日

https://www.marulabo.net/docs/20180529-marulabo-math/

ポスト・ディープラーニングの人工知能技術を展望する

2018年5月22日

https://www.marulabo.net/docs/20180522-marulec/

ディープラーニング：クラウド＋エッジ ハンズオン

2018年5月12日

https://www.marulabo.net/docs/20180512-marulabo-aws-ascii/

数理哲学への招待

2018年4月26日

https://www.marulabo.net/docs/20180426-math-marulabo/

Amazon SageMakerクラウド・ハンズオン

2018年2月24日

https://www.marulabo.net/docs/20180224-marulabo-aws-ascii/

ポスト・ディープラーニングの人工知能技術を展望する

2018年1月31日

https://www.marulabo.net/docs/20180131-kadokawa/

紙と鉛筆で学ぶ量子情報理論基礎演習

2018年1月24日

https://www.marulabo.net/docs/20180124-misletoe/

ボイス・アシスタントから見るAIの未来

2018年1月15日

https://www.marulabo.net/docs/20180115-marulec/

紙と鉛筆で学ぶ量子情報理論基礎演習

2017年12月9日

https://www.marulabo.net/docs/20171209-kadokawa/

量子コンピュータとは何か？

2017年11月30日

https://www.marulabo.net/docs/20171130-marulec04/

ボイスアシスタント・システム — 人間と機械のインターフェースの変化に備えよう

2017年11月14日

https://www.marulabo.net/docs/20171114-kadokawa/

エントロピーと情報理論 — 量子情報理論入門

2017年9月28日

https://www.marulabo.net/docs/20170928-marulec03/

人工知能の歴史を振り返る

2017年7月31日

https://www.marulabo.net/docs/20170731-marulec02/

ニューラル・コンピュータとは何か？

2017年5月28日

https://www.marulabo.net/docs/20170528-marulec01/

Googleニューラル機械翻訳

2017年3月27日

https://www.marulabo.net/docs/20170327-marulec03/

RNN と LSTMの基礎 — Sequence to Sequence —

2017年2月22日

https://www.marulabo.net/docs/20170222-marulec05/

DNNとRNN — ニューラルネットワークの二つの基本的なモデルについて

2016年12月20日

https://www.marulabo.net/docs/20161220-deeplearning-handson-google/

ネットワークとハードウェアの技術動向

2016年11月30日

https://www.marulabo.net/docs/20161130-marulec04/

モバイルとクラウドの向かう未来

2016年11月19日

https://www.marulabo.net/docs/20161119-abc2016-autumn/

パーソナル・アシスタント・システムと人工知能

2016年9月27日

https://www.marulabo.net/docs/20160927-marulec03/

自然言語と人工知能

2016年7月22日

https://www.marulabo.net/docs/20160722-marulec02/

Convolutional Neural Network入門

2016年5月13日

https://www.marulabo.net/docs/20160513-marulec01/

パーソナル・アシスタント・システムの現在　– Google Now, Cortana, Alexa, Dialog —

2016年4月23日

https://www.marulabo.net/docs/20160423-doc2/

IBM Watsonは、何をしていたのか？

2016年4月23日

https://www.marulabo.net/docs/20160423-doc/

ニューラル・ネットと技術革新の展望 — TENSORFLOWとCNTK

2016年4月4日

https://www.marulabo.net/docs/20160404-cloud03/

ニューラル・ネットと技術革新の展望 + PROJECT ARAへの期待

2016年3月12日

https://www.marulabo.net/docs/20160322-marulec06/

ニューラル・ネットワーク＋TENSORFLOW 入門講座

2016年2月2日

https://www.marulabo.net/docs/20160202-marulec05/

機械学習技術の現在 ２

2015年12月22日

https://www.marulabo.net/docs/20151222-marulec04/

クラウドとコンテナー技術

2015年12月8日

https://www.marulabo.net/docs/20151208-cloud02/

クラウドOSとマイクロサービス

2015年12月8日

https://www.marulabo.net/docs/20151208-cloud01/

機械学習技術の現在

2015年9月29日

https://www.marulabo.net/docs/20150929-marulec03/

大規模分散システムの現在 — Twitter —

2015年6月17日

https://www.marulabo.net/docs/20150617-marulec02/

Facebook Parse の世界　— モバイルアプリ開発とクラウド利用 —

2015年5月14日

https://www.marulabo.net/docs/20150514-marulec01/

Amazonのクラウド・データベース Amazon Aurora

2015年3月24日

https://www.marulabo.net/docs/20150324-marulec06/

Project Araとものづくりの未来

2015年2月26日

https://www.marulabo.net/docs/20150226-marulec-special/

ハードウェア技術の動向 — MS Bing 検索でのFPGAの利用 —

2015年2月2日

https://www.marulabo.net/docs/20150202-marulec05/

エンタープライズと機械学習技術２ — Big Data と Deep Learning —

2014年12月4日

https://www.marulabo.net/docs/20141204-marusemi04/

エンタープライズと機械学習技術１ — Big Data と Deep Learning —

2014年11月25日

https://www.marulabo.net/docs/20141125-marulec04/

人間の思考、機械の思考

2014年10月3日

https://www.marulabo.net/docs/20141003-marusemi03/

人間の思考、機械の思考 — IT技術者のための機械による知能研究入門

2014年9月26日

https://www.marulabo.net/docs/20140926-marulec03/

３Dププリンターとロボットの世界

2014年8月1日

https://www.marulabo.net/docs/20140801-marusemi02/

Cyber-Physical Systemsと自立分散システム

2014年7月23日

https://www.marulabo.net/docs/20140723-marulec02/

IoTとCyber-Physical Systems

2014年6月20日

https://www.marulabo.net/docs/20140620-marusemi01/

スマホが変わる、スマホの作り方が変わる。 — Project Araと新しいモノづくりのエコシステム

2014年6月11日

https://www.marulabo.net/docs/20140611-marulec-special/

IoTを考える — エンタープライズとビッグデータとウェアラブル

2014年5月20日

https://www.marulabo.net/docs/20140520-marulec01/

BITCOINと分散暗号通貨を考える

2014年4月16日

https://www.marulabo.net/docs/20140416-marulec-special/

Reactiveプログラミング

2014年1月21日

https://www.marulabo.net/docs/20140121-marulec08/

「型の理論」と証明支援システム

2013年12月16日

https://www.marulabo.net/docs/20131216-marulec07/

「型の理論」と証明支援システム — Coqの世界

2013年12月16日

https://www.marulabo.net/docs/typetheory-coq/

クラウドとクラウド・デバイスの新時代

2013年11月15日

https://www.marulabo.net/docs/20131115-marulec06/

マルチコアプログラミングの技法 — OpenCLとWebCL

2013年11月1日

https://www.marulabo.net/docs/20131101-marulec05/

量子コンピューターの新しい潮流 — D-Waveのアプローチ

2013年9月27日

https://www.marulabo.net/docs/d-wave/

量子コンピューターの新しい潮流 — D-Waveのアプローチ

2013年9月24日

https://www.marulabo.net/docs/20130924-marulec04/

JavaScriptの進化 — TypeScriptとDart

2013年8月27日

https://www.marulabo.net/docs/20130827-marulec03/

大規模分散システムの現在 — GFS, MapReduce, BigTableは、どう進化したか

2013年7月29日

https://www.marulabo.net/docs/20130729-marulec02/

Packaged Web Appsについて　— AndroidとChromeの統合

2013年6月24日

https://www.marulabo.net/docs/20130624-marulec01/

大規模グラフデータ処理

2013年2月27日

https://www.marulabo.net/docs/20130227-marulec09/