n月刊ラムダノート「特集：計算とは何か」Vol.6, No.1
- #1 計算の2つのパラダイムシフトから自然計算へ（萩谷昌己）
- #2 可逆回路で探る可逆計算の世界（今井克暢）
- #3 計算を抽象的に捉える ― タグレスファイナル法によるアプローチ（五十嵐淳）
- #4 証明を「計算」する ― Cubical Agdaによるホモトピー型理論入門（上村太一）
- #5 社会を人間による計算として考える（西尾泰和）
正誤一覧
該当する項目がありません
📖 特定のページの正誤を確認する
ページ番号を入力すると、そのページの正誤情報や報告を確認できます。まだ報告されていない誤りがある場合は、報告することもできます。