公理的数学論とオブジェクト指向プログラミング

公理とは プログラミングで公理に当たるもの オブジェクト指向の数学的根拠 先日公理系について書かれた良記事を見つけた。 arai-no-math.hatenablog.jp 自分は数学系ではないが、インスピレーションを受けたので、まとめてみたい。 公理とは 議論を始めるにあたって仮定することをまとめたもの。 数学では議論を始めるにあたって、「議論の対象は公理系を満たすものだけである」ということを宣言し、その公理系から論理によって対象の持つ性質や理論を導く。 例えば線形代数学では、ベクトル空間の公理を満たすものをベクトルと定義し、ベクトル空間の公理からベクトルの性質やその集合であるベクトル空間の…

【インプレ】moto G7

概説 デレステ プレイ MV AR（デレスポ） VR（デレスポ） カメラ その他 付属品 動作 その他 これまで、スマホはASUSのzenfone goを使っていたのだが、最近USB端子が物理的に壊れてきて、接触不良で充電できないことが増えてきた。 bluepost69.hatenablog.com 次はmotorola（lenovo傘下）のG7を買った。なのでインプレを書いておこうと思う。 概説 G7は今年発売された最新機種。 高級機種のG7 plus、無印のG7、廉価版のG7 Powerの3つのマイナーバージョンがある。今回は無印G7のsimフリー機種をbiglobe（docomo回線）の…

読みやすい文章を書く5つのポイント

自分は文書を書くのが割と得意なのだが、 気をつけていることを書いておこうと思う。 主語と述語は可能な限り近づける 連用中止法はなるだけ使わない 読点「、」を適切に使う 1つの文で3つ以上のことを言わない 同じ単語は言い換える 主語と述語は可能な限り近づける 主語と述語のねじれは、作文で致命的なミスだ。 x 僕は阪神タイガースは来年必ず優勝すると思われる。 この文を要約すると「僕は思われる」となってしまい、ねじれていることがよくわかる。それでも元の文でねじれがわからないのは、「僕」と「思われる」が離れているからだ。 離れていると悪いというわけではないが、文をねじれさせたくなければ近づける方がベタ…

武雄温泉に行こうとしたがやめた話

要約 武雄温泉に行きたいと思った でも結局やめた で、どうするか 要約 秋の乗り放題パスで武雄温泉に行こうとしていた。 鈍行だけはきついので新幹線を使おうと思っていたが、高かった。 宿も高かった。 なので、今回はパスして次回和倉温泉に行くときまで取っておくことにした。 武雄温泉に行きたいと思った 最近バイクにも飽きてきたので、久しぶりに鉄道旅をやるかと思った。 次の18きっぷシーズンになったらやろうと思っていたが、秋の乗り放題パスの存在を思い出した。秋の乗り放題パスとは、18きっぷの秋版みたいなもので、18きっぷと似た効用で3日通し7800円程度の乗り放題きっぷだ。 温泉に行きたいなあと思った…

全世界の自動車をEVにすることはできるのか

先日吉野先生がリチウムイオン電池の研究でノーベル賞を受賞された。自分もエネルギーと名前の付く課程にいたことがあるので、思うところをまとめておこうと思う。 リチウムイオン電池の偉大さ そもそもリチウムとは どれくらいのリチウムが必要なのか 代替となる研究 海水からリチウムを取り出す 代わりにナトリウムを使う まとめ リチウムイオン電池の偉大さ リチウムイオン電池は、今や生活でなくてはならないものになっている。情報化社会の主役であるスマートフォンやノートPCの電源をはじめ、ありとあらゆる携帯端末の電源はリチウムイオン電池になっている。従来は鉛電池だった自動車やバイクのバッテリーもリチウムイオン電池…

2019年台風19号運休中の北陸新幹線の乗り継ぎ

はじめに：台風19号の被害に遭われた方へ、心よりお見舞い申し上げます。 2019年10/15現在、北陸新幹線は台風19号の影響で長野～上越妙高間で運転を見合わせている。当面の運行ダイヤが記載されているが、接続列車などが書かれていないので、まとめておこうと思う。 注意：この記事は公的な機関によるものではありません。乗車される場合は必ず最新の運行情報をよくご確認ください。この記事による責任は負いかねます（誤りがあったらコメントください）。 臨時列車ダイヤ 信越本線 https://www.jrniigata.co.jp/top/20191015rinzikaisoku.pdfより。 長岡発 直江津…

バイク屋とのつきあいについて所感

思うところがあるので、これから新しくバイク屋さんを選ぶ人のために独断と偏見でまとめようと思う。 ディーラー系 メーカーの名前を冠してるお店。 老舗であることが多く、テクニックは信用できる。逆に需要過多になり、人手不足で待ち時間が長い店もある。 ブランド力があるからか、サービスはちょっと悪い。過剰サービスで工賃を取っていたり、融通が効かない箇所がある。いろいろな値段も高い。バッテリーの充電や充電器を買えば1年も経てば元が取れるし、プラグも毎回清掃せず定期的に交換したほうが安い。 独立チェーン系 メーカーとは関係無いが、複数店舗のあるチェーン店。 ディーラー系と違ってイチから顧客を獲得してきた経緯…

ブログリニューアルについて

ブログを統合したので、リニューアルします。 1.カテゴリ整理 はてなブログのカテゴリの仕様 このブログのカテゴリ付けの基本方針 00：文書のタイプ 01：記事の分野 11〜：詳細なタグ 2.投稿予定（目標） 1.カテゴリ整理 はてなブログのカテゴリの仕様 階層はない ページ横のメニューはソートされて表示される。 このブログのカテゴリ付けの基本方針 「xx_（カテゴリ名）」とする。xxは数字でソートに使う。 00：文書のタイプ 旅行記、インプレ、書き物など。 01：記事の分野 鉄道、自動車・バイク、テック、ラボ（科学）など。 11〜：詳細なタグ 01の分野に応じて詳細なタグを設定する。 例：「1…

「酷道」に迷い込まないために

酷道とは 「酷道」を察知するには 3桁国道は基本的に怪しい ストリートビュー 覚悟して飛び込む 要するに 酷道とは 国道なのに、文字通り「酷い道」のこと。 ツーリングルートを決めるとき、「国道」だと安心してルートに組み込んでしまう。天下のGoogleマップも「国道」だと広域農道や県道より優先して案内してくる。しかし世の中には「これが国道か？？？」と感じるくらい酷い国道もある。 具体的には、 センターラインなどなく、常に対向車に気をつけなければならない 薄暗かったり見通しが悪い 路面が濡れていたり落ち葉が落ちていたり路面状況が非常に悪い 左右のカーブが続き、曲率もきつい 上述の理由から速度が出せ…

【レビュー】キャンドゥVRメガネ

最近はスマホでもVRゴーグル・グラスを買えばVRコンテンツが楽しめるようになってきた。それを受けて、各百円均一チェーンも格安VRグッズを出している。今回はキャンドゥのVRグラスをレビューしようと思う。 VRコンテンツ 百均VRグッズ 百均以外 レビュー まとめ おまけ VRコンテンツ youtubeがVRに対応している。360°VR動画で右下のゴーグルマークを押してVRゴーグルなどにつけると、VRコンテンツが楽しめる。 また、2019年09月、デレステVRのスマホ版のデレスポがサービスインした。これによってPSVRがなくても推しが3Dで手を振ってくれるようになった。はあ、桃華ママ... しかし…

【Android】電源キーを摩耗させずにスクショを撮る

Androidでスクショを撮る場合、Android OSの機能としては電源キーとボリューム下キーを同時押しするということになっている。 しかしハードウェアキーはUSB端子と並んでスマートホンで消耗しやすい場所であり、デレステでスクショを撮りまくるような場合に、何度も電源キーは押したくない。 タッチでスクショを撮るメーカ独自機能 メーカによっては、タッチでスクショを撮ることができる。 たとえば、ASUSのzenfone Goはタスクキーを長押しするとスクショが撮れる。またmoto G7は三本指でタッチすることでスクショが撮れる。ただ、G7のタッチは画面タッチにカウントされるため、デレステで3本タ…

20190901 中国赤ジャがツーリング その2

2日目は、門司からフェリーで帰る予定だった。 しかし宇品のホテルの寝具が異様に臭いがきつく、眠れず参ってしまった。とはいえ広島からは門司のほうが近いので、多少のトラブルであれば続行するつもりだった。しかし名門大洋フェリーは当日でも出港までなら70%返ってくるので、宇品から高速で返ってもおよそ元が取れることもあり、引き返すことにした。 とはいえただ引き返すだけだとおもしろくないし、時間は無限に余っているので、可能な限り下道で距離を稼ぐことにした。その上で行きと異なる道ということで、R2で東広島まで出た。 青看板に「安芸津」と出てきたところで思い出した。 赤じゃがをまだ食べていない。昨日は間に合わ…

20190901 中国赤じゃがツーリング その1

「そろそろバイクのツーリングも記録しとくか」と思ってから、かなりの間ほったらかしてしまった。久しぶりに泊まりのツーリングをやったので、記録しておく。 背景 旅程 背景 就職してから学生ほどは時間が取れなくなるのは誰もが通る道だが、数少ないまとまった休暇のひとつである夏期休暇が今年もやってきた。 1年目の夏（2018年）は盆休み期間で、うちの実家は盆正月は親戚付き合いに借り出されるし、何より暑い。さらに7月ごろまでバタバタしてて疲れていたので、琵琶湖一周だかどっかに日帰りで行って終わった（どこに行ったかもはっきり覚えてない）。 ただ、秋の三連休が続く時期は、CBRが納車されたので記念に琵琶イチを…

奈良盆地を横断する道路

北部（奈良市街方面） 国道163号 阪奈道路（大阪府道8号・奈良県道1号） 南部（天理、桜井、宇陀方面） 国道25号（非名阪） 中和幹線（奈良県道105号） 国道165号大和高田バイパス 有料道路 第二阪奈道路 西名阪道 南阪奈道路 まとめ 大阪と伊賀・津方面を行き来するとき、必然的に奈良市街や奈良盆地を東西に横断することになる。ところが奈良盆地は平城京に始まる古い土地なだけに道がややこしい。そこで主な道をまとめておこうと思う。 北部（奈良市街方面） 国道163号 最も北に当たる。清滝峠をトンネルで越えて生駒市北部を抜けて、木津川市から京都府に入る。 中央環状線から清滝までおおむね片側2車線で…

道の駅 0004. マキノ追坂峠

目次 ビワイチ、北陸への道の休憩地点 アクセス ビワイチ、北陸への道の休憩地点 大阪、京都方面から北陸へ行くには、琵琶湖の西側を通るR161が近道になります*1。道の駅マキノ追坂峠はそのR161の峠越えの関西側にあります。また琵琶湖一周の時に湖東へ出るR303との合流地点より手前にあり、ビワイチの際の休憩地点にもなります。 アクセス 道路：国道161号京都方面からでは湖西道路をまっすぐ北上すると着きます。ただし125cc以下は通行不可区間があるので適宜迂回が必要です。bluepost69.hatenablog.comまた堅田付近は湖西道路も下道も非常に混雑しますが、迂回路はR367まで上がるし…

【インプレ】Degner 防水サイドバッグ NB-148

Degnerから新しい防水サイドバッグが発売された。 防水サイドバッグ/WATER PROOF SIDE BAG(ブラック) [NB-148-BK]｜ バイク用品通販 DEGNER ちょうどCBR400R用のサイドバッグを探していたので購入した。 CBR400Rへの取り付け 付属品だけだと無理 ホームセンターの荷締めベルトを使う 使い勝手 持ち運びは不便 防水は今のところ問題なし 使うならつけっぱなし 見た目 CBR400Rへの取り付け 付属品だけだと無理 リアシートに留め具のついたメインのベルトを設置する その留め具に本体のD環をつける 適当なところに補助ベルトをつけ、バッグと結ぶ という形…

道の駅 0003. 琵琶湖大橋米プラザ

琵琶湖大橋が望めるロケーション 近江牛コロッケ・メンチカツが絶品 アクセス 琵琶湖大橋が望めるロケーション 琵琶湖大橋の堅田側入口の近くにあり、琵琶湖大橋が見える場所にあります。また実習船「うみのこ」が停泊していることもあります。 近江牛コロッケ・メンチカツが絶品 近江牛コロッケとメンチカツが非常においしいです。コロッケはちゃんと牛肉の味がします。メンチカツは非常にジューシーです。 アクセス 道路：R477 R161からも至近です。琵琶湖大橋を通らない場合でも利用できます。

道の駅 0002. お茶の京都みなみやましろ村

茶畑の見える道の駅 アクセス 茶畑の見える道の駅 京都府南部の山城地域は宇治茶に代表されるように茶の栽培が盛んで、ところどころに茶畑が見られます。京都の南端、南山城村もそんな地域の一つです。 道の駅お茶の京都みなみやましろ村は比較的新しい道の駅です。車道を挟んで向かい側には茶畑を見ることができます。建物には道の駅によくある特産物売り場やレストランのほか、地元の方のためのコープも入っています。自転車ラックは木で組まれた特徴的な形をしています。関西本線の月ケ瀬口駅も近く、単行気動車を遠く眺めることもできます。 アクセス 道路：国道163号 鉄道で関西本線月ケ瀬口駅からも徒歩圏です。R163は木津付…

風速10m/sでバイクに乗ったら吹っ飛ばされそうになった

タイトル通り。 いきさつ 舞洲で約束があったのでバイクで行くことにした。舞洲はレジャー施設が多いが鉄道が通っていないのでバスに乗らないといけないが、バスは本数を気にしないといけないし混むし乗りたくない。舞洲までは距離もいい感じだったのでYBRで行った。 しかし、当日は低気圧が近づいて天候が超悪い日だった。自分はアホなので雨が多少降っていてもバイクを出すが、この日は風もあった。特に舞洲は吹きっさらしの場所なので、予想風速が確か10m/sだった。 しかし、吹きっさらしの湖岸道路で強烈な横風の中を走ったり、離陸してしまいそうなくらいの向かい風を経験したこともあるので、いけるやろで突撃してしまった。と…

CBR400Rに荷物を積む

CBR400Rはレーサーバイクなので、荷物がとにかく積めない。だからといってキャリアをつけたりハコをつけるとダサいし長くなってしまう。なので自己流の荷物の積み方をまとめておこうと思う。 積載する上でのポイント リアシート まずキャリアなどという便利なものは当然存在しない。一応社外品で出るには出ているが、リアカウルに穴開けが必要となる。 またフックを引っかける場所さえ少ない。2013年モデルはグラブバーがついているが、2015年モデル以降は省略されタンデムベルトとなった。 フックをひっかける場所 以下が候補になる。 リアユニットを支持している金属部分 金属なのでフック側が少し削れてボロボロになる…

20190127 直通快速大回り

今年3/16のダイヤ改正では、おおさか東線放出～新大阪間が開業し、全線開業する。加えて、大和路線の奈良から久宝寺、放出を経由して新大阪を結ぶ直通快速が運行されることになっている。 現在、直通快速はおおさか東線部分開業区間と片町線、東西線を経由して尼崎を結んでいるが、その直通快速尼崎行きは新大阪行きとなる。そこで、尼崎行きに大都市近郊区間制度の大回りを使って乗車してきた。 大回り乗車とは 有名な裏技だが、東京や大阪などの大都市近郊区間ではいわゆる「大回り乗車」というきっぷの使い方がある。 通常、乗車券は経路を指定して発券され、その経路以外で乗車すると経路変更か別途精算が必要となる。ただし一部の区…

「本州民の考える北海道旅行」は本当に実行不可能なのか

先日北海道について話題になったことがあった。 本州民が北海道旅行したいって言うときほんとこれでわかりすぎる pic.twitter.com/Yph4FdJpI3— 院生 (@quenching_Fe_C) 2019年1月3日 「北海道以外の人は北海道の大きさをわかっていないので、めちゃくちゃな旅行日程を考えがち」ということでよく言われることだが、18きっぱーは北海道でなくてもめちゃくちゃな旅程をこなしたりする。なので、ここではまじめにそんな旅程が実行できるのか調べてみようと思う。 前提 行程 画像1枚目を検証したい*1。 1日目：富良野→知床→登別 2日目：帯広→小樽→函館 多目に見て、出発地…

20190103 九頭竜湖

僕はここのところ1年くらい18きっぷを使っていなかった。バイクの方が融通が利くし、持病が悪化して長時間鈍行で手持無沙汰な旅行をするのがきつくなったからだ。とはいえ冬はバイクでは遠出もできないし、正月に実家にいても付き合いで疲れるので、3日から18きっぷで北陸の枝線を乗りつぶすことにした。 福井まで 初日は越美北線を乗りつぶすべく、定番の北陸本線で北陸へ向かった。 関西から北陸方面の始発は、近江今津や敦賀や米原での乗り継ぎがうまく行かないので、サンダーバードを使わない場合結局7時ごろ発になる。湖西線を使うほうが距離的には近いが、近江今津から近江塩津までが本数が少なく、結局到着時間は米原回りと同じ…

2018年を終えて

今年はなかなか更新できませんでしたが、一応年末なので書きます。 2018年を振り返って 就職した ソフトウェア開発の会社に入社しました。 CBR400Rを買った なんといっても今年最大のイベントはこれです。 来年やりたいこと CBRの本格運用 今年は買ったのが9月でどちらかと言えばオフシーズン差し掛かりだったのと、就職して自由な時間が（学生の時よりは）減ったという事情で、ツーリングも行けて日帰り300kmくらいでした。 CBRに乗る上で最大の課題だった積載についてもDEGNERのいい感じのカバン*1で解決したので、来年は泊まりのツーリングもガンガンしていきたいです。 18きっぷリハビリ 鉄道旅…

CBR400Rを購入した話(2) インプレ

前記事：CBR400Rを購入した話(1) 契約まで - 青ポスの部屋 「納車のことは別記事に」と言った割りにあまり書くこともないので、2週間くらい乗ったインプレも書こうと思います。 納車日 インプレ 長くはないが太い パワーは十分 姿勢もそんなにきつくない 荷物が載らない まとめ 納車日 納車の日は雨が降りそうで降らないような微妙な天気の日でした。 保険の手続きも一緒にやってもらったので手続き関係で1時間くらいかかりました。なんと当日にETCがついていることを知らされたので、セットアップもやってもらいました。ETCは乗り出してから考えようと少し悩んでいたのですが、悩む必要もありませんでした。 …

CBR400Rを購入した話(1) 契約まで

ついにCBR400Rを購入しました。 YBR125の限界 CBR400Rの年式（2013年～） YZF-R3と迷った YBR125の限界 僕はこれまでYBR125に乗ってきました。YBRもとてもいいバイクなのですが、いろんなところに行くにつれて125ccの限界を感じることが増えてきました。 高速道路、自動車専用道路が通れない。 特に就職すると土日しか乗れないので、限られた時間で長距離を走るのにこれは致命的です。 加速が鈍い。 自分ではスピード狂な自覚はありませんが、例えば登坂だと登坂車線を使わざるを得ないことも多々ありました。 こうなることは予期していたので、いろいろ想定して調査を進めていまし…

宇治川ライン二輪規制と迂回路

1.規制について 2.迂回路 「宇治川ライン」こと京都府道3号線はライダーにも人気のツーリングコースですが、二輪車の事故が多発したことから、毎年夏休みの時期は一部が終日二輪通行止めとなっています。とはいえ、通行止めとなるのは一部なので迂回することはできます。今回は規制の内容と迂回路をまとめます。 1.規制について 規制の期間や場所など、詳細は京都府警のHPに記載されています。例年7月20日前後の土日から8月31日までが通行止めのようです。 場所は宇治橋方面から宇治川が見え始めて最初の交差点から宵待橋までです。 写真：宇治橋側の始点規制はあくまで宇治川ラインだけなので、ダムに近い側道は通行するこ…

【インプレ】YBR125にGT601を履かせてみた

先日、YBR125に乗って1年経ちました。リアタイヤにスリップサインが出かかっていたので、12か月点検で一緒に交換してもらいました。 純正サイズ インプレ その他YBRに適合するタイヤ 純正サイズ YBR125の純正サイズは以下の通りです。 フロント：2.75-18 リア：90/90-18 ただし、純正サイズは18インチな上に細いので純正のチェンシン以外ほとんど選択肢がありません。なのでほぼほぼサイズアップすることになります。 定石はDUNLOPのTT100GPですが、「消しゴムタイヤ」と言われるほど減りが早いという話があるのと、トレッドパターンがなんか気に入らなかったので、他で探してみました…

2018年現在の大阪～京都の道路

「京阪間にろくな道なし」 という古い言葉があります。大阪と京都はともに関西で主要な都市でその間の交通量も多く、道路渋滞が止むことがないということです。 ですが近年は、特に第二京阪道路の開通以降はかなり変化しています。今回は僕が主に使う一般道についてまとめてみます。 京阪間にある幹線道路 京阪国道 京阪国道旧道 第二京阪道路側道（国道1号バイパス） 国道171号 まとめ 京阪間にある幹線道路 京都と大阪を結ぶ主要な一般道は、おおむね下記のとおりです。 京阪国道（国道1号）（赤） 京阪国道旧道（寝屋川付近）（ピンク） 第二京阪道路側道（国道1号バイパス）（青） 国道171号（緑） 国道171号は淀…

ドップラー効果と波数

高校のとき、僕は「ドップラー効果」の導出がどうも苦手だった。それから8年くらい経つことになるが、できる限り普通の人にもわかるように、少し整理してみようと思う。 波動に関する物理量 波動を表す物理量はたくさんある。用語の定義も分野によってまちまちで混乱することも多々ある。 時間に関する物理量 まず、波動とは波源の振動が次々伝わっていくことで起こる。その振動の時間的スケールを定めるものが振動数である。ただし式変形の都合で角振動数を単に振動数と呼ぶこともある。との関係は である。また、主に電気系で、振動数は周波数と呼ばれることもある。また振動数の逆数を周期と言い、1回の振動にかかる時間を表す。 空間…