MaruLabo Micro Media の講演記録
- 21/09/18 MMM 小又ゼミ 第二回「ハミング距離とハミング符号」
- 21/09/15 MMM 浅海ゼミ 第二回「開発プロセス」
- 21/08/16 MMM 浅海ゼミ 第一回「講座の概要について」
- 21/08/14 MMM 小又ゼミ第一回「ベクトル空間と線型符号」
- 21/08/03 MMM 平原ゼミ第二回「CoqIDEのセットアップ」
- 21/06/27 MMM 平原ゼミ 第一回「Coq環境の紹介」
- 21/06/20 MMM 片桐ゼミ 第三回「シャノンの通信路符号化定理」
- 21/05/20 MMM 片桐ゼミ 第二回「ノイマンエントロピーとは何か」
- 21/04/20 MMM 片桐ゼミ 第一回「シャノンエントロピーとは何か」