アルゴリズムイントロダクション

当たり前のことを定理などとよんで回りくどく証明していますね。

なんなんですか？この本。

例えば、p.506定理22.9とか。