2014-02-18から1日間の記事一覧
The Haskell Road to Logic, Maths, and Programming( http://fldit-www.cs.uni-dortmund.de/~peter/PS07/HR.pdf )のp3~p8にある、素数判定プログラムの解説に対して感じた疑問を書き留めておく。以下、\(n\)は常に2以上の整数、すなわち素数か合成数かの…
The Haskell Road to Logic, Maths, and Programming( http://fldit-www.cs.uni-dortmund.de/~peter/PS07/HR.pdf )のp3~p8にある、素数判定プログラムの解説に対して感じた疑問を書き留めておく。以下、\(n\)は常に2以上の整数、すなわち素数か合成数かの…