久しぶりに黄金の中華そば 森商店でラーメン。ネギチャーシュー麺を頼んだのだけど、ネギも辛くなくチャーシューもたっぷりで大満足であった。味ももちろん美味しい。
森商店の黒板に近くの東那須野公園がオススメ、と書いてあり、本当に直ぐ側にあったので立ち寄る。小高い丘からは那須連山が見渡せせ、早咲の水仙や梅がちょっと咲いていた。丘全体が水仙で覆われる(12万本もあるようだ)ようだし、四季を通じ椿・水仙・梅・桜・紫陽花などが楽しめるようで、季節季節に訪れたら楽しそうだ。
今日も一日花粉で気だるい感じ…。
ベクトル・行列からはじめる最適化数学読み進めは、10.4のQR分解を読むも、そもそも正規直交ってなんだっけ？となり、5章の線形独立～正規直交ベクトルの読み直し。
5月中旬並の暖かさ、ということで那珂川散歩。これぐらいの気温なら川沿いの散歩も全く寒くなく、薄手のパーカーでちょうどよいぐらい。看板によると鮎釣り解禁は6月～とのことで、釣りシーズンも楽しみだなぁ。
晩翠橋の鉄橋を下から。
その後はSHOZOでコーヒー。今まで訪れた中で一番の混みよう。散歩途中から花粉症の鼻水が止まらなくなり、手持ちのティッシュがSHOZOでほぼ尽きてしまう、かつ目は痒いしで読書どころではなくなってしまい、いそいそと帰宅する。花粉症、症状だけならまだしも、体が「風邪っぽい」と思って体調不良と感じるのも辛いのだよなぁ。
ベクトル・行列からはじめる最適化数学読み進めは、10.3の行列の冪まで。正方行列をべき乗したとき、例えば有向グラフならパスの長さの総数が得られるし、線形流動システムなら期間を進める行列に置き換えることができる。このような手法で長さが求められるなんて！と、グラフ理論も面白そうなのだよなぁ。
近隣に大きな梅の木があり、咲き始めていたのでそのあたりを散歩する。剪定などで手を入れられているというより、そのまま大きく育ちました、という梅の木。勢いがあって良い。途中、この辺の田や山を持っているという農家の地主の方に、田畑・減反・林業・山菜・インフラ整備等々についてアレコレとお話を聞かせていただく。大きな地主の方もいろいろとあるのだなぁ。
福島原発事故以前は、山菜やタケノコをとって販売のため出荷をしていたのだけど、このへんは未だその影響で国・県からのお達しで出荷できず、結果とりわけ竹やぶは人の手が入らず荒れてしまい残念、など全く知らなかった。結構離れているのに影響は続くものなのだなぁ。
暖かくなって、植物の芽吹きとともに様々な虫を見かけ始める。そろそろ虫の季節なのかぁ。そして今日は鼻水・目のかゆみとズバリ花粉症の症状が出だしてしまい、アレルギー薬を服用する。例年やってくる花粉症の季節。近隣に杉林がありまくるので、都会と比べて症状はどうなるのだろうか。
ともあれ、花が咲き始め、散歩もまた楽しくなってきたなぁ。
映画、ドライブ・マイ・カーを観る。宇宙戦争も爆発シーンも無いとの事前情報の映画。3時間の長編で心理描写が主なのだけど、面白くて一気に見終わる。タイトル名がビートルズの曲なのだけど、なるほど村上春樹原作なのだなぁ。
今日は那須塩原でも最高気温18度という春の陽気。天気も晴天なのでどこか行くぞ、とまずは農村レストラン高林坊にて天ざる蕎麦を食べる。量もたっぷりで、するする食べれてうまし。その後、隣の道の駅っぽいお店で食材色々と、大きな梅の切り花を購入。切り花は1m弱の花や蕾の枝がたんまりなのにお値段、280円でお安すぎる。
続いて「道の駅 湯の香しおばら」に立ち寄ってイチゴやソフトクリーム、パンなどを買った後に塩原方面に向かい、竜化の滝へ。駐車場から山道を歩き向かい、滝まで近づくと解けない雪が氷となって一面を覆い、普通に滑って転んだら大怪我に繋がりそうな場所もあったため残念ながら引き返す。山道散歩はとても良かったので、また雪が溶けたら来よう。
途中の材木のような岩(溶岩の柱状節理という現象で生じるらしい)の景色も面白かった。
その後は季節外れのもみじ谷大吊橋を散歩した後、みかえりの郷 彩花の湯で温泉＋サウナ。露天風呂の景色も最高だし、サウナは自分がしる限り那須塩原市内では一番良い。外気浴も露天でできるので最高なのであった。
今どれぐらい採掘できるのだろう、と久しぶりにイーサリアムをマイニングしてみる。採掘ソフトウェアにはT-Rexを使い掘ると、速度はRTX3090で107Mh/sぐらい。ネットを調べるとRTX3080が96Mh/sぐらいの速度で、3090のパフォーマンスはメモリ量とバンド幅が3080に比べ良いことが主要因なので、メモリも6GBしか使わず、転送も殆ど行われずバンド幅の影響も少ないハッシュ値計算においては3080とそんなに変わらないということが理解できた。
12時間ほど採掘させてみたところ、1日の採掘予測量が0.00116ETHぐらい(3USDぐらい)で、消費電力考えると全然稼げなくなってて驚き。これは個人でわざわざマイニングやる人は儲けが無さすぎて居ないのでは感があった。
採掘ソフトウェアは計算速度向上はもちろんなのだけど、最近はLHR対策が主なのだなぁ。またLHR対策の一つとしてDual miningという、1GPUでプライマリとしてethashを計算させつつも、そのハッシュレートに影響をほとんど与えずにセカンダリで別のマイニングをする仕組みなども出ていて面白い。
採掘ソフトウェアはユーザに利用がされればされるほど、開発者に手数料(1%前後が主流で、100回に1回開発者のアドレスでマイニングをする)が入るので、純粋に使われるソフトウェアを作れば開発者が儲かる、というインセンティブの仕組みも面白い。
ふとたどり着いた、オージス総研のオブジェクトの広場に連載されているはじめての自然言語処理シリーズ、わかりやすい＆興味深い。はじめて～といいつつも途中からニューラルネットワークを使いまくり。こんな良いコンテンツがあったなんて。時間があるときに記事をじっくり読みたい。
ベクトル・行列からはじめる最適化数学読み進めは、10.2の線形関数の合成を読み終える。アフィン関数の合成はアフィン関数である、は身近なところではニューラルネットワークの層を深くしても非線形関数を挟まなければ、結局は複数層は作れず1層の層で表せてしまう、ということの証明になるのだなー。合成関数の微分で勾配ベクトルを求めらる微分の連鎖律は理解が浅いので、であとで学び直しが必要そう。
那須塩原市の面積は東京23区の面積とほぼ同じらしい。対して人口は11.3万と967.1万なので、約85倍差。広々。
お声がけしたT氏とVCで雑談。お元気そうで良かった＆近況諸々も知れて良い雑談タイムであった。お互い組織に所属していないと、あれこれ雑談の機会が減ってしまうよね〜なども話す。ので、この日記を読んでいる友人知人元同僚の皆さん、もし私とカジュアルに雑談したかったらお気軽にご連絡ください!!1
今日のコーヒーはいつものIRIS BREAD&COFFEEで～、その後みるるの毎度の流れ。
夕食は、先日行った白河で「せり」が売っていたのでせり鍋。ヘルシーな旨さよ、家の鍋でも十分いけるなぁ。
ベクトル・行列からはじめる最適化数学読み進めは、9章線形動的システムのnotebookを見る。実装では現在の値から次の値を求め代入するforループで解いている。値を確定させるには、一つ前のデータが必要になるので行列演算一回では当たり前だが解けない。
9章の練習問題を見てると、9.5のフィボナッチ数を線形動的システムで求める問題があって、出力解が明白だったので解いてみる。なるほどなぁ。
続いて、10.1の行列積を読み終える。行列積の計算、計算順序をいつも分からなくなるのだけど、内積表現で考える、つまり行列積ABの要素はAの行(a1,a2,…,am)とBの列(b1,b2,…,bn)の内積である、という内容を読んで、なるほどこれなら覚えやすい。
O家が行っていて楽しそうだったので、自分達もちょい足を伸ばしてお隣福島県の白河市へ。お昼は白河ラーメン麺しょうで、初白河ラーメン。鶏ガラ醤油とちぢれ麺が白河ラーメンらしい。気軽に食べたい味で美味しい。レビューにとら一門系とあり、気になって調べるととら食堂の譜系のラーメンがとら一門というらしいなぁ。
続いて南湖のほとりにあるSHOZO SHIRAKAWAに行きコーヒーとデザートでゆっくり。那須高原のSHOZOのような雰囲気。その後南湖の周りを散歩する。南湖の周りは桜が咲くようなので、そのシーズンなどにまた来たいなぁ。
帰り道、芦野温泉に立ち寄り。久しぶりの芦野温泉だ～、体に染み入る薬湯や薬草スチームサウナでリフレッシュする。
漫画、ブランクスペースの1,2巻を読む。自分好みの漫画すぎて面白い～～～。他にも作者熊倉献氏は漫画出してないかな、と調べると春と盆暗を5年前に買っていた…。ので読み返す。こちらも読み終えた当時は好きな短編集だな～と思ったものであった。
ベクトル・行列からはじめる最適化数学読み進めは、10章 行列積に入る。積といっても、本書ではしっかりとベクトルスカラー積、ベクトルの内積、行列ベクトル積と徐々に解説してきて、ついに行列積に。行列積までの章でもアレコレできるのだなぁと面白かったのだけど、これからも楽しみ。
行列積まで、自分が高校だった当時の数学Cの一部として扱っていたのだから、その時の教え方としてはいろいろとすっ飛ばして演算方法・公式を覚えるだけ、となっていたのも仕方なく、時代とともに行列をあつかう数学Cが無くなった（詰め込みすぎ）というのも理解ができる。なお2022年から数学Cは復活し、その中ではベクトルのみを扱う（数学Bから移動）という、ちょうどよい分量に収まっていそう。今は高校数学で統計なども教えてるのね。
夕方の読書に、フランクリンズカフェへ。店内で焙煎をしており、コーヒー美味しい。観光閑散期かつ夕方の時間内だったので、広い店内でゆっくりと読書を堪能できた。また行きたい。
ベクトル・行列からはじめる最適化数学読み進めは、8章 線形連立方程式の8.3を読む。連立一次方程式の行列表現と、それらで何ができるかの実問題の例。連立一次方程式の解き方自体は11章らしい。続いて9章 線形動的システムを最後まで読む。行列ベクトル積を実世界のモデルへの当てはめての解説。例えば単純な線形の感染症モデルを行列ベクトル積に当てはめ、時系列での移り変わりの推移を見る。は～面白い。
昼食はRENGEでサラダプレートランチ。メインのパスタの量が半分なので、健康にもお腹にもちょうどよい。メインのパスタはどれを頼んでも外さない美味しさ。デザートのバスクチーズケーキも毎度食べてもまた食べたい、と思ううまさよ。
その後、RENGEの目の前の家具屋、Factory Serviceへ。店内は結構広く、あれこれ見ているだけで楽しい。殆どの商品は、古い家具をリメイクして販売しているものとのこと。お値段もお手頃で、今度なにか家具を買いたいなー。
Factory Serviceではアイアン花瓶を購入する。水を入れると錆びるとのことで、水を使わないドライフラワーなどを飾ると良いらしい、と早速部屋に飾るとシックな風味が良い感じだ。
帰り際に腹痛になり、トイレに立ち寄ったビバホームでせっかくなので店内を見ると、良い感じに伸びている観葉植物の吊り下げシュガーバインがあったのでお迎え入れ。1m以上は茂ってるのではなかろうか。
