n月刊ラムダノート「特集：計算とは何か」Vol.6, No.1
- #1 計算の2つのパラダイムシフトから自然計算へ（萩谷昌己）
- #2 可逆回路で探る可逆計算の世界（今井克暢）
- #3 計算を抽象的に捉える ― タグレスファイナル法によるアプローチ（五十嵐淳）
- #4 証明を「計算」する ― Cubical Agdaによるホモトピー型理論入門（上村太一）
- #5 社会を人間による計算として考える（西尾泰和）
正誤一覧
| ページ | 位置 | 内容 | 状態 | 登録日時 |
|---|---|---|---|---|
| p.3 |
表1.1の4行め
|
誤：`¬(A ⇔ B)`
↓
正：`¬(A ⇐ B)`
|
電子版に取り込み済み | 2026-01-26 |
📖 特定のページの正誤を確認
まだ報告されていない誤りの報告もこちらから（GitHubアカウントが必要）。