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 |
| p.78 |
コード3.39の2行め
|
誤：`{x=AbsInt.Zero; y=AbsInt.Zero; z=AbsInt.Zero}`
↓
正：`{x=AbsInt.Top; y=Abs...
|
電子版に取り込み済み | 2026-04-11 |
|
コード3.39の直上
|
誤：全変数`Zero`
↓
正：全変数`Top`
|
電子版に取り込み済み | ||
| p.79 |
本文4行め
|
誤：3, 6, -20 を順に足す
↓
正：`x`を0で初期化して、3, 6, -20 を順に足す
|
電子版に取り込み済み | 2026-04-16 |
|
1つめの実行画面
|
#### 3行めの実行コマンド
誤：`# run (add_all [3; 6; -20]) ;;`
↓
正：`# run (begin_ [a...
|
電子版に取り込み済み | ||
|
2つめの実行画面の下から2行め
|
誤：`x:Top, y: Top, z: Zero`
↓
正：`x:Top, y: Top, z: Top`
|
電子版に取り込み済み | ||
| p.83 |
1つめの実行画面の下から2行め
|
誤：`x: Top, y: Pos, z: Zero`
↓
正：`x: Top, y: Pos, z: Top`
|
電子版に取り込み済み | 2026-04-16 |
📖 特定のページの正誤を確認
まだ報告されていない誤りの報告もこちらから（GitHubアカウントが必要）。