  |
はてなキーワード: 担保とは
「Aかつ¬Aの証明を得ることができる」に対して、「いいや得られない。お前がそのように見せかけているだけだ」おれの計算(記号処理)手続きこそ推論規則に適っているし正しいと、反論されたら？
また、「そもそもここでいう『得る』とは」どういう意味か？と突っ込まれたら曖昧でなく『得る』ということが『得る結果の具体例ではなく』『どういうことか』記述できるのかという話です。
￢￢Ａ→Ａという規則に基づいた結果が
￢￢￢￢￢Ａ→￢￢￢(￢￢Ａ)→Ａ
なんだよ！と言い張られる。もちろん常識的にはおかしいと思えますが、いまは突き詰めたことを言っています。
一般には、￢￢￢￢￢Ａを書き換えるために、この記号列の一部分￢￢Ａに着目して、規則からＡと書き換えられるから、この結果を￢￢￢(￢￢Ａ)に代入？して、￢￢￢Ａに書き換えられる、という思考プロセスをとるでしょう。
しかしあくまでものとしては、ここで考えているのは￢￢Ａではなく￢￢￢￢￢Ａなわけです。
規則通りに書き換えられてない、言い換えるなら同じ規則を使っていないという主張に対して、そもそも同じ規則が適用できているということ、規則が同じとはどういうことか自体を定義や公理に組み込むことはできるのか。
矛盾や証明ということはまだその概念を記号列で示す余地があるが、規則が同じかどうかという定義もとい「規則」は厳密に定義可能かということです(無定義語として関係性の定義でもよい)。図形が合同か、みたいな合同の概念の定義など比べてもまたレイヤーが一段メタ的になっていて厄介というか。「違うのは自明じゃないか！」といっても、自明は説明できてこそ自明なのですが、ここでいう同じかそうでないかということについてはそれを根拠だてる定義は原理的に無理なんじゃないかと思えてしまいます。
さきほど『得る』という言葉に突っ込まれたら云々ということを言いました。
ブコメには「自然言語の曖昧さで数学をの厳密さ否定しようとしてるだけだ」というのがあります。
別に私は自然言語の曖昧さを問題にしていません。そこは問題の本質ではないです。
むしろこうした言葉は一般に疑いようなく明らかなものです。「左右」とか「これやあれ」みたいな近称や遠称の概念などもそう思われるでしょう。
しかしむしろこれらの概念には一切曖昧さはないという前提に立っても、これもごく単純な話で、曖昧でないからといって、いままでその概念を持ってなかった知性的存在に対して、「これ」や「左右」といった「概念」を、対面やジェスチャーを使えばいざしらず、記号列を用いて一意に定義できる保証はないよね、ということです。定義の厳密さを担保する必要条件が、記号論理学に基づくということにあるのなら、数学を厳密とのたまうかぎりにおいて、当然対面やジェスチャーではなく、これとか同じとかみたいなもっとも原始的な部類の言葉まで全て記号で一意に定義できることを示せなければならないでしょう。
あとあなたが↓のトラバと同一だと言ってくれたら以降↓の方のツリーに返信書いて一元化するのでそのつもりで
https://anond.hatelabo.jp/20240216215810
ちなみに関連しそうな話題として自分自身ラムダ式を勉強した経験があるけど
2. ラムダ項M, Nに対して (M N) はラムダ項。この形のラムダ項を適用（ラムダ適用）という。
という定義があるんだけど、これに基づけば(x x)というのもラムダ項じゃないのって思ってた。
でもラムダ式で(x x)なんて形のは見たことないし、違うんだろうなと。
でも論理的にはなぜ違うのか全く納得できてないので(納得感が正しさにとって問題じゃないとはいえあえて言うが)(x x)だってラムダ式でしょって胸を張って言い張れる。
分かってる人からみれば、そして俺にとっても￢￢￢￢￢Ａ→Aと同程度にバカげた主張なんだが、そのわかってる人にとっても「この規則ならこういうことが言えると思うのに、なんで正解とされてるのと自分が思ってることが違うの？」ってなることはあるはずで、それはこの世で一番数学ができる人であってもありえること。この世で一番数学ができる人さえ規則を正しく適用できていないらしいとき、そもそも正しい適用とはなんだってなりそうに思うんだが。
この場合はまず定義が先にあって文字の説明はその定義を表現しているにすぎない。言葉で定義が成り立ってるわけではないので一意に取れなかったらカジュアルに言葉の方を変えていいしそれで定義が変わることはない
ってブコメもあるけど、少なくとも定義者にとっては、定義をするたけに記号列を作りだしたそのとたんに、定義そのものも作られていくでしょ。
定義なるもの(一意であるべき対象)を記号列を通じて(間接的に？)考えている。
じゃあその記号列で相手にどういう推論スキームなり規則なりかが伝わってなかったとして、記号列を変えてもともとの定義なるものに対応させようとしたとき自分の中の定義内容に対する認識と、相手の中の定義内容に対する認識を担保するものはもはやどこにあるのか？
定義者自身にとっては、「記号列を作るとともに定義なるものをつくった(つもりになってる)」から、記号列と定義内容の関係は自分の頭の中でわかってる可能性"もある"けど、他人同士で頭の中をぱかっと割りあって共有することは不可能なので…
定義が変わることはないって、表現とともの定義自体を考えてるのに、表現を変えちゃったら、定義者自身にとってももはやもとの定義とは別物の何かを考えてるってことにならざるをえなくないかと。
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます.
ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います.
数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます.
(あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. )
現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてください. ここで公理とはあらかじめ定められた記号列で, 推論規則とはいくつかの文字列を用いて新しい文字列を生み出す操作です, 例えば文字列A→BとAが与えられたときに文字列Bを得る操作があります. 定理(数学的命題)とはこの操作によって生み出される文字列です. これらの操作は数学における証明を形式的に記述したものになっています. 論理式などもこの形式化のもとで特定の条件を満たす文字列として定義されます. 例えば論理式Pの否定は¬Pという文字列です. (ここでは否定を表すための記号として¬という文字列を用いています. )
ここまで文字列だけを考えた形式的なものですが, 構造やモデルを使うことによってこれらの文字列を解釈する(つまり意味を与える)ことができます. (詳細は省きます. ) 構造やモデルを定めることによって論理式の意味が一意的に定まります. またそれらの取り方を変えることによって意味が変わることもあります.
これの考え方によって(数学的な)意味は形式から分離されています. さらに気になる場合はゲーデルの完全性定理などを見てください.
そして適切な公理と推論規則を定めることにより数学そのものを形式的に扱うことできます. その適切な公理はツェルメロ-フレンケル集合論(ZFC)と呼ばれており, 現在の数学者はこのZFCを用いて数学をしています. (一部, 圏論などでZFCに収まらない議論があると聞きますが, それらもZFCの適切な拡張を考えることで解決できます. )
つまり, これまでに書かれた数学の証明などは全てこのZFCを用いることで文字列の操作に書き換えることができます.
一方で数学の論文は普段の言葉(自然言語)を使って書かれます. これは本当に全て文字列に書き換えることをした場合, 可読性が著しく落ち, また分量も膨大になるため人が読めないためです. しかし証明は自然言語で書きつつも, いざとなったら形式的に文字列に書き換えることができるという前提に立っています. そしてこれは理論的には可能であり, 数学の厳密性を担保しています.
「定義の一意性」に関してですが私自身が元記事の要点を完全に理解しているわけではないのですが, 数学に関していうとある数学的概念の定義が複数あることはよくあります. もちろんその複数ある定義が同値であることを証明されなければなりません. ここで同値というのはある数学的対象Aが定義Pと定義Qで与えられていた時に, 「Aが定義Pを満たすならば, 定義Qを満たす. またAが定義Qを満たすならば定義Pを満たす. 」ということです. 実際に使う際には用途に合った定義を用いることになります. それらは同値なのでどれを選んでも問題ないです.
以上がざっくりとした形式化された数学に関してです. 参考になれば幸いです.
追記: これは筆者個人の考えですが, 数学と哲学の議論はしっかりと分離してなされるべきだと考えています. もちろん相互の交流はなされるべきですが, 両者を混同するのは誤解や誤りの原因になると思います.
あと、『人生に本当に必要な物はなにひとつとしてお金では買えない』ってなった
まぁゆうてお金の奴隷をスパっと辞めれるレベルの資産を得たり・成熟したりしたわけでも当然なく、
『死ぬときは何をしたって死ぬ』と達観したわけでも、不安を解決出来る強力な能力を得たわけでもなく、
4年前と人格も能力も何も変わっていないのだが、環境変わって年収が変わったんだよな。昔の目標に到達した
あと親との関係が変わった
あと何も考えないで(契約と約束があるから)毎月この額は稼げる前提で考えてたけど、
病気で長期休養したので、2年目にして早速予定の年収に到達しない見込みである(月単価は変わらんが)
エリートビジネスマンじゃないので、目標の年収に到達とか抜かしても何もあがってないので、あがりみたいな顔してサボってぬくぬくしてないで、
安全や快適さを確保出来る資産の構築が出来るまで頑張んなきゃなぁと思いつつも、
目先の事もサボりまくる自分に出来るか？と思いつつ、でもまぁやっぱ守りたいものは守りたいので、
地道に試行錯誤して積み上げたい(願わなきゃ何も始まらないの精神)
4年前の日記
2020-01-21 怒りの種類
https://anond.hatelabo.jp/20200121082901#自分の不甲斐なさに怒った時
しばらく何もする気が起きない
プライベートでどうしようもない人を見た時の怒り
数分で収まる。すぐ忘れる
ネットでイージーモードの自称苦労話を見た時
数分怒ったあとやる気出る。ぐっすり眠れてお目覚めバッチリで万能感
同じく外資で首切りが当たり前の職場で働いている者ですが、大枠としては現在の方向性で良いと思います。
債券を一定程度持っていくのも良く、2000年以降のデータでバックテストをすると、SP500やオルカン等の株100％のポートフォリオより、株60～70％・債券30～40％のポートフォリオの方がボラティリティ（標準偏差やMax Drawdown）が大きく低下するので、債券を一定程度持っているのは良いと思います。
唯一変えた方が良いと思うのは現金比率が高いことで、50万円くらいにして、残りを東証上場の債券ETFを買うのが良いと思います。現状、おそらく債券比率は10％以下ぐらいかもしれませんので。
そんなに現金比率が低いと怖いと思われるかもしれませんが、某日系大手証券は保有資産の60％程度の額をかなりの低金利で借りられる証券担保ローンを提供しており、それだとWEB上から即日で融資を受けられるので、有事の際にはそのようなツールで対応ができます。外国株をお持ちのようですが、その資産をその某日系大手証券に移すときには手数料もかかりませんので、それを移すのが良いと思います。
なので親の自業自得だろうとシンママだろうとシンパパだろうとなんだろうと子供の生育環境はなんとか担保しないとほっとくと国が滅亡してしまう…
映画やアニメ、漫画等で見てる時はそういうものだと思って見てるけど、改めて考えると不思議だなと思うファンタジーの設定ない？
そんなの真剣に全部描写してたらスピード感も無くなるだろうし、余計に疲れそうだしで描写を望んではいない。
凄い高さにジャンプしたり、そのまた逆に凄い高さから着地、凄いスピードでダッシュしたりした場合、
接地してた箇所にすんごい衝撃ないの？って不思議。
ドラゴンボールみたいなのは空飛ぶレベルなので脳内ではセーフ判定。
分子とか停止してるレベルだと真っ暗にならないの？って不思議。
固さも気になる。呼吸すら辛そう。
元いた場所の事後って物質まるまる消え去ってるので、移動する物体の大きさによって偉い事起きるんじゃないかなって不思議。
こんにちは、バーチャルってますか？昔バーチャルリアリティーの研究をしていたものです。
Apple Vision Proが現行VRの頂点にいままさに君臨しつつあることを簡単に解説したいと思います。
Virtual reality(VR)の歴史は古く、狭義の"コンピューターで作られた仮想空間を現実であるかのように疑似体験する"という意味でも50年以上前から存在します。
Computer Generated Image(CGI)を利用した模擬飛行装置、いわゆるフルフライトシミュレーターがJALに導入されたのは1977年です。
本物の飛行機に訓練生のせて飛ばすのに比べたら、安全で安価で何度でも使える大変にオトクな装置だったからですね。
（フライトシミュレーターはざっくり100年ほどの歴史がありますが、CGIを本格的に利用しだしたのはここ50年程です）
とはいえ、あくまで比較の問題で、設備投資としてはかなり高額ですし、維持費も結構かかります。
いくつものルーツを持ちますが、Head Mounted Display(HMD)が開発された要因には、より取り回しが楽である、という点があったことは間違いありません。
（直接的な祖先としては1961年のHeadsightと言われている）
ただ、実はHMDは主に技術的な課題を解決する目途が立たなかったことから、プロジェクタのような実空間に映像を投影する装置に一時期流行が移ったことがあります。
おそらく、国内で最も手軽に最先端の空間投影型のVRを体験できるのは、東京ディズニーシーのソアリン：ファンタスティック・フライトでしょう。
（豊洲にあるチームラボプラネッツは、アート寄りなのでVR体験としては若干特殊だと思う）
さて、その後徐々に技術的な課題が解決され、HMD型のVRは少しづつ実用化されたり、販売されるようになりました。
VRにはいろいろありますが、ざっくりとは以下の4パターンにわかれます。
No.1の表示装置というのは、いわば映画館のような大スクリーンをどこでも楽しみたい系のHMDです。
No.2の仮想空間に入り込みたいのは、VRChatのようないわゆるキャラクターになり切る、というものですね。
No.3の現実空間に情報を追加するのは、静止画ならプリクラ、動画ならサーモグラフィカメラなどもそれに該当します。
No.4がApple Vision Proが到達しつつあるものであり、かつ、ずいぶん昔から研究やパテントが飛び交うも実現が難しかったものです。
違和感なく重ね合わせるという部分が、最も困難でした。
人間の五感は大変に優れており、もうちょっと鈍感でも良いのになと思う程度には鋭敏です。
たとえば、任天堂switchのリングフィット アドベンチャーは、仮想空間に入り込むデバイスとしては大変安価で割と追従性も悪くありません。
しかし、"仮想空間に入り込んだ"と感じるかというと、これはかなり微妙でしょう。あくまでもコントローラーの一種だ、と思われるのではないでしょうか。
同様に、新型コロナが流行ったころに飲食店などに導入された、自分が映った映像に体温が重ねて表示されるものを"仮想空間の情報が重ねあわされている"と感じる人もまた少数派でしょう。
と、ここまで読んでいて少しVRに詳しい人ならこう思ったのではないでしょうか。
MicrosoftがMicrosoft HoloLens で実現していたのでは？と。その通りです。
（これに、映像をどう見せるかの方式として、ディスプレイ型、網膜投影型、虚像投影型などなどがありますが、今回は割愛）
Meta Questは基本的には非透過型、遮蔽型のHMDです。いわゆる没入感が強く、完全に視界を覆ってしまえるため、大掛かりな表示装置を安価に実現するには最適です。
HoloLensは透過型で、光学シースルータイプです。いわゆる実際の現実世界が透けて見えており、そこに仮想空間を重ね合わせています。非遮蔽型でMRが実現されています。
Vision Proは透過型で、ビデオシースルータイプです。完全に覆ってしまう遮蔽型で、ビデオで撮影した現実世界と仮想空間とを重ね合わせて見せています。
つまり、Apple Vison ProはMeta Questに近く、HoloLensはどちらかというとARに近いMRです。
目的です。
Meta Questは、VRとしては仮想空間に入り込む方に重きを置いています。そのため、大画面で映画を見たい等の場合は、Meta Quest 3などで必要十分でしょう。
HoloLensは、MRとして現実世界側に重きを置いています。産業用途、トレーニングや作業効率アップなど、空間に投影できるマニュアルとしての用途を押し出していますし実績もありました。
Vision Proは、MRとして現実世界に仮想のディスプレイを表示させることに特化しています。ディスプレイの品質を担保するために遮蔽型にし、現実世界を見せるためにおそらく専用チップでビデオシースルー処理をしています。
X(Twitter)の感想や使用感レビューを読む限りにおいては、（属性が極端に偏るという点をおいても）かなり広範囲な人がほぼ違和感なくビデオシースルーで現実世界を見ることが出来ています。
光学シースルーに匹敵するビデオシースルーというのは、その時点で光学シースルータイプの上位互換になります。
そして、最も大きな特徴は、仮想ディスプレイを表示することに特化したその目的です。
現実世界に仮想のディスプレイを表示するというその目的において、Apple Vison Proは性能面ではほぼ完成形です。
Apple Vison Proは、現実世界に仮想のディスプレイを表示させる手段としてほぼ完成形です。手軽に持ち運べるマルチディスプレイ環境が欲しい人には最終回答でしょう。
例えば新幹線の車内でトリプルディスプレイで仕事をしていても、他人から覗かれる心配は無く、かつ、車窓を楽しむこともできます。防犯の面でも安心でしょう。（キーボードを使うならショルダーハックに注意が必要なのは変わらず）
仮想空間のみが必要な場合は、Meta Questで充分です。どうせ自室には見るものないし、ゲームしかしないし、という場合には、Apple Vison Proを買うのは勿体ないでしょう。
HoloLensは、その性質上、専用のアプリやソフトウェアが必要になりました。例えばエンジンの修理用のマニュアルを表示させて効率アップしたいなら、それ専用のHoloLensに特化したマニュアルを作成する必要がありました。
大量導入してバッチリハマる用途なら普及の可能性はあるかもしれませんが、紙のマニュアルと無線ヘッドセットの指示を上回るのはかなり難しいでしょう。
そして、Apple Vison Proは普及するのか？という点において、一般的には普及しないでしょう。
ご家庭にはテレビがあり、レジャーでは映画館があり、一般的にはノートパソコンの一画面で充分です。
また、業務用途においてはWindowsに対応していないため、会社で支給されて出張社員がみな使うというのも考え難いです。
そのため、これはMacbook利用者のマルチディスプレイ環境として、使う人が使うような、ほそぼそと売り続けられるApple Studio Displayのような位置づけになるでしょう。
真に空間コンピューティングとして見かけるようになるのは、おそらく三年以上後、iPhoneとApple Vison ProとAirPods Proの3点のみで仕事が完結する人がそれなりに増えてきてからだと思います。
テレビ会議、メール、ブラウジングと動画視聴、主に文字が主体のコーディングや資料作成で仕事が完結する人にとっては、良い時代になりそうです。
【山本一郎】「パルワールド事件」と，そこで起きてることを理解するための「補助線」
https://l.pg1x.com/WgfydpBBk25xmYQz8
「そして，ポケモンや任天堂からすれば完全に売られた喧嘩である以上，高品質なものを，ユーザーコミュニティに開放できるような仕組みで，廉価で出すんじゃないかと期待しています。」
これを一番忌避しているんだよ。
従来型のコミュニティってのを。
『パルワールド』の真髄は洋ゲーライクな部分の有機的結びつきを許容しているところで、任天堂ゲーはそれを拒絶しているところ。
つまりどんなにクオリティを上げても「ユーザーたちがやりたかったゲーム」は「表層的」な部分しか承認しないんだよ。
勿論「それでいい（やり過ぎはコンテンツの摩滅、会社の疲弊につながる）」と任天堂は思っているから絶対にやらんだろ。
ただ、ソロゲーとしての手触りや楽しさは、間違いなく担保してくるのが任天堂だから、和ゲーを求めてるユーザーは待ってればいいと思うよ。
ファッションは古着屋巡りがいいよね。1000円でコート買ったよ。
修正されたことによりわいせつ図画に当たらなくなっている本が～ということを言ったら
「最新の判例では「松文館事件」で【修正も必ず猥褻でない根拠ではなくなりました。】」とまるで揚げ足取りみたいな返事が返ってきた。悪気はないのだろうが。
修正済みなわいせつ図画に当たらなくなっている本←修正自体がわいせつ図画を否定する根拠
修正済みな、わいせつ図画に当たらなくなっている本←そうではない
と、(カンマ)一つで明確に書き分けられるのに、日本語だとこれで意味を分ける機能が文法の次元で担保されてないからね。
「猥褻図画だったが、猥褻性を取り除く適切な修正によってわいせつ図画でなくなった本」とでも言わねばならなくなる。
いやこれでも「修正自体がは猥褻性を取り除く根拠」というわけではないとか言われかねないなあ。
ほんと日本語が不便すぎていらぬやり取りをしないようにできるだけ言葉を尽くしても、むしろあまりそういうこと考えず書いて事後のやりとりで認識のすり合わせをする手間と大差なかったりする。
人間の集合体である社会は、物理的に可能とか効率的だということとはまた別の力学に支配されている。
道路啓開とか緊急の物資配布のような作業にはリスク管理やリソース配分といった調整作業と応分の費用がかかる。誰がそれを担保するのか。
ボランティアは問題解決型の思考をする。ゴールから具体的に必要な施策を逆算して「それなら自分たち有志でやれる」「じゃあやろう」となる。
ヒマなお人好しをとりあえず呼び集めて命ずればそのとおりやるだろうというトップダウン型では何も動かない。
現場ニーズから逆算して自分の手持ちカードにつながった時にボランティアという選択肢が生まれるのだ。
ダメ元で呼びかければ誰か奇特な人がやってくれるんじゃねえの？というような夢想はどこにも繋がってない。
被災当事者にとっては、そういうコタツでうつらうつらしながらの夢想のタネにされること自体が、どこにも吐き出せない毒を少しずつ胸にためることにもなる。
単純に自分のやりたいことに対する欲求には抗えないからあとから自分が納得できる理由をそれぞれつけてやってるだけだと思う
でも他人の作品を下敷きに創作することに対するうしろめたさとかがないわけじゃないから、特に腐女子の内ゲバとか学級会とかはその二次創作に対するうしろめたさを軽減・払拭するためにから同じ層の中で自分より「まともでない」ことをやってるやつを見つけて排除したり嫌ったりすることで自分の「まともさ」を担保してるだけだよなって内側にいてよく感じる
キャラブレとか夢とか現パロとか原作者への態度とかお金の使い方とかなんでもいいけど二次創作にまつわる行為で「原作愛がある」「原作愛がない」って判断をして他人のそれを断罪したりしてるのはすごい
二次創作なんてしないただのファンからしたら全部筋違いでまるごと原作でないものでしかないのに
欲深くてまあまあ罪のあることをやってるんだからそれは真正面から認めて私はやってますと言うしかないことをかっこいい理由つけて正当化だけはするなよなといっつも思う
自分がやりたくて仕方ないからその欲求に従ってやってるだけで他に対外的にすばらしい理由を見つけようとするなという気になる
べつにいいけどそれをお題目に叩ける奴を見つけて叩くのはマジやめろという気持ち
遺伝子操作の目的としては例えば病気に強くなるとか身体能力が高くなるとか寿命が伸びるとかが一般的に考えられると思う。
誰だって望むことだし実現されれば人類が生物としてさらに進化することになる。
前向きな理由で行われることなのに禁止するのは人類にとって多大なる損失だと思う。
運動で身体を鍛える、薬や手術で病気を治す、食事を改善して健康になる。
出生前診断で本来生まれてくるはずだった障害やダウン症の胎児を堕胎するということはそれらの性質を持った遺伝子を明確に排除していることにほかならない。
３日前ジジババ従兄弟と行ったのが楽しかったのでもう一度行きたいらしい
鹿が見たい、山で食べたレストランにもう一度行きたいと
朝飯を食うて出かける準備をする
JRと近鉄どちらも時間はさほど変わらないので普段使うことがない近鉄にした
京橋駅に火の鳥が停まってた、これに乗りたいと駄々をこねる、全席完売、急行に乗る
奈良公園到着、鹿がうじゃうじゃいる
鹿せんべいを買ってやった、キャッキャ叫びながらせんべいを放り投げる。かわいい
人が食うても構わないと教えてやると最初は怖怖舐めたがそのうちにうまいうまいと残り全部自分で食うてしまった
鹿が恨めしそうに寄ってくる、追加購入、半分は息子が食う
最終的には４束買わされた
そんな事をしながらなんとなく春日大社の参道を歩いていると行例停滞してきた
まずい戻ろうと振り返ると既に後方から人並みが押し寄せ引き返すことが不可能に。
そのまま参詣せざるを得ない状況になった。
息子が沿道屋台の７００円の綿飴をねだる
原価１０円もしないものは買えない
後日しかるべき店で経済合理性が理にかなった綿飴が見つかれば購入してやる
適切な消費行動、我慢、選択ができなければ資本社会の奴隷になるぞと教育
奈良満喫、息子念願のレストランは場所不明、山の方だと言うが、知らんがな、ちゃんと店名を覚えておけ、闇雲に歩いて見つかるわけが無い
５才児の世界は小さい
山上に到着、遊園地は冬季休園、周辺を散策、寒い、大阪の町を見渡せる
息子は満足、帰る
火の鳥にどうしても乗りたいと蒸し返す
そのうちそのうちと誤魔化す
風呂に入って寝る
夜、近鉄予約サイトを見ると翌日ベストでグッドな時間にポツンとひと席だけ空席があった
予約ぽちっとな
１月３日、火の鳥に乗車
伊勢神宮まで行っても仕方がない、難波から大和八木まで乗車、３０分で十分だろう
座席は先頭車一番前だった、予約したときは気にしなかったがなんだこのラッキー、ひと席しか無いので息子が座り俺は横で立つ
乗車前駅員に確認し未就学児の息子の分の乗車券も購入している、駅員に聞いたら特急券は不要とのこと。
検札など来ないことはわかっているがこういう細かい不正やズルは嫌いなのだ。
大和八木で乗り換えて京都へ、二階建て特急の二階席指定も取ってある
昼、京都到着、そのまま大阪に帰るにはまだ早い、さてどうするか、ノープラン。
腹が減ったがマクドナルドしか開いてない、正月からハッピーセット
京阪石山坂本線に乗り換えて終点の石山寺まで、二両編成、河川敷で少し遊ぶ
行き当たりばったりの旅も楽しいよね
小さな駅と小さな列車に息子喜ぶ、山麓で川岸の石山駅は風情が良い
びわ湖浜大津駅から京都市内に抜けて帰る想定だが改札を抜けずに折り返したら不正乗車になるので一旦改札を抜ける
周辺を散策
近くにケーブルカーがあるんだ今度乗りに来ようねと言うと
今日乗りたい、今すぐ乗りたいと言い出す、１５時、時間的にギリかと
１０分ほど歩いてケーブルカー乗り場に到着。１５時半
山上に連絡バスがあり反対側のロープウェイまで行けると教えてもらう。
Googleマップで見るとケーブルカーの降り場からバス停まで結構距離がある
駅員からも頑張って歩かないと間に合わないとアドバイスされる。
息子はスマホでゲームをしている、てめぇが乗りてぇつーたんだろうが、景色を見ろ景色をと叱りつけるとチラ見して「見た」だと。これだから乗り鉄は嫌だ
山上に到着、寒い、１６時、日が暮れ始めている、あれ？ちょっとヤバい？
急いでバス停に、徒歩１０分と書いてある、延暦寺には興味はないのでパス、てか時間が無い
バス停手前が長い登り坂になっているのだけど坂の途中でバスが走り出すディーゼル特有の排気音が聞こえたので少し焦る。
乗客はわりと居た、外国人の男がバスの運転手に「ちょっとまってくれ、妻がぁ」
女がひぃひぃ言いながら坂を登ってきていた、セーフ
そんなこんなでバスは５分ほど走り叡山ロープウェイ比叡山頂駅に到着
ロープウェイは最終便。既に薄暗い
ロープウェイを降りてケーブルカーに乗り換える、これも最終便。既に日は暮れていた。客は結構いた
息子「世界が見渡せるすごい、あの辺が鉄道博物館に違いない、あそこに夢のEF55があるんだ、今度行こうね」
世界はそんなに小さくは無いぞ
ケーブルカーの車内に建設当時の工事写真が展示されており、息子は屋根なしむき出しの無蓋車がツボにハマったようであれに乗りたいと言い出す。
無い、無いものはない諦めろと諭す
息子は、大金持ちになってこの会社を買収して実現すると宣言、おう頑張れ
ともかくケーブルカーで麓まで降りる、正直山上では若干ビビっていた、真っ暗だし
自分一人ならどうにかなるが親として５歳の息子の安全を担保する責任がある
行き当たりばったりが過ぎたと反省
ともかく麓まで降りればあとは金の力でどうにでもなる
さてこっから京都市内に戻るにはどうすれば良いのか、すぐ近くにバス停がある。
もう少し早ければバスを乗り継いで四条大宮、嵐電、嵐山、阪急のコースだが流石に無理
既に１７時
地図を見たら近くに鉄道があった。叡山電鉄叡山本線、たぶん俺も初めて乗るやつ
八瀬比叡山口、改札機も無い小さな駅で待っていると一両のかっこいい列車が来て息子発狂
どうやら８編成のうち１編成だけ特別な観光列車に車体改造されておりこれに大当たり
息子は大興奮で飛び跳ねている、かわいい、３分ほどで冷めてスマホに戻る
始発駅なので余裕で二階席をゲット
パパはホーム側下階席の方が好きなんだけどなぁ、まぁいいや
１９時
ママ怒ってる
相当な距離歩いたが途中グズらなかった、成長したなぁ
1,000cc, 2,000cc （さらには 8,000cc といったバイクもありますが）
体の大きな私からしたら、同額の教習料を支払っているのに、不公平な状態です。
このような現状を改善するために、
行政指導をいれる、法制改革する、といったことができたらと思うようになりました。
750ccの約250kgのバイクで教習するのですが、身長の高い男性（または程よく訓練された肉体）には軽すぎる場合があります。
車体の重量は調整してしまうと操作性にも影響がでてしまうので、
普通二輪免許の区分を移動し、～250cc（小型二輪）、250cc～750cc（普通二輪）、750cc～（大型二輪）とすれば、
750ccに満たない車体は身長180cm以上（または程よく訓練された肉体が）ないとかえって扱いにくいです。
でもこれは行政指導ではなんともできないので、法制化が必要なのかと思います。
250ccは、バイクで安全を担保する必要のない車検不要の排気量であるのに
高速道路を走れるのは恐ろしいです。
