計算理論（再帰理論）の基礎から発展的な内容までを記した魔導書．日本語文献では扱われていない面妖な理論や結果も含む． キーワード：Ackermann関数の再帰性，（超）単純集合，（準）創造的集合，極小次数，（超）低基底定理，極限計算可能関数，頻度計算，万能計算可能関数の成す上半束の構造，抽象計算量，不完全性定理，加速定理，初等関数の零認識問題，（低）初等再帰的関数，急増加階層