2012-04-01から1ヶ月間の記事一覧

Hornerの方法(C言語によるはじめてのアルゴリズム入門)

Hornerの方法 多項式の値を求める。 を次のように変換できる以下は、 の場合 #-*- coding:utf-8 -*- #Hornerの方法 def main(): a = [1., 2., 3., 4., 5.] for x in xrange(1,6): print "fn(%f) = %f"%(x, fn(x, a, 4)) def fn(x, a, n): p = a[n] for i in …

「スマリヤンの決定不可能の論理パズル-ゲーデルの定理と様相論理-」10章-問題はより深く-

自信過剰の推論者 任意の命題pに関して、推論者はもし自分がpを信じているならば、 pは真であるに違いないと信じる。 つまり、p→qを信じていれば、命題Bp→Bqが真であり、Bp→Bqを正しく信じている。 定理 A ある命題pについて、1型の推論者が命題p≡~Bpを信じ…

Euler project 31

両替問題を書き換える #-*- coding:utf-8 -*- from datetime import datetime def Euler31(currency, n, m): if n == 0: return 1 if n < 0: return 0 if m <= 0 and n >= 1: return 1 return Euler31(currency, n, m-1) + Euler31(currency, n - currency[m…