人気ブログランキング |
今度こそ静岡に残った最後の道の駅に行きましたよ。

今回は寄っただけでなにがあるのか見ていません。

道の駅伊豆月ヶ瀬
いままでずっと会社名義で保険に加入していましたが今後は自分で入らないといけません。

そこで楽天の一括見積を利用してみました。けっこう細かいことを聞かれますがアップロードすると次々にメールが届きます。今後はたぶん勧誘電話も来るでしょう。




タグ:
僕の乗っているハスラーは会社の名義です。もうじき任意保険が切れるので自分の名義に書き換えました。

会社を消滅させるためにすべての資産を移さないといけないのです。

軽自動車検査協会に、車検証、会社の代表印と自分の認印、あとは住所の記載された戸籍抄本を持って行き、案内どうりにすすめて20分程度で完了しました。

戸籍抄本をとる手数料以外には費用はかかっていません。




静岡県で最後に残った道の駅*でした。

8/3にがんばっていってきました。国道一号を」降りて、国道473号と150号を通ったのですがずっとバイパスの快走路で最高でした。天気も良かった。

昼食も食べました。ここのレストランは海産物メニューがあってうれしいです。

いいところなんですが遠いのが難点ですね。

*念のために確認したら新しく「伊豆月ヶ瀬」ができている! 伊豆なので今月中に行ってきます。




昨日のところを具体的に書いてみる。

指示子の集合
H={h1,h2,,hi,,}

各指示子の表す数の集合。
h1={1,2}
h2={3,4}
hi={0,9,11}
など各指示子の集合を定義する。

1∈h1なのでh1(1)=T
3∉h1なのでh1(3)=F

h1のG数を5とするとh1=H5となる。h1のゲーデル数5をh1に適用した結果はH5(5)=h1(5)となる。これは文なので真偽とゲーデル数が存在し、H5(5)=h1(5)のG数を5*と記述する。

ここまではいいかな?
タグ: