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

あっているか、わかりませんが、やってみます。

命題をf、変数を(n)と書きます。命題が真であればTとします。

f(k)=T

とは、kのときに、命題fが真であることを意味します。具体例を挙げてみましょう。

f(n)は「n奇数である」とします。すると、
f(3)=T
となります。

含意記号「→」も、使いましょう。

{f(n)=x}→{g(m)=y}

「f(n)がxであれば、g(m)がyとなる」これは、さらに続けることもできます。

{f(n)=x}→{g(m)=y}→{h(l)=z}

「f(n)=xかつg(m)=yであれば、h(l)=zである」と読みます。
[PR]
箱根を越えて、西伊豆を下り、東伊豆を上って帰りました。オドメーターによる走行距離は266キロ。

西伊豆、特に沼津市の圏内はいいですね。港がたくさんあって、ずっと富士山が視界の端に入るのです。こんな具合に。

d0164691_19321926.jpg
d0164691_1932065.jpg


ところで、当日は寒くてまいりました。インナーにダウンを着て、ライダージャケットを着て、その上にレインスーツを着て、さらにネックウォーマーまで着けたのに、走っていると寒い。
[PR]
ある数を、100までの桁と、100未満に分ける。100a+bと書ける。100aの部分はaがなんであろうと、100を法とした値を求めるときには関係がないので、bの部分だけを考える。

0≤b≤99

である。bも、2つに分けられる。

1合同51(mod100)
2合同52(mod100)




つまり、
(50+c)^2=2500+100c+c^2
この場合、2500+100cは、100を法としてた値を考えるときに、無視してよいので、

(50+c)^2合同c^2(mod100)

0≤c≤49

なので、正整数を自乗した数は、100を法とした場合に、最高で50通りしか余りが存在しない。ので、標題は真。
[PR]
この船で、ライブが行われます。
d0164691_1129999.jpg

僕はこっちに乗りたいようω
d0164691_11293635.png

ライブ中に、写真をとっても良いと言われたので、撮りました。全員がおさまっている。
d0164691_11294616.png

[PR]
ひさしぶりに、1週間だけ「マッドマックス」が劇場で観れるので、行ってきました。4DXとは、座席が動いて、霧が出て、アトラクションが満載な仕組みです。3Dも含まれていました。

正直わずらわしい。値段も高くなるし、ふつうの2D字幕映画でいいです。

それはそうと、客席はいっぱいでした。若い女性客が多くて「V8!V8!」と大喜びで入ってきた人もいました。

たのしそうでいいね。
[PR]
「スマリヤンのゲーデル・パズル」による対角化の定義では、hを述語、xを任意の文字列として、h(xx)とh#xが同値とされている。

ここでは、同値をイコールで結んで記述する。

h(xx)=h#x
h11=h#1
h#=l1となり、
h11=l11
h=l
となる。これが、対角化である。

かりに、h=1とすると、h#=11となる。

(未完)
[PR]
有限の文字列を、文または述語と定義する。
Hを、すべての述語の集合とする。
述語は有限の文字列なので、適切な方法を選べば、各述語を非負整数に、一意に置き換えることができる。

Hの要素をhnとして、
h1=m1
h2=m2
hn=mn

mnは、それぞれ異なる非負整数。nが小さいほど、hnも小さい数字とする。

つぎに、数表を作る。行、列、ともに、1から順に、1づつ増えてゆく。hnは非負整数なので、この数表のどこかに、h1から順に現れてくる。

1行1列のセルを、11とする。h1行h2列のセルは、h1h2となる。各行を述語、各列を変数とみなす。

11行11列のセルは、1111。同時に1行111列のセルも、1111。111行1列のセルも、1111となる。
[PR]
先日行ってきた、ロングツーリングで、御殿場で見かけた陸橋の橋脚です。まだ工事中なのですが、なんかかっこいい。

d0164691_21245043.png

[PR]
フルコースです。オドメーターによる走行距離は、237キロ。9/30に、走ってきました。寒かった。朝霧高原を走るのは、20年以上ぶりです。ぜんぜん記憶と違った。

写真は、朝霧高原の道の駅で撮りました。

d0164691_194267.png

[PR]
ASUSのノートPCに、アライのステッカーを貼っただけです。すいません。

ところで、クロームブックはいいですね。適当に速いし、安いから気軽に使えるし、これこそ文房具としてのパソコンです。

もうひと月くらい使ったかな。すっかりなれました。

d0164691_9424935.jpg

[PR]