2010-01-17から1日間の記事一覧
元ネタ http://twitter.com/keigoi/status/7828062396 http://okmij.org/ftp/Haskell/PeanoArithm.lhs ようするにこの Inv は何をやっているのかというと,init から limit まで x をイテレートして,x と a に関数 clas を適用したの値と b が等しくなるよ…
元ネタ http://twitter.com/keigoi/status/7828062396 http://okmij.org/ftp/Haskell/PeanoArithm.lhs ようするにこの Inv は何をやっているのかというと,init から limit まで x をイテレートして,x と a に関数 clas を適用したの値と b が等しくなるよ…