haskell-ja > Archives > 2010/11/30

2010/11/30 00:04:43 UTC[1..100]>>=pen
#
@kazu_yamamoto http://d.hatena.ne.jp/kazu-yamamoto/20080401 の件
#
証明というよりも http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%B3%E3%83%80%E3%82%A6%E3%81%AE%E8%A8%98%E5%8F%B7 の「記法の問題」ではないですか。
#
f(N) - g(N) = O(h(N)) は ∃k(N)∈O(h(N)), f(N) - g(N) = k(N) という意味なので f(N) = g(N) + k(N) から f(N) = g(N) + O(h(N))。