晴れ。 寒い日。
ここ数日は寝るときに湯たんぽを使っており、それにより内臓の冷えが解消され胃痛が和らぐ... となってほしかったがまぁそう簡単にはいかない。 逆流の感じはだいぶ治ってきたと思うし朝はゲップも少なく比較的調子がいいような気がするけど、やはり医者の言う通りしばらくはちゃんと薬を続けるのがよさそうだ。
こないだ試したアレ。 GitHub の Ollama のページを見ると使えるモデル一覧が載っていて、そこにはプログラムコードに特化した (らしい) codellama なるものがある。 phi3:mini や mistral と比べてどうだろうか。 適当に Wikipedia から持ってきた Python の関数を Emacs Lisp に書き直させてみた。
質問文 (英語が自然かどうかは知らない):
Write the following Python function in Emacs Lisp:
def fib(n: int) -> int:
if n < 2:
return n
else:
return fib(n=n-1) + fib(n=n-2)
codellama:
(defun fib (n)
(if (< n 2)
n
(+ (fib (- n 1))
(fib (- n 2)))))
mistral:
In Emacs Lisp, the equivalent of your Python function could be as follows:
(defun fib (n)
(if (or (< n 2) (not (integerp n)))
(error "Argument must be an integer greater than or equal to 2.")
(if (< n 2)
n
(+ (fib (1- n)) (fib (1- n 1))))))
This function checks if the argument is an integer greater than or equal
to 2, and if not it raises an error. If the argument is less than 2, it
returns the number itself; otherwise, it recursively calls fib with n - 1 and n - 2.
phi3:mini
(defun emacs-fib (n)
(cond ((<= n 2) n)
(t (- (+ (emacs-fib (1- n)) (emacs-fib (1- n))))))))
これは... codellama だけが正解、残りのふたつは動きやしない。 mistral のは再帰呼び出しの結果必ずエラーが出るし、phi3:mini に至っては中身の間違いに加えて括弧の数も間違っている。 AI が得意そうな Python スクリプトを入力して、AI が得意そうな Lisp を出させてみたというのに。
まぁ、phi3:mini はかなり小さなモデルなので仕方ないところはある。 mistral と codellama はどちらもパラメーター 7B (70 億) でサイズ的には変わらないが、やっぱり code と名前に付くだけのことはあるんだな。
ついでなので 3.8B (38 億) の phi4-mini も試しておくか。 phi3:mini と同じサイズながらずいぶんと進化しているらしいが...
phi4-mini
Here's how you can translate your given fib function into Emacs Lisp:
(defun my-fib (n)
"Calculate the nth Fibonacci number."
(if (< n 2)
n
(+ (my-fib (- n 1))
(my-fib (- n 2)))))
You can use M-x eval-buffer to evaluate this code in your Emacs buffer,
and then call (my-fib 5) for example. This will give you the Fibonacci
number at position 5.
Note that while it's functional, calculating large values with recursion
like fib(n) is inefficient due to its exponential time complexity; it may
cause a stack overflow or slow down significantly as n increases because
of repeated calculations already done by previous calls (this problem can
be mitigated using memoization in Emacs Lisp).
おやおや? 冗長な説明文付きの正解を出してきやがった。 パラメーターサイズだけではわからんもんだな!
晴れ。 寒い日。 午前出社した。 朝はちょぴっと道が混んでいた。 昼は思わぬところで道路工事が...
今週は近所の大学で学園祭が行われているが、この先の天気予報も晴れ予報で何より。
テレビでやってた映画『竜とそばかすの姫』。 2021 年の邦画。 主人公が歌を歌っているが、主人公の声の役がミュージシャンらしい。 『サマーウォーズ』の OZ の発展系みたいな仮想世界が登場。 Second Life ってのが 2003 年に出てきて、『サマーウォーズ』の 2009 年にはまだ人々の記憶にあったかも知れないが、2021 年ならもう忘却の彼方だ。 それでも仮想世界で話を進めるのがかえってフィクションらしくて良いかも知れない。 世界がそっちに進んでいたとしたら、みたいな。 その世界は仮想世界においてアバターで実際の人間が交流する世界。 今の現実はアバターの交流はソーシャルメディアで薄く、その薄い世界には人間に混ざって人工知能が (笑)
tcpdump で見ているとこういう風にパケットキャプチャーができるわけで...
15:11:41.513616 IP 192.168.0.29.44719 > 192.168.0.1.9: Flags [S], seq 3879737532
, win 65480, options [mss 65480,sackOK,TS val 204344554 ecr 0,nop,wscale 7], len
gth 0
0x0000: 9a55 9a55 9a55 1299 4408 2cd3 0800 4500 .U.U.U..D.,...E.
0x0010: 003c f301 4000 4006 c64b c0a8 001d c0a8 .<..@.@..K......
0x0020: 0001 aeaf 0009 e740 18bc 0000 0000 a002 .......@........
0x0030: ffc8 04e6 0000 0204 ffc8 0402 080a 0c2e ................
0x0040: 0cea 0000 0000 0103 0307 ..........
15:11:41.514362 IP 192.168.0.1.9 > 192.168.0.29.44719: Flags [RP.], seq 21049302
89, ack 3879737533, win 14600, length 0
0x0000: 1299 4408 2cd3 9a55 9a55 9a55 0800 4500 ..D.,..U.U.U..E.
0x0010: 0028 0000 4000 ff06 fa60 c0a8 0001 c0a8 .(..@....`......
0x0020: 001d 0009 aeaf 7d76 aff1 e740 18bd 501c ......}v...@..P.
0x0030: 3908 1933 0000 9..3..
チェックサムは -v オプションを付ければ tcpdump が検証してくれるんだけど、自分で検証したいよね!
4500 から IP アドレスっぽいところまでが IPv4 ヘッダーで、ポート番号っぽいところからが TCP ヘッダーだ。
IP アドレスっぽいところまでを足せば 0 になるはずだし、TCP ヘッダーとデータと疑似ヘッダー (IP アドレスとプロトコルと TCP ヘッダー以降の長さ) を足せば 0 になるはずだ。
チェックサムフィールドがどれかなんてことまでは覚えておかなくても計算できる。
この足し算は 1 の補数によるものなので、65535 で 1 周するから最後に 65535 で割った余りを出せばいい。
そういう簡単な計算は GNU Emacs にやらせればいい。
(% (+
#x4500
#x003c #xf301 #x4000 #x4006 #xc64b #xc0a8 #x001d #xc0a8
#x0001) 65535)
0
(% (+
#x003c -20 6
#xc0a8 #x001d #xc0a8
#x0001 #xaeaf #x0009 #xe740 #x18bc #x0000 #x0000 #xa002
#xffc8 #x04e6 #x0000 #x0204 #xffc8 #x0402 #x080a #x0c2e
#x0cea #x0000 #x0000 #x0103 #x0307) 65535)
0
(% (+
#x4500
#x0028 #x0000 #x4000 #xff06 #xfa60 #xc0a8 #x0001 #xc0a8
#x001d) 65535)
0
(% (+
#x0028 -20 6
#xc0a8 #x0001 #xc0a8
#x001d #x0009 #xaeaf #x7d76 #xaff1 #xe740 #x18bd #x501c
#x3908 #x1933 #x0000) 65535)
0
ばっちり!
本当はテキストから 16 進数になおす部分も直接書けるんだろうけど、なんか難しそうなので、手作業で取り出して置換で #x をつけてまわっている。
ラスベガス GP 予選。 ネバダ州でまさかのウェットコンディション! 年間降水量が 100 mm だかぐらいの地域の GP で雨にヒットするとは! 雨で飛び出すドライバーが多く Q1 で角田とハミルトンが脱落。 ノリス、フェルスタッペン、サインツのトップ 3。 ピアストリは 5 番手。 いよいよノリスのチャンピオンが見えてきた。 まぁ、リタイアがあるとわからんのだけど、こうやってポールポジションが取れているならノリスいけちゃうのでは?
晴れ。 昼はちょっとぽかぽか。
外語祭を見に行った。 いつもの管弦楽団の外語祭公演が今日は 16 時半開始。 それを 1 時間勘違いしていて、F1 予選見終わってちょっとして行ったら 15 時前に着いてしまって、人いないなと思って調べたら時間まだまだだったことがわかって、メインの各国語の科の人達がやっている料理のゾーンで小籠包を買って食べ、ステージのバンド演奏・歌をきいてから、公演を聞きに体育館に行って、もう一度メインのステージに戻ってバンドを見て... 途中でグッズ販売にあった「たふくじら」なる鯨のぬいぐるみを買った。
17 時過ぎると値引きが始まるのねw 値引きに釣られておでん買っちゃったw バンド演奏はというと遅い時間のほうがレベルが高いかも知れない? 17 時 15 分ぐらいからやっていた人達、自分すら聞いたことがあるような有名な洋楽ロックのコピーをやっていて、ドラムもギターもベースもボーカルもなかなかいい感じだった。
外語祭、来るたび思うけど不思議な感じ。 母校の筑波とは違って非常に面積が狭く、筑波で言えば平塚線の橋から第一エリアくらいの範囲にすべてが詰まっている。 でも円の広場は筑波にはないところで (中央図書館前に広場があるがあれよりも広い)、そこに各国の料理とメインステージがあるからそこだけで半分は楽しめる。 それに屋内では劇、まだ見たことはないんだがそれも各国語でいろんな劇をやっているらしい。 結構上手に詰め込まれている感じ。 それに多磨駅・飛田給駅の鉄道や、三鷹駅からのバスもあるので都心からのアクセスも悪くない。 なんか見通しがいいというか、同じく面積が広くないこの近辺の他大学と比べても独特のわかりやすさがあると思う。 学園祭って筑波に限らずまっすぐな通路に沿ってテントをたてて店を並べるパターンが多いもんな。 電気通信大学、東京農工大学、国際基督教大学、みんなそうだ。 外語祭もサークルの店に関してはそうなんだが、サークルの店がおまけみたいな扱いなのも独特か。
そういえば屋内も真ん中が吹き抜けになっていて広くあいているから、そこでいろいろやれるんだ。 そういえば筑波大に 2004 年に完成した総合研究棟 B にも吹き抜けがあったけど、あの吹き抜けは床面積的にはそこまで広くなかったな。 東京外国語大学が府中に移転したのは 2000 年、ちょうど自分が大学受験の頃が移転直後というタイミングか。 その頃のデザインが学園祭にもうまくマッチしているのかも。
あと子供連れ、特にベビーカーであったり幼児であったり子供本人の意志とは思えない形で来ている人達も結構多くて、どういう客層なんだろう。 近隣住民なのか、卒業生などの元関係者か、それとも全然関係なく楽しそうだから家族で来たみたいな人達がいるんだろうか? 高校生っぽい人達は進学に向けて雰囲気を知りたいみたいなのもあるだろうけれども。 でも自分が高校生だった時に鹿児島大学なんかの学園祭を見に行こうと思ったかと言われるとまぁ思わなかったね。 いつやっていたのかさえ知らなかった。
20 年前が 2005 年な今年だけど、その 2005 年は M1 だったわけで、もし大学を卒業後に進学せず就職していたなら、就職して 20 年という節目のタイミングだったんだ。 例えば同い年の国会議員である小野田紀美はやはり 2005 年に拓殖大学を卒業して仕事をしていたと公式サイトに書かれている。 同い年の政治家である石丸伸二は一年浪人したそうで 2006 年に京都大学を卒業して就職したとなっている。
自分は修士号を取得後の 2007 年に就職、それから 18 年。 でも最初は大学の研究員だったので、大学を離れてからは 16 年である。
ラスベガス GP 決勝。 スタートでノリスがミスって 3 番手まで落としたものの、2 番手は取り返した。 フェルスタッペン、ノリス、ラッセルのトップ 3。 ピアストリは 4 位。 後方の混乱をするりと抜けたハミルトンが最後尾からポイント獲得。 角田は変則的なピット戦略で 14 位、一応 2 ストップ勢では最上位だけど、もう一人の 2 ストップのローソンは接触があって 1 周目にピットインしたからな... 角田も接触があったのかも知れないけど。
きのうの予選では角田だけタイヤの内圧が間違っていたか何かで、レッドブルのチームとしてぐだぐだ過ぎて、こんなチームじゃローソンもハジャーも昇格したくないのでは...
曇り時々晴れ。
外語祭を見に行った。 いつもの管弦楽団の外語祭公演が今日は 11 時開始だったのに 11 時半くらいが開始のつもりで行ったら 2 曲目の途中で、3 曲で終わりだった。 夕方また行ってアルゼンチン風ホットドッグのチョリパンというやつ、これは模擬店のほうだからサークルなのかな、200 円引きに釣られて食べて。 それとモンゴル語のところのボールツォグってやつだったのかな、ミニドーナツと言っていたけど、そのへんを食して。 メインステージの今日の 17 時過ぎのバンドはひたすら Queen のコピー。 カタカナ英語発音ではあったがまあよくあの難しそうな曲達を... 4 日目の妙なテンションがみたいな会話をしている人もいたけど、結構ノリノリな人達がいて、っていうかすごいよね、その曲 1970 年代なんだけど! 今の学生達の親世代でさえもひょっとしたら生まれていないか、生まれていても小さい頃かくらいの曲のはずだけど! どんだけ知られているんだ...!
バイクで近所を走ってきたんだけど、武蔵野公園のスケートボード場が復活しているのを知った。 前に道路に飛び出して (たぶん本当に文字通り「飛び」出して) 事故になってしまって危ないということで閉鎖されていたが、ガッツリフェンスがついていたのでその対策ができたということだろう。 よかったんじゃないの。 あと東芝のまわりをくるっと回って帰った。 まだ燃料エンプティにならず。 もてぎに行った時にエンプティ (リザーブ) になる前に給油を繰り返したのでもう 700 km 以上もエンプティになっていない。
なんと、きのうのラスベガス GP は決勝後にマクラーレン 2 台ともスキッドブロックの摩耗規定違反で失格! それでフェルスタッペンとピアストリが 366 ポイント、ノリスが 390 ポイントで残り 2 戦! しかも次戦のカタール GP はスプリントあり! スプリントはここまでフェルスタッペンの勝率が異様に高い! いやなんかおもしろくなってきたな。
それでもノリスが圧倒的に有利だろうけど、2007 年のハミルトンを思い出さずにはいられない。 同じイギリス人だし。 2007 年は優勝が今の 25 ポイントとは違いわずか 10 ポイントしかなく、残り 2 戦でポイントリーダーのハミルトンとの差はアロンソが 12 ポイント、ライコネンが 17 ポイントであった。 ライコネンはその残り 2 戦とも優勝して 20 ポイントを獲得し、ハミルトン・アロンソと 1 ポイント差でチャンピオンを決めたのだ。 ノリスが似たような感じでフェルスタッペンやピアストリに逆転されたらかなりのショックだろうなぁ。
moondream (Moondream 2) というのが画像を読み取ってくれる AI でわずか 1.4B (14 億) の小さなモデル。 ollama で試せるんだが、この前うまくいかないなと思っていたのは、container で動かしているから container の中から見えるようにしないといけないんだった。 そりゃそうだ。 ファイル名をフルパスで指定する必要があって、そのファイルが見つからなくてもエラーは出ず、単に AI にぶち込まれるだけみたいなので意味不明な内容が帰ってくる。
モデルは小さいが処理時間はかかる。 画像をどういう形で流し込んでいるのかわからないけど、まぁ短いテキストに比べれば計算が多くなるのは避けられないんだろうな。
晴れ。 お日様の下はぽかぽか!
バーディー 90 のエンジンオイル交換とドライブチェーンの張り調整をしてもらった。 エンジンオイルは量り売りにいくつか選択肢があって、2 番目に安いモチュールにしてもらった。 まぁどれも大差はないだろうけど。 ワコーズはもうちょい高いらしい。 30 分ぐらいで済んだ。
バイク用品店の外にあるいすに座って待っていたんだけど日が照っていて足下ぽかぽかで気持ちが良かった。 やっぱり足は温めたほうがいい!
車が汚れていたので洗車した。 車検の時に洗車してもらったんだけど、花粉か何か、汚れがみっちりついていたので。 カーシャンプーが残り少なくなってきた。 19 年前に買ったやつw ついでにタイヤの空気圧を調整したら、右前だけ少し減っていた。 そんな極端な差ではないけど何だろうな。
テレビアニメ『終末ツーリング』7 話はつくばが舞台だった。 出てくるキャラクターは苦手でも、こうして知っている場所が出てくると見たくなるのは否めない。 まっすぐ柏、左折が松戸、右折が白井工業団地、という国道 16 号からスタートする。 6 話が海ほたるだったから、袖ヶ浦から海沿いを北上していって途中で八千代のほうにいった感じか。 柏の杜オートバイ神社ってのを出したかったのね。 そっちからだから、国道 6 号に向かうのは素直なルート。 まっすぐ土浦・取手、分岐が印西、というのもなんか見たことあるような気はする。 左斜めが筑波西部工業団地、右が筑波山と研究学園駅と学園都市ってのは、ああ、つくば中央インターチェンジのところか。 谷田部に出るのは 6 国からだとやや行きづらい気がするけど、万博記念公園を出したかったのね。 で、左が下妻、まっすぐ石岡、右がつくば市街に土浦? なんか見覚えがあるぞ。 これは西大通りで、東大通りが交わるところに向かうシーンだ。 それを左折した後の反対向きから見たまっすぐ土浦、左が石岡に右が成田ってのもあって、もう場所が手に取るように... 高エネ研がチラッと出て、筑波大も、それにつくば駅のところも出て、ロケットはつくばセンターのアレね。
テレビアニメ『私を喰べたい、ひとでなし』はやっぱりめちゃくちゃ丁寧に作られている感じがするし内容もおもしろいと思うけど、世間的にはそこまで人気があるわけでもなさそうという不思議な作品で。
外語祭 103rd 最終日。 17 時台にステージでやっていたのは「ストリートダンス部 Quattro」の人達。 生歌ではなく市販の音楽で踊っていた。 その中で妙にインパクトのある歌が流れてきて、思わず Google で曲名検索。 うぴ子というアーティストのカラスという曲らしい。 何だろう、椎名林檎みたいな、いや声はもっと低いかな、歌詞も声もインパクトがありすぎて、それで踊れる人達もすごい。 なお 24 期が最後で 25 期・26 期がいるという言い方をしていて... そういえば 2000 年 10 月に府中に移転だったよね。 その時が 1 期だったとすれば計算は合うね。
筑波と比べてやっぱり規模は小さくても内容がいいんだよなぁ。 人にシンプルにお勧めできる学園祭ってなかなかない。 あと情報系で大学を出ている身として、この文系の大学においてこれだけ情報技術が活用されているのはとても嬉しく思う。 自分が現役学生だった 20 年前は後輩達が学園祭のインターネット中継か何かをやったんだっけね、母校には情報学類があるからそういうのは得意な人が少なからずいたわけで。 今や専門でなくても使いこなせる時代だ。 公式ウェブサイト、電子マネー、ステージの照明管理、ステージの音楽管理、語劇の学内生中継 (建物内のモニターに中継されていた)、あとひょっとして電子チケットもあったんだろうか。 まぁ、文系といっても国内トップクラスのこの大学の学生なら、理系の話にもついてこられる人がいそうな気もするが...
曇り時々雨。 寒い日。 出社した。 オフィスも寒かった。 自宅で 25 度暖房に慣れているとね...
昼は松屋でライスと豚汁変更 (すなわちご飯と豚汁)。 連休は学園祭にも行ったし少し胃に優しいものを。 といっても豚汁は油分があるんだが、体が温まるのはいい。 しかし松屋のライス、今は 200 円なんだ。 消費税 5% の頃は 150 円だったのに... ずいぶん値上がりしたな。
と思ったら前によく通勤に使っていた路線バスの運賃は今は 250 円らしい! ずっと 220 円のイメージだった、というか、消費税が 5% の時は 210 円だった。 8% になった時に 216 円に上がり (PASMO)、10% になった時に 220 円にあがり、そして去年 6 月に 240 円にあがって、先月から 250 円なんだそう。 まぁ、民間の交通機関が長いこと消費税分しか値上げしていなかったのがそもそもおかしいんだよな。 デフレーションはそんなところにも現れていたんだな。
今日の寒さは、帰って風呂に入っても 40 度で湯船にためたお湯がとてもぬるく感じて、追い炊きをしてしばらく肩までつかってやっとぬくもってくる的な感じ。 まぁ最近いつもそんな感じで、何だろう、冷え症悪化してんのかな。 というか 4 月頃までのあの体重の重さというか、太っていても寒がりではあると思っていたが、それでも多少は緩和されていたのかも知れないとも思えてきた。 でも、10 年前は今より軽かったんじゃないかな、とも思うし、年食って寒がりが進行したのが、太ったので相殺されていたのかも知れない。 知らんけど。
DeepSeek っていう中国製の AI モデル、あれも Ollama で試せるらしい。 deepseek-r1 ってのが 1.5b とか 7b とか 8b とか小さいのがあって、コーディング特化の deepseek-coder にも 1.3b とか 6.7b とかがあって。 試しに deepseek-r1:7b と対話してみると... 時々思考過程が出るのがおもしろい。 そして時々中国語が帰ってくる。 その中国語に In English って言ったらまた思考過程が出てきて、ユーザーはこれこれを英語で聞いているんだな、ちゃんと応答を構築すべきだな、みたいなのが英文で出てくるので笑ってしまう。 AI モデルによってこんなに違うものなのか。
deepseek-coder:1.3b はどうだろうか。 めっちゃちっちゃいぞ! しかしこの前のアレを入れてみたところ、以下のような感じで無限ループに陥った。
deepseek-coder:1.3b:
In emacs lisp, you can implement the above python function using recursion
and memoization to store previously computed results. Here's how one might
do it with a helper definition for fib which will be used in place of
your original recurssive implementation:
(defun fib (n &optional (_memoize_table '()))
"Compute FIBonacci number at N."
; Check if we have a result for this n already stored in the memoization
table. If yes, return it otherwise compute and store it there before
returning: (gethash/carryover fmemt) ...(n-1).fib ((r=0))+((c-(setq c o)))
"Compute FIBonacci number at N." ;;<2 returns n --> return the last
computed fib of that value if it exists in memoized table, else compute
and store there. Otherwise go to next line where you set up a new
recursive call with default parameter 'n'
(let ((cached-result (gethash n _memoize_table))) ;; check the hash
for our result --> If yes return it if not then calculate again because
no previous computation exists in mem table. Otherwise carry over from Mem
Table to next function call, and store computed value there
(if cached-result #1=(return n) ;#| Else
compute fib at current level using recursive calls & Store result into the
hash map for future use if needed |#; return c))) ("Compute
FIBonacci number on next line to be computed.")
(setf (_memoize_table(gethash n _memoize_table)) #1=c) ; Set up a
new recursive call with default parameter 'n' using stored result from mem
table and store the value back into Mem Table. Then go forward in line
where you return c for fib computation
(fib (- n -2))) + ("Compute FIBonacci
さすがに厳しいか。 6.7b ならどうだろう。
deepseek-coder:6.7b:
Here is the equivalent Emacs Lisp function for your Python code. This code
uses defun to define a new function named fib that takes one argument,
n. The result of this function will be the nth number in Fibonacci
series.
(defun fib (n)
"Calculate Fibonacci numbers."
(if (< n 2)
n
(+ (fib (- n 1)) (fib (- n 2)))))
This function uses recursion to calculate the Fibonacci sequence, which is
a common method for solving this problem. The base case of the recursion
are two numbers in the sequence: 0 and 1. When n < 2, it returns n
immediately without calling itself again. Otherwise, it adds up the
results of the last two Fibonacci numbers (calculated by calling fib
with arguments of (n - 1) and (n - 2)).
いいね! なんかこう、大学一年生のプログラミング序論のレポートくらいなら普通に書けそうだよね。
晴れ。
きのう少し胃に優しいものを食べたおかげか胃の調子が少し回復した。 食べる量が少ないと腹が減るのがアレだけど、時々その状態を挟んでやらないとだめか。
冷え症対策的に朝炊飯待ちの間に白湯を飲むみたいなのもやってみているけど (内側から温まるんじゃないか的な狙い)、なんかあっという間に胃を駆け下りていってあんまり温まる効果がなさそうな... なんかとろみをつけてやればいいのか? 重湯とか? 蜂蜜とか? 知らんけど。 まぁホットミルクに蜂蜜は気持ち的には温まる。 蜂蜜と冷え症で探すともうみんなして生姜との組み合わせを出してくるが、生姜湯は前に市販の粉のやつを買ってみたけど味が微妙だったんだよな。 生姜は生姜焼きみたいにすり下ろしてあるやつを食べるのとか、ジンジャーエールとかならいけるけど。
【速報】野田の変電所で火災 広範囲で停電も | 千葉日報オンライン
「野田市西三ケ尾の東京電力パワーグリッド新野田変電所で火災が発生」、へぇー。 18:43 に瞬時電圧低下発生、と、東京電力パワーグリッド株式会社の情報には出ていたが、全然気づかなかった。 もしかしたらその頃にミニコンポからノイズが鳴ったかも知れない、くらい。 前のインバーター蛍光灯タイプのシーリングライトなら点滅なりなんなりでわかったかも知れないが、今は LED なので消費電力が低く、直流化回路のキャパシターに吸収された可能性がある。 太陽光発電が発電していたらたぶんいったん連係が切れるのでログでわかったと思うが、今の時期なのでもう 17 時頃には発電しておらず、ナビフィッツ NVF-01 の uptime もそのまま (494 days) で、消費電力ログも変なところなし。 自宅サーバー PC は動作を継続、スリープさせていた iMac もそのままだし、今の環境だと瞬時電圧低下には気づけないかも。 まだ仕事をしていたけど、職場の UPS につないでいないデスクトップパソコンもそのまま動いていたし。
晴れていたような、曇っていたような。 そんなに寒くはなかった。
Web ブラウザーで使える Microsoft Office, 割と悪くはないんだが、図形を別ファイルからコピーアンドペーストした時に画像になっちゃうケースがあるみたいだ。 これがどうしようもないみたいで、ダウンロードして LibreOffice で編集してアップロードし直すという何とも手間なことに...
健康保険証の終了までもう 1 週間を切っている。 個人番号カードを発行してもらっていないので、次回受診する時は「資格確認書【Web】」を使うことになりそうだ。 まぁ、終了といっても健康保険組合の提携施設を使う際は引き続き健康保険証でもいいっぽい? 資格確認書も OK となっているから、試しに某スポーツクラブの登録手続きに「資格確認書【Web】」のスクリーンショットを「スクリーンショットによる不正利用を防ぐため」云々って文言ごと撮って送ったらそれで登録できてしまった。 今の健康保険証の写真よりも偽造は簡単そうだけど、それでいいのか。 笑う。
プレミアム... いつもの金曜日。 晴れ。
テレビでやってた映画『時をかける少女』。 2006 年の邦画。 懐かしの (゜Д゜)ハァ? 謎の指定方向外進行禁止に「ここから」がある Y 分岐。
あれから 30 年。
どんなに文章で説明しても、あの頃の空気は伝えきれないものがあるね。 パソコンの歴史の中でもかなり大きな出来事で。 Chicago のコードネームの時からパソコン雑誌で話題になっていて。 その前に Windows 3.1 の普及が進んでいたものの、ハードウェアの進化に対して、疑似マルチタスクで 16 ビットのセグメンテーションの壁があるシステムはアプリケーション開発者にとっても限界に近かったのだろう。 Win32s はあるにはあったが、疑似マルチタスクなのは変わらなかったし、あれを使っていた市販アプリケーションがあったかは知らない。 Windows 95 で 32 ビット & プリエンプション対応になり、開発者にとってはずいぶん楽になったに違いない。
1995 年 12 月 16 日までに、家族が作ったオンラインソフトが収録された Vector PACK10000 が実家に届き、それで自分はテレビドラマ『ザ・シェフ』の最終回を見逃した。 CD-ROM 2 枚組で、片方は MS-DOS のオンラインソフトが主に収録され、もう片方に Windows のオンラインソフトが主に収録されていた。 当時は Windows 95 が出たばかりになるが、一応、WIN32 のディレクトリもあり、Windows 95 と NT 向けのソフトがそこに入っているという扱いになっていて、まぁ、現実にはほぼすべてが NT 向けと一部が Win32s 対応だったのだろうけど、入っていたのは 150 本程度だった。
で、その 2 年後ぐらいの Vector の PACK for WIN というのの 1997 年版、あれはどういう形で販売されていたのか、検索すると CD-ROM 4 枚組で前期と後期が出ていたみたいだが、実家に届いたのは CD-ROM 8 枚組だったんだよな。 もしかして作者に配られていたのは両方合わせたやつだったんだろうか。 その時も確かまだ MS-DOS のソフトも収録はされていたんじゃなかったか。 For Win なのに。 ってのはともかくとして、Windows 95 向けのオンラインソフトは 3000 本を超えていた。 PACK for WIN GOLD 16000 ってのもあったなぁ、国立国会図書館情報ではそれが 1997 年 6 月らしい...? ちょっと、前後関係がよくわからなくなっているけど。 まぁ要するに Windows 95 が出て 2 年以内ぐらいの間に Vector だけで 3000 本ぐらい 32 ビットのオンラインソフトが増えたんだ。
Windows 95 は Windows 3.1 と比べてすべてがよかったかというとそうではない。 少なくとも動作スピードは Windows 3.1 のほうが軽快で、特に 80286/80386 を Cx486SLC/DLC に載せ替えたような環境ではそうだっただろうと思う。 印象としては 486DX2 ぐらいはあったほうがよかったかと。
でも、市販ソフトも、Windows 3.1 と Windows 95 両方対応なんて言っていたのはほんの短い期間だけ。 一太郎で言えば 1995 年に出た Ver.6.3 がそれで、1996 年 9 月に出た Ver.7 はもう Windows 3.1 には対応していない。 ちなみに MS-DOS 版の最終バージョンも、ATOK だけ ATOK9 に更新された Ver.5 が 1995 年に出ていたらしい。 そんな感じで、Windows 95 が出て 1, 2 年の間に何もかもが Windows 95 に移行しだした。 1993 年 5 月の Windows 3.1 日本語版から 2 年が経っても MS-DOS ユーザーがまだ多数いて MS-DOS 用のソフトも出ていたというのに、Windows 95 への切り替わりは本当に速かった。 一部のゲームは MS-DOS 用が続いていたみたいだけど、それも Windows 95 を MS-DOS モードに切り替えて遊ぶというような時代に。 WinG から DirectX になっていろいろできるようになり、Windows 98 くらいの頃には DirectX でゲームというのも当たり前になってきたのかな。
それとパソコン通信からインターネットの切り替わりだよな。 Windows 95 ではちょいちょいと TCP/IP をインストールしてやるだけでインターネット接続に必要なソフトウェア環境が整うというお手軽さで、いろんなインターネットサービスプロバイダーも登場。 大学、ラジオ局、いろんなところが web サイトを運用し始めて、パソコン通信は一気に過去のものになった。 という、なんかいろんなことが重なって、パソコンを所有していなかった人が購入したり、古いパソコンを所有していた人が買い換えたり、っていうのが加速したのも、Windows 95 のおかげ。
車で調布 IC から高井戸で降りて環八通りに出たら渋滞、トイレに行きたくなって公園のトイレが Google Maps に見えたから行ってみたがクソせま道路で諦め、近くのコンビニに向かうが駐車場がないためその近くの時間貸し駐車場を目指すと満車、さらに向こうの時間貸し駐車場があいていたのでとめてコンビニを目指したらその途中にも別の時間貸し駐車場があって、おいおい。 後はトイレにいきたくならないようメロンパンを買ってもしゃりながら駐車場に戻り精算、330 円。 たっけぇトイレだった。
のはいいとして、また環八通りに戻ってトンネル抜けて少し遠回りながら外環大泉、そっから三郷経由で谷田部 IC。 三郷料金所の先はスムーズで開始の 1 時間前に到着。 途中でテレビアニメ『終末ツーリング』に出てきた万博記念公園のモニュメントの横を通ったよ。
2 年ぶりバーベキュー。 前回参加は 2023 年。 今日は 300 人とか何とか言っていたけどさすがの 1 時間前は駐車場余裕。 最初は昭和 30 年代生まれの方となんだかんだ話して肉を焼いていて、甲府から来た高校 3 年生の方もいて、横須賀から来た大学の後輩 (大学の後輩の弟) もいて。 途中から大学で同じ研究室だった先輩と同期と後輩とえっと... 何人いたんだあそこにw
帰りは吉野家で軽くめしを腹に入れてから谷田部 IC、首都高 6 号線、都心環状線、4 号線と来て幡ヶ谷出口で降りて甲州街道で帰った。 工事渋滞の情報があったためだが本当に渋滞していたかは知らない。 そもそもそこまでの 6 号線も 4 号線もめちゃくちゃ工事していて何なんだ。 電光掲示板の情報もまるであてにならなくて、さっぱりだった。
朝自宅無線 LAN がつながらなくなっていて、ついにアクセスポイントが壊れたかと思ったが有線でアクセスポイントにはつながり、アクセスポイントの再起動をしてもだめで、ウーンと考えていると、ナビフィッツ NVF-01 につながらなくなっていることが発覚した。 ナビフィッツ NVF-01 に有線からつなぐトリックのためにアクセスポイントを中継モードにしちゃっているから、ナビフィッツ NVF-01 が落ちるとメインの無線 LAN もとまってしまうらしい。 はー。
ナビフィッツ NVF-01 は一度電源を入れ直したけどだめで、もう一度入れ直したら復活した。 それからアクセスポイントを再起動したんだっけな。 そしてナビフィッツ NVF-01 に TELNET ログインして NTP クライアントを立ち上げ問題対策パッチをあてなおし完了。
ちなみに予想されるトラブル発生時刻付近の uptime は 496 日と 12 時間ほど。 なんかこう我々 IT 業界の人間にはピンと来る数字である。 まぁ本当なら 497 日だったらかなりしっくり来るのだが、きっとタイマーの狂いのせいで... いや? 前の記録を見ると 1 週間で 4 秒ぐらい遅れていっていたっぽいので、それなら uptime 計算のためのタイマーも遅かったと考えられるな。 ふーん。
晴れ。
その朝のどたばたの間に発覚したが、WireGuard で自宅の SSH につなぐやつが何か拒否られるようになっていて、前はつながっていた気がするし理由がよくわからないんだけど、ufw disable でなおったのでまぁこれでいいや。 もともとたいしたルールは入れていなかったから。
バーベキューで話していた大学の後輩のひとりがバイク乗りの人で NC750X DCT を前に持っていたというのでふたりで盛り上がっていたのだが、その人は XL750 トランザルプに乗り換えたと。 自分は 400X に乗り換えたわけで。 いずれも NC750X DCT より足回りの出来がいいバイクに乗り換えたわけである。 やっぱり NC750X の足回りはお金かかっていなかったよね、という部分は意見が一致した。 エンジンの振動なんかはもう好みの問題なのでいいとして。 NC の前は CB400SB を持っていたというからそっちはだいぶスムーズなエンジンだな。
カタール GP スプリント予選。 角田がそこそこ調子よくフェルスタッペンの前へ。 ピアストリがポールポジション。 ハミルトンとローソンは SQ1 脱落、何かマシンが変なのかな。
カタール GP スプリント。 ピアストリ、ラッセル、ノリスのトップ 3。 続いてフェルスタッペン、アントネッリ、角田。 続いてアロンソ、サインツまでポイント圏内。 角田はトラックリミットの 5 秒ペナルティでひとつ順位を落とした。
カタール GP 予選。 角田、ハミルトンは Q1 脱落。 Q3 はサインツのタイヤに床のステッカーみたいなのがついたままコースに出てしまったとのことで赤旗中断も。 ピアストリ、ノリス、フェルスタッペンのトップ 3。 ノリスが最終アタックでミスった。 今回はスプリントの結果だったり予選のそういうミスだったりからノリスがプレッシャーを受けている感じが伝わってくる。 もちろんノリスは毎回無難にフィニッシュすればチャンピオンに近づくんだから安全策をとるのは不思議ではないが、他チームはバチバチに挑んでくるので果たして...?
晴れ。
きのう立ちすぎて足が筋肉痛になっていてのんびりゴロゴロ。 フォーミュランド・ラー飯能の特別営業日だったが行かなかった。
テレビアニメ『終末ツーリング』8 話は霞ヶ浦とモビリティリゾートもてぎ。 霞ヶ浦は知っているけど出てきたのは知らないところで場所がわからず。 広いしな。 モビリティリゾートもてぎはまぁロードコースのほうが出ていたし自分も走ったことあるけど、ゲートは北ゲートが出ていたんでそっちは行ったことがないと思う。 っていうかオーバルコースと 2 種類あるんだから本当に何も知らずに行ったらどっち走るか勘違いしないかなー。 オーバルコースは 2011 年の震災以降レース用には使われていないけど、形は残っている。
米が切れそうだな、今日はイオンのお客さま感謝デーだからちょうどいいタイミングだなとイオンの株主優待が使えるスーパーに買い物に行き、ぴっと決済した結果、うっかり WAON POINT で全額 5000 円以上支払っていた。 iAEON アプリ、WAON POINT を使う設定が前回使った時のままなの欠点だよね。 ま、使ってしまった物は仕方がない。 ゴミ袋買うのに 100 ポイントずつちまちま消費するつもりだったけど。 なお買ったのは珍しく福島県産の新米コシヒカリ。 まぁきっと美味いだろ。
株主優待といえばコカコーラのチケットが今日までだった。 夜にたまたま思い出して、チケット 2 枚残っていたので使った。
株主優待といえばサイバーエージェントの株主優待がまだ届かない。 なんか間違ってどこかにやったかと思って探したけどなくて、Yahoo! リアルタイム検索で見てみたらみんな届いていないようだった。 よかった。 (よくない。) なお ABEMA プレミアムは去年の 9 月 15 日に入ったのが最初だから、その時に 3 か月クーポンが適用されており、次の 12 か月クーポンを適用したのは 12 月 15 日以降だろうから、まだ期間内なはず。