2/3 と 2.0/3.0=0.33333のように等価な式でも変数として表現される場合には誤差が発生し、この変数が繰り返し現れる度に誤差は増幅される。 この欠点のない区間算術演算パッケージを工夫するということは上記の「不確かな変数」の繰り返しが表れないパッケー…

えーっと、さっぱり分かりません。(^_^; 「不確かな数を表現する変数が繰り返し現れるなら、きちんとした誤差限界を返す。」ということであれば、r1, r2の出現回数はpart1が4回、part2が2回なので、part2の方がきちんとした誤差限界を返すという意味なのかと…

実験 (define A (make-interval 100 105)) (define B (make-interval 200 205)) (part1 A B) ; (65.57377049180327 . 71.75) (part2 A B) ; (67.21311475409837 . 69.43548387096773) 確かに異なる答えが返ってくるので Lem は正しい。他の算術演算の式でシ…

豚の生姜焼き 茄子のミートソース セロリのサラダ(セロリ,キュウリ,玉葱をゴマ,マヨネーズ,砂糖で和えたもの) 刺身(トリガイ,アカイカ,ハマチ,マグロ) 番外編。息子が母の日のプレゼントに買ってきたチーズケーキ。

昨日暑かったと書いたら、今日はもっと暑かったですね。 チャリンコで善福寺公園まで行ったら、会社の元同期と会いました。世間は狭いですね。:-)

今日が本当に夏日だったかは知りませんが、夏の空気でした。

今日は近所のサイゼリヤで飲み食い。 味はともかく安いなぁ〜。

酸辣春雨(具は豚肉,エリンギ) 豚肉と白菜の蒸し焼き ネギの卵焼き

「相対許容誤差が小さい」というのがどの程度かは分からないが、とりあえず実験。 (define (disp-err x y) (newline) (display "percent x[") (display (percent x)) (display "] y[") (display (percent y)) (display "] mul[") (display (percent (mul-int…

make-center-percentとpercent (define (make-center-percent c p) (make-interval (* c (/ (- 100 p) 100.0)) (* c (/ (+ 100 p) 100.0)))) (define (percent i) (* (/ (- (upper-bound i) (center i)) (center i)) 100.0)) percentは以下でもOK (define (p…

牛肉焼き(弁当の残り) 茹で鶏とキュウリ(タレは昨日の鶏モモ肉揚げ中華風のタレ) 油揚げ,茄子,ネギと鰹節の和え物 肉豆腐(豚足の煮物の残り汁に豆腐と肉とネギを入れたもの)

元の mul-interval (define (mul-interval x y) (let ((p1 (* (lower-bound x) (lower-bound y))) (p2 (* (lower-bound x) (upper-bound y))) (p3 (* (upper-bound x) (lower-bound y))) (p4 (* (upper-bound x) (upper-bound y)))) (make-interval (min p1 …

ゼロをまたがる区間で割った時、どういう状態になっているかというと、単純に 0 割りが発生するとか、上限下限が入れ替わるとか考えられるけど、一応試してみる。 X (10 ± 3), Y (0 ± 1) の場合 (div X Y) => (mul-interval X (make-interval (/ 1.0 (upper-…

豚肉のタレ炒め 豚足と大根の煮物 水菜の煮浸し 鶏モモ肉揚げ中華風 きし麺 鶏モモ肉揚げ中華風のレシピは以下の感じ。 鶏モモ肉をネギと生姜と一緒に水から茹でる 火が通ったら鍋からあげる 水気を切って表面に醤油を塗る。乾いたら再度、醤油を塗るを繰り…

GWの連休最後の日でしたが、今日は一日雨でしたね。 まあ、そんなこんなで一日ダラダラしてました。

ハタハタの干物 玉葱と白菜の五香粉炒め(辣腸の余りの肉入り) 豚足と大根の煮物(アシテビチ) 本当はアシテビチは爪先は切り落として輪切りになってる状態の豚足を使うけど、面倒臭いし味は変わらないので。

塩漬けの羊腸の賞味期限が今月末だったので辣腸(中華風ソーセージ)作り。 材料は 豚もも肉 豚背脂 で、800g:300g位の分量で、調味料は 砂糖 塩 醤油 紹興酒 五香粉 ごま油 で大匙2:大匙1:大匙1:大匙3:小匙1/2:適量という感じの比率で。 正月作った時よりうま…

冷奴 トマトとキュウリのサラダ 牛ステーキ(玉葱のすりおろし,赤ワイン,クレージーソルト,醤油で漬け込んでバターで焼いたもの) 茄子と玉葱炒め(ステーキを焼いた後の油で炒めたもの)

昼飯食いがてら阿佐ヶ谷まで。 昼飯は南阿佐ヶ谷の「蕎 ふるやま」で。写真は大盛。 飯食った後は買い物済ましてダラダラ路地通って帰って来ました。

結局、XXXX以降に何らかの文字列がついた存在しないメールアドレスに関してもXXXX-admin宛に届くので、以下の設定に変更。多分、大丈夫だろうということで、ロックファイルの指定(:)を取って、/dev/null行きに。 # XXXX-admin error mail :0 * $ ^To: XXXX-.…

穂先メンマ エイヒレの唐揚 ソフトサラミ 挽き肉の味噌炒め(中華山椒風味) トマト,キュウリと鶏胸肉のサラダ 豚バラ肉と玉葱炒め目玉焼きのせ(味噌カツソースとケチャップ炒め) エイヒレは臭い対策で醤油に漬け過ぎてしまいしょっぱくなってしまった。失敗。

今日も晴れてるので、昼飯食いがてらチャリで代々木公園へ。 途中のローソンでおにぎり等を買ってダラダラと。いつもの週末より人が多かったです。 NHKの方ではフラワーフェスティバルというのをやってました。写真は花で作られた絵。元絵がどうとかデザイン…

趣味系のMailingListで管理人宛のエラーメールの処理をローカルのspam filter(bsfilter)で行っていたのですが、なんだかこの一週間で急増してしまい、メールの取り込みに時間がかかってしょうがないので、サーバ側に.procmailrcを設置。 以下のアホみたいに…

生ビール飲んで酎ハイ飲みたい気分だったので、近所の焼きトン屋「和っしょい」へ。 ちょっと不完全燃焼。

今日も良い天気だったので、新宿御苑までチャリンコでお出かけ。 途中、伊勢丹の地下で買い物して昼飯。 後はダラダラ日陰でゴロゴロして過ごしました。 日向は暑かったけど、日陰は気持ちよかったですね。

白舞茸の天麩羅 鶏胸肉の天麩羅 トマトとサラダ菜 マグロブツ 豚肉のタレ炒め(弁当の残り) 自家製ベーコンとポテトのオムレツ(昨日の残り)

論理学作者: 野矢茂樹出版社/メーカー: 東京大学出版会発売日: 1994/02/18メディア: 単行本購入: 24人 クリック: 175回この商品を含むブログ (80件) を見る4/20から読み始めました。読み始めはとっつきやすかったので、すぐ読み終わるかと思ったら、意外と時…

ネットワーク障害が復旧しなくて仕事にならないし、そもそも暇だったので、急遽仕事を休んで、ちょろっとバイクにでも乗るかと画策。 しかし平日の246の通勤バトルに巻き込まれるのもイヤだしなぁ、などとダラダラして結局家を出たのは9:30頃というていたら…