<   2015年 10月 ( 31 )   > この月の画像一覧

月末に開催される東京モーターショー2015が楽しみなのです。じつはバイクを、マニュアルの中型に買い替えたくて、ヤマハがそれに合致する新型トリシティを出してくれないかと、期待しているのです。

「おっきめに、リーン!」
http://global.yamaha-motor.com/jp/showroom/event/2015tokyomotorshow/sp/


時節がらの話題が少ない当ブログですが、たまにはこんな話題もアップします。

d0164691_20133112.png

[PR]
照井一成
青土社

P34の欄外に、
(本文中の)「この説明法は結城[2007]を参考にした」

とあります。巻末にある「本文中で参照した文献」の一覧を見ると、結城さんの本は

「数学ガール ゲーデルの不完全性定理」2009

だけが載っています。手元の「数学ガール ゲーデルの不完全性定理」で確かめると、発行は2009年なので、P34が間違っています。
[PR]
この記事で、当ブログは2001エントリを達成しました。2010年の5月に始めたブログなので、5年半かかりました。

さて問題。一日に1エントリ更新するとして、3001エントリを達成するのは、いつでしょうか?

解答は数日後に掲載します。
[PR]
いままで使っていたものは、もう15年位近く前に買ったものです。留守中でも安心して使える、優れものです。

御殿場アウトレットモールのデロンギショップに行ったら、下記の商品の色違いが、半額以下の14200円で売っていたので、買ってきました。

これで15年は安心だ。ちなみに、古いのは回収してくれます。

http://oilheater.delonghi.co.jp/product/h77.html
d0164691_17142094.png


[PR]
正確には「奥山家古道・都夫良野」というようです。「かながわの古道50選」に含まれています。
http://www.j-area2.com/japan/kanto/kngw/kodou50.html

d0164691_1947273.jpg


風情がありますが、こんなところはじつに短い。すぐに通過してしまいます。まあでも、車は走っていないし、気持ちのいい道でした。また行くかもしれません。

d0164691_19474333.jpg


古道って、幻想的でいいですよね。僕が好きな足柄峠も古道のようです。
[PR]
先日は数学的帰納法を書いたので、今朝は背理法です。

まずは否定記号を定義しましょう。
f'
のように、プライムマークを使います。fが「奇数である」とすると、
f'は「奇数ではない」を意味します。Fは、偽としましょう。

f'(3)=F

背理法は、証明したい命題の逆を仮定して、そこに矛盾をおこして、「命題の逆は偽(つまり、命題は真)」を導く方法です。

{f'(x)=F}→{f(x)=T}

これで、いいのかしら?
[PR]
所有しているネクサスを使いたいのですよ。わざわざナビを買わずにすませたい。

そこで、お風呂でタブレットが使えるケースを買いました。そして、バックミラーにくくりつける計画です。

d0164691_751048.png

http://www.amazon.co.jp/gp/product/B008HFJHFE?psc=1&redirect=true&ref_=oh_aui_detailpage_o00_s00


つけてみたけっかが、これ。バックミラーではうまくいかず、バイザーの脚につけました。

d0164691_752229.jpg

[PR]
今回は、限定ビールをメインに頼みました。あとは大好きな「インドの青鬼」と、きまぐれで2本だけ「水曜日のネコ」です。

d0164691_7281396.jpg

[PR]
下記asusのページにアクセスして、真ん中あたりのグーグルドライブのアイコンの近くにあるボタンを押せばOK。2年間の100ギガ使用権が手にはいります。

https://www.google.com/intl/en/chrome/devices/goodies.html
[PR]
昨日は記法を定義しました。今日は実際にやってみます。

f(1)=T
{f(n)=T}→{f(n+1)=T}

[f(1)=T]→[{f(n)=T}→{f(n+1)=T}]→[∀nf(n)=T]

上段の式は、
「K=1のときに、命題が成り立つ」

中段の式は
「k=nのときに命題が成り立つならば、k=n+1のときも命題が成り立つ」

下段の式は
「上段が成り立ち、中段が成り立つのならば、すべてのnについて、f(n)が成り立つ」

となります。冗長かな。
[PR]