MaruLaboのミッション

MaruLaboのミッション、修正しました。

(旧) MaruLaboは、技術と科学のアーリー・アダプターを主要な対象として、技術と科学の未来を展望する上で丸山が重要と考えるトピックについて、出来るだけ新しい情報を、出来るだけわかりやすく、出来るだけ多くの⼈に、無料で伝えていくことを⽬標にしています。

(新)MaruLaboは、技術のアーリー・アダプターと数学・物理などの数理科学に知的興味を持つ人を主要な対象として、技術と科学の未来を展望する上で丸山が重要と考えるトピックについて、出来るだけ新しい情報を、出来るだけわかりやすく、出来るだけ多くの⼈に、伝えていくことを⽬標にしています。

MaruLaboの活動についてのAIによる評価レポート

MaruLaboについてのAI( Gemini Deepresearch)の音声レポートです。

LLMの理論モデルの新しい展開 (前編)

ベクトル空間の「一点」として表現される意味から広がりを持つ「空間」として表現される意味へ

いつもでしたら、「次回のマルレクは、次のテーマで開催します」というように、次回のセミナーとそのテーマの予告で済ましていたのですが、少し予告のスタイルを変えようと思っています。

と言いますのも、LLMの数学的構造について、新しい知見が続々登場しているからです。この夏以降しばらくの間、「LLMの理論モデルの新しい展開」という共通テーマで、複数のセミナーを連続して開催しようと思っています。

こうした2025年の後半でのMaruLaboの取り組みの概要について、二回に分けて述べてみたいと思います。今回はその前編として、新しい展開の理論的背景を、マルレク扱った範囲で振り返ってみたいと思います。

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

コラムのビデオの再生リスト(Click Me !)

不思議な数

ラマヌジャンのMoonshine

1 + 196883 = 196884

新しい数学と新しい物理学

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

再生リスト:https://www.youtube.com/playlist?list=PLQIrJ0f9gMcNzhFN2pp8qaxIIR7wgQJhD

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

次回開催予定のセミナー

詳細は、未定です。

最近開催したセミナー

Deep Dive Audio

セミナーに向けて生成した音声概要をまとめた「再生リスト」です。一度ファイルを選択すると複数のファイルを連続的に再生してくれます。ご利用ください。

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

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

音声による概要

最近公開したセミナー

Surface code と Stabilizer 2

詳細公開情報 Click Me!

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

Surface code と Stabilizer

詳細公開情報 Click Me!

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

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

詳細公開情報 Click Me!

「Langlands Program とは何か?」Trailer video

カテゴリー論基礎 2 — adjoint

詳細公開情報 Click Me!

計算複雑性理論入門 — Turing Machineから量子コンピュータまで

詳細公開情報 Click Me!

24/08/31 コンピュータと数学 1 — TuringからVeovodskyまで

詳細公開情報 Click Me!

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

詳細公開情報 Click Me!

24/06/29 AIとグラフ

詳細公開情報 Click Me!

24/05/25 カテゴリー論基礎

( 動画の再生リスト )

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

24/03/30 マトリョーシカとトロピカル

24/02/29 言語の意味の数学的構造

24/01/27 大規模言語モデルの数学的構造 II

スライドのpdf  blog ; 公開情報のまとめ )

23/01/14 資料公開
「ChatGPTとOpenAIはどう変わろうとしているのか?」

23/12/30 大規模言語モデルの数学的構造 I

スライド資料pdf  blog:「 巨人の肩に乗ろう! 」)

23/12/02 資料公開「Helen Tonerらの「民主的AI」論」

23/11/24 ChatGPTはどう変わろうとしているのか?(角川セミナー)

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

23/09/30 大規模言語モデルの展開 −− マルチモーダルへ

23/08/13「ニューラル・ネットワークの基礎」

次のコンテンツを再公開しました。

ビデオの再生リストはこちらです。

23/07/29 マルレク「創発について考える」

23/06/30 マルレク「プロンプトで遊ぶ– GPT-4 との対話 –」

2023/05/27 マルレク 「GPT-4 Technical Report を読む」

2023/05/27 マルレク「GPT-4 System Card を読む」

MaruLaboのコンテンツは、
こちらからアクセスできます。

MaruLabo セミナー リスト 2023年

MaruLabo セミナー リスト2022年

MaruLabo セミナー リスト2021年

MaruLabo セミナー リスト 2020年



MaruLabo Tutorial

MaruLaboの入門者向けのコンテンツをまとめました。
まずは、画像をクリックして、こちらをご覧ください。

エンタングルメント

量子コンピュータ

計算複雑性入門

エントロピー入門

「認識の理論」入門

「型の理論」入門

Deep Learning

言語理論入門

  MMM セミナー一覧    

MaruLabo Ever Green Project

Ever Green Project で、更新されたページです。

人工知能と自然言語

意味の形式的理論

はじめてのCoq

IT技術とCoqの世界

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

Deep Learning 集中講義

AWSでの形式手法の利用

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


GitHub