2008-06-18から1日間の記事一覧
たとえばある関数 f が単調増加することが分かっている場合、 sum [ a | x <- [1..], let a = f x, a < m ] みたいに書いて、m 未満の f(x) の和を計算したいのです。もちろんこのコードは止まりません。処理系は関数が単調増加だなんて知る由もないのですか…
たとえばある関数 f が単調増加することが分かっている場合、 sum [ a | x <- [1..], let a = f x, a < m ] みたいに書いて、m 未満の f(x) の和を計算したいのです。もちろんこのコードは止まりません。処理系は関数が単調増加だなんて知る由もないのですか…