- 22/04/30 マルゼミ「量子情報と通信技術 -- 「量子インターネット」という未来」
- 22/03/26 マルレク「コンピュータ、数学の問題を解き始める」
- 22/02/26 マルゼミ「String Diagram を学ぶ 」
- 22/01/29 マルレク「分散合意アルゴリズム (1) -- Paxos」
- 21/11/26 マルゼミ 「認識について考える 2 — 認識の認識」
- 21/10/29 マルレク 「認識について考える」
- 21/09/30 マルゼミ 「コロモゴロフ複雑性とアルゴリズム論的情報理論」
- 21/09/04 マルレク「量子情報とエントロピー」
- 21/08/05 マルゼミ「密度行列 ρ で理解する量子の世界」
- 21/07/17 マルレク 「宇宙と生命と知能とエントロピー」
- 21/06/26 マルゼミ「情報とエントロピー」
- 21/06/14 Facebookのシステム
- 21/05/29 マルレク基礎 「情報とエントロピー入門」
- 21/04/10 マルゼミ「エンタングルする認識」
- 21/03/27 マルレク「エンタングルする自然」
- 21/02/26 マルゼミ「チューリングマシンの拡大と複雑性理論」
- 20/01/29 マルレク基礎「チューリングマシンを学ぼう！」
- 20/12/25 マルゼミ「MIP*=RE入門」
- 20/11/27 マルレク「コンピュータサイエンスの現在 — MIP*=RE定理とは何か」
- 20/10/15 マルレク「量子コンピュータ入門 — 量子コンピュータと人工知能」
- 20/09/18 マルレク「人工知能と計算科学」
- 20/08/28 マルゼミ「量子通信入門 」
- 20/08/18 公開資料 「MIP*=RE References」
- 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 マルレク「量子コンピュータの現在 — 量子優越性のマイルストーンの達成 」
- 20/01/28 マルゼミ「論理学入門 I」
- 19/11/28 マルレク「IT技術とCoqの世界 –証明 = プログラム = 計算の意味を考える」
- 19/11/07 ハンズオン「はじめてのCoq」