マルレク・コンテンツ一覧

目次

2023年

2023/01/28「AIは意味をどのように扱っているのか? -- ChatGPT の不思議」

2023/01/14 「なぜ?で考える ChatGPT の不思議」

2022年

2022/12/24「ことばと意味の「構成性」について」

2022/11/26 「量子計算の古典的検証」

2022/10/29 「エンタングルする自然 ver. 2.0」

2022/09/30 「ラティス暗号入門」

2022/08/27 「暗号技術の現在」

2022/07/30「並列・分散アルゴリズムの基礎」

2022/06/25「エントロピー論とカテゴリー論」

2022/05/28「エントロピー論の現在」

2022/04/30「量子情報と通信技術」

2022/03/26 「コンピュータ、数学の問題を解き始める」

2022/02/26 「String Diagram を学ぶ 」

2022/01/29 「分散合意アルゴリズム (1) -- Paxos」

2021年

2021/11/26 「認識の認識」

2021/10/29 「認識について考える」

2021/09/30 「コロモゴロフ複雑性とアルゴリズム論的情報理論」

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

2021/08/05 「密度行列 ρ で理解する量子の世界」

2021/07/17 「ペンローズの宇宙論」

2021/06/26 「情報とエントロピー」

2021/05/29 「情報とエントロピー入門」

2021/04/10 「エンタングルする認識」

2021/03/27 「エンタングルする自然」

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

2021/01/29 「チューリングマシンを学ぼう!」

2020年

2020/12/25 「MIP*=RE入門」

2020/11/27 「コンピュータサイエンスの現在 — MIP*=RE定理とは何か」

2020/10/15「量子コンピュータ入門 — 量子コンピュータと人工知能」

2020/09/18「人工知能と計算科学」

2020/08/28「量子通信入門 」

2020/07/26 「エンタングルメントで理解する量子の世界」

2020/06/30「2のn乗の話(チューリングマシンの話)」

2020/06/20「ケット|k> で理解する量子の世界」

2020/05/15「たとえ話で理解する量子の世界」

2020/05/05「AWSでの形式手法の利用」

2020/03/27「論理学入門 II — ラムダ計算と関数型言語」

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

2020/01/28「論理学入門 I」