目次

MaruLaboのミッション

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

今月開催のセミナー

GPT-4 Technical Report を読む

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

先月開催したセミナー

4/29 マルゼミ 「ことばと意味の数学的構造」

3/31 マルレク「人工知能と数学

2/25 「マルレク密度行列 ρ で理解する確率の世界」

1/28 マルレク「AIは意味をどのように扱っているのか?
-- ChatGPT の不思議

1/14 マルレク「なぜ?で考える ChatGPT の不思議」

12/24 マルレク 「ことばと意味の「構成性」について」

11/26 マルゼミ 「量子計算の古典的検証」

10/29 マルレク「エンタングルする自然 ver. 2.0

9/30 マルレク 「ラティス暗号入門」

8/27 マルレク「暗号技術の現在」

7/30 マルレク「並列・分散アルゴリズムの基礎」

""

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



MaruLabo Tutorial

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

エンタングルメント

量子コンピュータ

計算複雑性入門

エントロピー入門

「認識の理論」入門

「型の理論」入門

Deep Learning

言語理論入門

  MMM セミナー一覧    

MaruLabo Ever Green Project

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

人工知能と自然言語

意味の形式的理論

はじめてのCoq

IT技術とCoqの世界

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

Deep Learning 集中講義

AWSでの形式手法の利用

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


2021年以前のMaruLaboコンテンツ

2021/11/26 マルゼミ 「認識について考える 2 -- 認識の認識」

2021/10/29 マルレク 「認識について考える」

2021/10/23 MMM 小又ゼミ 第三回「有限体」

2021/10/23 MMM 浅海ゼミ 第三回 「基本モデル」

2021/09/30 マルゼミ 「計算科学とエントロピーコロモゴロフ複雑性とアルゴリズム論的情報理論」

2021/09/18 MMM 小又ゼミ 第二回「ハミング距離とハミング符号」

2021/09/15 MMM 浅海ゼミ 第二回「開発プロセス」

2021/09/04 マルレク 「量子情報とエントロピー」

2021/08/16 MMM 浅海ゼミ 第一回「講座の概要について」

2021/08/14 MMM 小又ゼミ第一回「ベクトル空間と線型符号」

2021/08/05 マルゼミ「密度行列 ρ で理解する量子の世界」資料公開

2021/07/17 マルレク 楽しい科学 「ペンローズの宇宙論」

21/06/26 マルゼミ「情報とエントロピー」

21/05/29 マルレク基礎「情報とエントロピー入門」

21/05/20 MMM 片桐ゼミ 第二回「ノイマンエントロピーとは何か」

21/04/10 マルゼミ「エンタングルする認識」

21/03/27 マルレク「エンタングルする自然」

21/02/26 マルゼミ「チューリングマシンの拡大と複雑性理論」

21/01/29 マルレク基礎「チューリングマシンを学ぼう!

20/12/25 マルゼミ「MIP*=RE入門」

20/11/27 マルレク「コンピュータサイエンスの現在 -- MIP*=RE定理とは何か」

20/10/15マルレク「量子コンピュータ入門 -- 量子コンピュータと人工知能」

原著者によるMIP*=RE解説ビデオの再生リストを公開しました。

「MIP*=RE関連資料集」を更新しました。

20/09/18マルレク「人工知能と計算科学」

20/08/28マルゼミ「量子通信入門 — 量子テレポーテーションとEntanglement Swapping」

20/07/26マルレク基礎「エンタングルメントで理解する量子の世界」

20/06/30 楽しい数学「2のn乗の話」

20/06/20マルレク基礎「ケット|k> で理解する量子の世界」

20/05/15 マルレク基礎 「たとえ話で理解する量子の世界」

20/05/05 マルレク 「AWSでの形式手法の利用」

20/03/27 マルゼミ 「論理学入門 II -- ラムダ計算と関数型言語」 

20/02/17「量子コンピュータの現在 — 量子優越性のマイルストーンの達成 」

https://crash.academy/video/1170/2530

https://crash.academy/video/1170/2531

量子コンピュータの動作を図解する

GitHub