マルレク＋MaruLaboは、技術と科学のアーリー・アダプターを主要な対象として、技術と科学の未来を展望する上で丸山が重要と考えるトピックについて、出来るだけ新しい情報を、出来るだけわかりやすく、出来るだけ多くの⼈に、伝えていくことを⽬標にしています。
今月のマルレク＋MaruLabo へ
今月開催予定のセミナー
5/28 マルゼミ「エントロピー論の現在」
最近開催したセミナー
2022/04/30 マルゼミ「量子情報と通信技術 -- 「量子インターネット」という未来」
2022/03/26 マルレク「コンピュータ、数学の問題を解き始める」
2022/02/26 マルゼミ「String Diagram を学ぶ 」
最近公開した講演ビデオ
2022/01/29 マルレク「分散合意アルゴリズム (1) -- Paxos」
2021/11/26 マルゼミ「 認識の認識」
2021/10/29 マルレク 「認識について考える 」
MaruLabo Tutorial
MaruLaboの入門者向けのコンテンツをまとめました。
まずは、画像をクリックして、こちらをご覧ください。
セミナー 一覧 (マルレク MMM)
MaruLabo Ever Green Project
Ever Green Project で、最近、更新されたページです。
エバー・グリーン化 進捗レポート
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
- Coq Tutorial
https://github.com/maruyama097/coq-tutorial - 量子コンピュータで学ぶ量子プログラミング
https://github.com/maru-labo/ibm-q-handson - 一般社団法人 MaruLabo GitHub
https://github.com/maru-labo
111111111