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

目次

今月のマルレク+MaruLabo へ

最近公開した講演ビデオ

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



MaruLabo Tutorial

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

エンタングルメント

量子コンピュータ

計算複雑性入門

エントロピー入門

「認識の理論」入門

「型の理論」入門

Deep Learning

言語理論入門

  セミナー 一覧 (マルレク MMM)   


MaruLabo Ever Green Project

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

エバー・グリーン化 進捗レポート

人工知能と自然言語

意味の形式的理論

はじめてのCoq

IT技術とCoqの世界

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

Deep Learning 集中講義

AWSでの形式手法の利用

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


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