n月刊ラムダノート「特集：計算とは何か」Vol.6, No.1（2026）

本特集について #1 計算の2つのパラダイムシフトから自然計算へ　萩谷昌己 1.1 離散か連続か：微分可能論理ゲート 1.2 形式言語か自然言語か：AlphaProof 1.3 2 つのパラダイムシフトの共通点 1.4 おわりに 1.5 参考文献 #2 可逆回路で探る可逆計算の世界　今井克暢 2.1 可逆計算とは 2.2 可逆論理ゲート 2.3 可逆論理素子（RLEM） 2.4 まとめ 2.5 参考文献 #3 計算を抽象的に捉える ― タグレスファイナル法によるアプローチ　五十嵐淳 3.1 タグレスファイナル法入門 3.2 WHILE 言語と標準インタプリタ 3.3 抽象解釈器 3.4 CHCソルバを使ったプログラム検証器 3.5 まとめ 3.6 参考文献 #4 証明を「計算」する ― 抽象数学をCubical Agdaで実行する　上村太一 4.1 依存型理論 4.2 ホモトピー型理論 4.3 命題と集合 4.4 円周のループ空間 4.5 Brunerie数 4.6 まとめ 4.7 参考文献 #5 社会を人間による計算として考える　西尾泰和 5.1 コンピュータの登場と計算力の平和的な利用 5.2 「計算の仕方」のパラダイムシフト 5.3 大規模言語モデル（LLM）の社会への影響 5.4 21 世紀の社会を捉える3つのイデオロギー 5.5 資本主義とワールドコンピュータ 5.6 未来の社会は目的関数にかかっている 5.7 参考文献 索引