Livepocket 書泉と、10冊

n月刊ラムダノート 特集:計算とは何か

特典
ISBN/JAN
9784908686238
著者
萩谷 昌己 今井 克暢 五十嵐 淳 上村 太一 西尾 泰和
出版社
ラムダノート
レーベル
出版日
2026/01/27
商品説明
本特集について
#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 参考文献

索引
備考
型番 9784908686238-011
販売価格 2,640円(税240円)
購入数

  

ピックアップ

Calendar

2026年1月
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
2026年2月
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
Top