MaruLaboのミッション

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

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

今月開催のセミナー

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

( 資料pdf )

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 集中講義

Shorのアルゴリズム入門

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

nonlocal game とInteractive Proof

確率と証明

Interactive Proofと複雑性

暗号技術の現在

AWSでの形式手法の利用

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

GitHub