茄子と冥加の煮浸し 豚肉と牛蒡,ニンジン煮 豚足のミャンマー風煮(もらいもの） ウナギ ジャガイモとトマトのカレー 海苔サラダ

すっかり忘れ去った証明問題。 φ=(1 + √5)/2 の時、 Fib(n)が (φ^n)/(√5)に最も近い整数であることを証明せよ ヒント：ψ=(1 - √5)/2とする。帰納法とFibonnacci数の定義を用い Fib(n)=((φ^n) - (ψ^n))/√5を証明せよということで以下の感じ。 Fibonacchi 数の…

が今朝から復活してた。ちょっと嬉しい。

ブックオフの通販から到着。 会計のルールはこの3つしかない (新書y)作者: 石川淳一,松本武洋出版社/メーカー: 洋泉社発売日: 2008/04/01メディア: 新書購入: 6人 クリック: 175回この商品を含むブログ (27件) を見る論理学作者: 野矢茂樹出版社/メーカー: …

今日は社長とカッパ@中野でモツ焼き。 店員の態度の悪さにわろた。ｗ

http://lucw.magalerie.net/paradisio/themes/bec_en_sabot_naissance/index.html 雛の写真初めて見た。

Pascal三角形の要素を計算する手続き 1 1 1 1 2 1 1 3 3 1 1 4 6 4 1上から n 段, 左から k 番目の要素を計算する感じで。 ※ 1段目の要素数は1, 2段目の要素数は 2, 3段目の要素数は3,... k = 1, k = n の場合 要素は1 f(n, k) = f(n - 1, k - 1) + f(n - 1,…

n n >= 3 の時 f(n) = f(n - 1) + 2f(n - 2) + 3f(n - 3)まず再帰的プロセスでfを計算する手続き。 (define (recursive-f n) (cond ((< n 3) n) (else (+ (recursive-f (- n 1)) (* 2 (recursive-f (- n 2))) (* 3 (recursive-f (- n 3)))))) ) 次に反復的プ…

マグロの中トロ刺し 手羽先の先と豆腐の煮物(昨日の残り) 手羽元とジャガイモのカレー ツナサラダ(トマト, 玉葱, レタス, ツナと味ポン) 茄子の豚肉巻き(焼肉のタレ味)

でしたね。 花見にはちょっと早い感じでしたが。

手羽先焼き 手羽先の先と豆腐の煮込み レタスと卵のスープ(オイスターソース風味・玉葱とエリンギ入り)

ヒップエクササイズマシンとかいう謎のジャンルの商品だけど、座ったら気持ち良かったので。 http://www.tsukamoto-aim.co.jp/item/airly-shape/04/

中野までチャリでぶらぶら。 ナンはおいしかったけど、残念ながらカレーがあまりおいしくなかった。 あ、でもサラダのドレッシングは結構好きな味だった。(色はタンドリー・チキンみたいだけど、味はサウザンアイランドの酸味を減らして甘味を増やした感じ。…

レンコンと鶏の味噌炒め 豆キンキの煮付け 焼き豚 ハマチ刺 アボカド 大根のキンピラ入り卵焼き

; 教科書で定義されているAkermann関数 (define (A x y) (cond ((= y 0) 0) ((= x 0) (* 2 y)) ((= y 1) 2) (else (A (- x 1) (A x (- y 1)))))) (A 1 10)の値 (A 1 10) (A (- 1 1) (A 1 (- 10 1))) (A 0 (A 1 9)) (A 0 (A (- 1 1) (A 1 (- 9 1)))) (A 0 (A …

; (1) (define (+ a b) (if (= a 0) b (inc (+ (dec a) b)))) これが (+ 4 5)を評価する時に生成するプロセスは以下のようになる (+ 4 5) (inc (+ (dec 4) 5)) (inc (+ 3 5)) (inc (inc (+ (dec 3) 5))) (inc (inc (+ 2 5))) (inc (inc (inc (+ (dec 2) 5)))…

ユリイカ2009年3月号 特集=諸星大二郎作者: 巖谷國士,夏目房之介,春日武彦,竹熊健太郎,円城塔出版社/メーカー: 青土社発売日: 2009/02/27メディア: ムック購入: 5人 クリック: 45回この商品を含むブログ (42件) を見るとりあえず読了。 で家に失楽園がないこ…

白菜と豚バラ肉の蒸し煮 油揚げ焼き(挽き肉と卵詰め) 大根の皮のキンピラ 挽き肉の味噌炒め

が変わるんだそうな。 http://blog.livedoor.jp/dqnplus/archives/1238156.html 改悪とは言わないけど、良くも悪くもカップヌードルの特徴が減るかなぁ。 「謎肉」って呼んでる人もいるみたいですね。「あの肉」みたいだ。:-)

(define (square x) (* x x)) (define (cubic x) (* x x x)) (define (cbrt-iter guess last-guess x) (if (cbrt-good-enough? guess last-guess) guess (cbrt-iter (cbrt-improve guess x) guess x))) (define (cbrt-good-enough? guess last-guess) (< (ab…

何だかこのところ新聞に三平ストアのチラシが入らなくなった。会社帰りに買い物する重要な店なのに…。 で、試しに三平ストアのページをアンテナに登録してみた。チラシが更新されたらアンテナに引っかかるのかなぁ。

ペンネのトマトソース 豚の生姜焼き 青梗菜と油揚げ、エリンギの炒め物 サラダ 牛肉の焼肉のタレ炒め

元々のここまでで使用している平方根を求める手続き (define (square x) (* x x)) (define (sqrt x) (sqrt-iter 1.0 x)) (define (sqrt-iter guess x) (if (good-enough? guess x) guess (sqrt-iter (improve guess x) x))) (define (improve guess x) (aver…

(define (new-if predicate then-clause else-clause) (cond (predicate then-clause) (else else-clause))) ; => new-if (new-if (= 2 3) 0 5) ; => 5 (new-if (= 1 1) 0 5) ; => 0 (define (sqrt-iter guess x) (new-if (good-enough? guess x) guess (sqr…

ソーキのケチャップ煮 鶏肉とキノコのオリーブオイル炒め ハッシュドポテト

(define (p) (p)) (define (test x y) (if (= x 0) 0 y)) (test 0 (p)) 作用的順序の評価系の場合 作用的順序の評価を使用している解釈系の場合、引数の評価を行ってから、その結果でパラメータを置き換えていく。 (test 0 (p))を実行した場合は (p) の評価…

(define (a-plus-abs-b a b) ((if (> b 0) + -) a b)) if式の評価結果としてbが0より大きい場合は演算子+を、それ以外の場合は演算子-を返す。 この演算子を使用しa, bの演算を行うことによりaと「bの絶対値」の和を求める

;; 必要な関数 (define (square x) (* x x)) (define (sum-of-square x y) (+ (square x) (square y))) ;; 比較は等号つけとかないと同じ数字を渡した時に無限ループになる (define (sum-of-large-two-numbers-square x y z) (cond ((and (>= x y) (>= y z))…

(5 + 4 + (2 - (3 - (6 + 4 / 5)))) / (3 (6 - 2)(2 - 7))なので以下の感じ。 (/ (+ 5 4 (- 2 (- 3 (+ 6 (/ 4 5))))) (* 3 (- 6 2) (- 2 7)) ; => -37/150

ということで早速問題を解いていく。 システムが返した値はコメントアウトされてる部分。 10 ; => 10 (+ 5 3 4) ; => 12 (- 9 1) ; => 8 (/ 6 2) ; => 3 (define a 3) ; => a (define b (+ a 1)) ; => b (+ a b (* a b)) ; => 19 (= a b) ; => #f (if (and (…