人気ブログランキング |

自宅や会社は無事でしたが、近隣に被害が出ました。きちんと報道をチェックしていないし、まめに出かけているわけでもないので、得られた情報はわずかです。


箱根登山電車の線路が流されて、復旧に時間がかかるそうです。

またツーリングコースであるところの足柄峠ががけ崩れのために通行止め。

箱根の国道138号線も一部区間で通行止め。ちなみに御殿場から仙石原までは通っていました。

西湘バイパスが上下線、区間によって通行止め。その影響で小田原厚木道路が渋滞しています。


これは僕の周辺の情報です。全国では各地で死者、行方不明者が出ています。国は防災対策に力を入れるべきですが、今の政府には何も期待できません。はやく退陣させましょう。




僕の住む小田原市はちょうど進路上にあって、台風はおそらく僕の家の直上を通過しました。運良く無事で、何の被害も受けませんでした。被害をこうむった方々にはお見舞いを申し上げます。


当日のツイッタータイムラインを掲載しておきます。






前もに誰かが書いていたかもしれないけど、ときどき負の値を持つ絶対値を考える。


絶対値とは空間中の二点間の距離と考えるとわかりやすい。距離なので、その二点の位置にかかわらず、値は正か0になるはずだ。


AB間の絶対値が0ならばA=Bとなる。こうして考えるとAB間の絶対値が負の値を持つのは、BAの内側にある時ではないか?


簡単にするために実数直線上で考え、A0の位置に置く。


絶対値|AB|<0であるときにBAの内側にあると上で書いた。すると数値0には内部構造があることになる。


A0に置いたのは単に簡単にするためなのでAは任意の位置xでかまわない。すると任意のxは内部構造があることになる。




「スマリヤン数理論理学講師講義」第7章の「証明可能」がわかりにくく、なんども練習問題をやり直しました。いまだ言語化できていませんがすこしだけ身についた気がします。


別解を見つけたので掲載します。


P136 問題0 以下を証明せよ

F3:(X∧Y)→ZX→(Y→Z)


公理図式S3より、以下が導かれる。公理なので証明可能である。

[{(X∧Y)→Z}→{X→(Y→Z)}]


F1より

[(X∧Y)→Z]=A

[X→(Y→Z)]=B

とすると、

A→B ならば AB なので、

{(X∧Y)→Z}{X→(Y→Z)}


QED


台風19号が過ぎ去った翌日、10/13の朝にバイクに乗ろうとしたらエンジンがかかりませんでした。

(台風対策でバイクの位置を変えて、その時にエンジンを少しだけ回転させたのが悪かったと思います。今までの経験上、エンジンをかけてすぐに止めると、次に起動する時にエンジンがかからないのです。ガソリンの燃え残りが噴射口やプラグに粘りつくのでしょう)

予備に用意しておいたエンジン洗浄剤(スズキ)を入れて、いちどセルモーターをかけて、少し時間をおきます。このときにガソリンの噴射口にこびりついた汚れが、洗浄剤の効果で溶解すると思っています。そして改めてエンジンをかけて、なんとか息も絶え絶えに起動しました。

しばらくはアクセルをふかし気味にすると、エンジンの調子が落ち着いてきます。汚れが落ちるのでしょう。最近はフェールワンをサボッていたのでそれもよくなかったのかな。