MaruLaboのミッション
MaruLaboは、技術と科学のアーリー・アダプターを主要な対象として、技術と科学の未来を展望する上で丸山が重要と考えるトピックについて、出来るだけ新しい情報を、出来るだけわかりやすく、出来るだけ多くの⼈に、無料で伝えていくことを⽬標にしています。
今年は、Turingの論文「機械は考えることができるか？」の75周年です。
丸山からの二つのビデオ・メッセージ
今年は、Turingの1950年の論文「機械は考えることができるか？」の発表から75周年にあたる年です。
「技術と科学の未来を展望する」 中で、丸山が特に重要と考えているのは、コンピュータの未来展望とその基礎にある数学的な理論の発展です。コンピュータについても、その基礎にある数学的理論についても、Turingは歴史の扉を開いたと言っていい大きな貢献をしています。Turingの論文の75周年を記念して、今年はこの間のセミナーの中から、「TuringからVeovodskyまで」「Turing Machineから量子コンピュータまで」というサブタイトルを持つ二つのセミナーをこのサイトではフューチャーしたいと考えています。
丸山が、「マルレク＋MaruLabo」のセミナーを通じて伝えたいと考えている基本的な論点は、この二つのセミナーにまとめられています。時間があるときにでも、ぜひ、ご覧ください。
「コンピュータと数学 1 −− Turing から Veovodsky まで」
「コンピュータと数学 2 −− Turing Machineから量子コンピュータまで」
今月開催のセミナー
Surface code と Stabilizer 2
最近開催したセミナー
marula ゼミ「AIエージェント講座」
Surface code と Stabilizer
量子エラー訂正技術の動向
ラングランズ・プログラムとは何か？
コラム「過去・現在・未来」
最近公開したセミナー
カテゴリー論基礎 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
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の入門者向けのコンテンツをまとめました。
まずは、画像をクリックして、こちらをご覧ください。
MMM セミナー一覧
MaruLabo Ever Green Project
Ever Green Project で、更新されたページです。
GitHub
- Coq Tutorial
https://github.com/maruyama097/coq-tutorial - 量子コンピュータで学ぶ量子プログラミング
https://github.com/maru-labo/ibm-q-handson - 一般社団法人 MaruLabo GitHub
https://github.com/maru-labo