MaruLaboのミッション

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

MaruLaboのセミナーは、基本的には、録画されたコンテンツの配信で、生放送ではありません。セミナーの日時に都合が悪い人も、申し込みいただければ、いつでも都合のいい時間に、何回でも講演ビデオを利用いただけます。表記の、例えば、「10/29 19:00~」は、コンテンツの配信開始の日時を表しています

今月開催のセミナー

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

最近開催したセミナー

カテゴリー論基礎 2 -- adjoint

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

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

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

24/06/29 AIとグラフ

最近公開したセミナー

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