Magia Librejo de Amaneko計算理論の魔導書
- ダウンロード商品¥ 2,200
計算理論（再帰理論）の基礎から発展的な内容までを記した魔導書．日本語文献では扱われていない面妖な理論や結果も含む． キーワード：Ackermann関数の再帰性，（超）単純集合，（準）創造的集合，極小次数，（超）低基底定理，極限計算可能関数，頻度計算，万能計算可能関数の成す上半束の構造，抽象計算量，不完全性定理，加速定理，初等関数の零認識問題，（低）初等再帰的関数，急増加階層
目次
1. 再帰的関数 2. 計算可能関数 3. 集合の還元と分類 4. 極限再帰的関数 5. 頻度計算 6. ナンバリングとその応用 7. 算術の体系 8. Hilbertの第10問題 9. 再帰的関数の分類 参考文献 更新履歴
書籍情報
バージョン：202（最終更新日時：2021/11/07） ページ数：334
注意事項
・常に書きかけの状態にあるため，証明が途中で途切れているなど，不完全な箇所を含みます．すなわち，本として完成した形ではありません． ・購入した方はBOOTHを通して最新版をダウンロードできます．古いバージョンはダウンロードできなくなります．過去バージョンを提供するか否かは検討中です． ・本書の価格は floor(ページ数 ÷ 15) × 100 [日本円] で決定しています．すなわち15ページ増える毎に100円増額されます．ページ毎執筆負担の増減，固定経費の増減，物価変動などを理由として，予告なく価格設定が変更される場合があります． ・既に購入した方は，ページ数の増加に伴い価格が改訂されても，増額分を新たに支払う必要はありません．ただし，ページ数の減少に伴い価格が改訂されても，減額分は返金されません． ・本書データはGithubに於いても購入者にのみ限定公開されています．アクセス権を希望する方はGithubアカウント名および購入者であることを証明する情報（例．注文番号と注文日時の対）をお送りください．これらの情報は，申請者が正規の購入者であることを確認し，Githubの当該リポジトリに招待する目的以外には使用しません．