km5 cp1

いや、iTunes にぜんぶ入ってて、それで鳴らせるんですけどね。なんか、切れるんだよな

　有線LANなのに

というわけでもないんですけど、捨てられなかった CDがいくつかあってさ。やっぱり、

　CD Player あった方がいいよね?

いや、でも CD Player 買うのは久しぶりかも。Techniques の DVD Player が壊れて以来、なしだったような気もする

充電しないと使えないのかこれ?

qemu mc6809

せこせこ書いてるんだが、いまいち、やる気が... まぁ、書いていけば終わるだろってところですけどね

github copilit だと力不足な感じか

m68k を書き直しているんだが shift と rotate って別関数かぁ

qnap のコピーは終わり

8TB x 4の think volume がデフォルトらしく、93%までいった。もう追加する気はないのでいいんだけど

thin volume にすれば、もう少し入るらしい。16TB x 4にしろよと思わなくもないんですが

元は、RAID 0 で使ってたので、8TB x 2 + 6TB x 2 でもかなりあまってたのにね

また、気が向いたら、なんかするかも

配膳ロボットの衝突

なんか、ちょっとぶつかって、しばらくピーピーいって、解散って感じでした

少し機種が違うのかな?

ファミレスっぽいところだとよく見るな

デデデデ

デッドデッドデーモンズデデデデデストラクション

観たのは、アマプラのアニメの方です

え〜、このさえないおっさんのアニメ観るの? って感じだったんですが、本編は女の子たちが主役でした

また、多重世界ものか

僕が大学生の頃は世界は割と平和で「歴史の終わり(1989)」とか言われてた

いや、チェルノブイリ(1986)とか阪神神戸震災(1995)とかオウムテロ(1995)とかはあったんだが、少しあと

でも、今の学生たちは、就職氷河期/リーマンショック(2008)、東日本震災(2011)、コロナ禍(2020)と体験している。

自分たちの頃の1999/ノストラダムス/世界は滅亡するみたいな終末思想とは別なリアルな終末思想があるのかも

まぁ、わりと救いのない話になるのは最初の話でわかってたんだけだが、無理やりのハッピーエンドですか

https://dededede.jp

Everything Everywhere All at Once

アマプラでデデデのアニメを見ようと思ったら隣にでてきたので。2002の時は

　「この不機嫌なおばさんが主人公な映画みるの? 面白そうだがやだな」

でパス。今回は最初に、しょぼいお父さんと娘さんが出てきたとこで

　「これは、娘と仲直りするワイドスクリーンバロックだ」

だと思いましたが、その通りでした。あとは、どれだけ爆発させるのかだが、おばさんとトラックの中のお父さんだからな

All you need is kill とも似たところあると感じるが、不自然なタイトルだけか?

風邪でお休み中

月曜日に伊佐から北谷まで歩いたら、なんか、調子悪くて。暑さだろと思って

　Buger Bearのハンバーガーとジンジャエール

が、さらに悪化させたので戻って寝てたら、38.5度。痰がひどいのでコロナかも

しかたないので、しばらく寝てました。熱は下がったが、今日一日もお休みかな

QNAPと再び

なんとかく、やる気になったので、8TBのHDDを買ってきて、QNAPのdiskを入れ替え

今回は、全部8TBでそろえたので、RAID5で 1 volumeとして構成

で、動いたので copy なんだけど。アプリを入れて、sync? うーん。

　　ssh で rsync だろ

で、MBA15から、ssh で入って、shell script なおしてたら

　　screen が TERMINFO xterm-color がない

とかいって起動しない。で、一回に一人しか ssh できないので logout

ところが、その後、

　　ssh: connect to host 10.0.1.xx port 22: No route to host

で、2度とloginできず。いろいろやるんだがダメ

　　さっきまで、ssh login してたのに? 他のところには ssh できるのに?!

ところが、お昼ご飯食べて、iPhone の Terminus からだと ssh できる。どういうこと?

　　そこで、奥様の MBAから、ssh すると入れる!

で、rsync は起動できたんですが、

　　また、奥様のMBAからも接続できなくなってる

iPhoneのTerminus からは入れる。一体全体なんなの?

充電しない充電池

うっかり、iPhone が暗転。ちっ、電池切れか

で、非接触な充電池を接続。ところが充電が始まらない。なんでだよ〜

有線で接続したら、起動して充電開始

こういうの踏むの得意なんだよな

iPhone 13の電池も75%でそろそろだめなんだよな。まぁ、iPhone 17を待つつもり

中城公園

なかぐすくって読むんですけどね。なんか、珍しく赤ポが触手を伸ばしているっぽいので

ところが、普天間のバス停から「歩いて35分」しかも、結構な上下が。

いや、歩いたことはあるんですよ。てだこウォークとかでさ

なので、奥様に頼んで車で。車ならすぐだ

まぁ、結局、高くつくだけな気もするが。Sam's Cafeでお昼だったし

まぁ、ウエイトレスのセーラ服がかわいかったからよし

でも、また取りにいかないとなぁ。ingressってのはそういうゲームなので

てだこ御膳

和風亭の自分の定番。なんと

　浦添総合病院監修

らしい。煮物がついているんだよな。

もちろん、普通のファミレスなので、とんかつとかあるわけなんだけどさ

まぁ、これがいいかな。なぜか、寿司は玉子抜きだし

コロナの頃は他にお店が開いてなくて通いましたけどね。最近はたまに

2021にも一回書いているらしい

ハロワ

まぁ、就活さぼってるので。退職証明書持っていってたら「離職票でないとダメです」なんだそれ

でも「もらえるものは、もらっておいた方がいいですよ」ってのは、そうだとは思いました

嘉間良というバス停にあるんだが、北谷側からいくバスがある。変な山道を通る

ま、Ingress には便利ってな話ね

通りそうで通れない階段

沖国から降りるあたり。上にガードレールあり、下には花瓶が

まぁ、そっち通れば少し近いかくらいだけど。通せんぼされてしまうんだな

Ingress の時にしか使わないわけですけどね

ライカムの南の斜面を守るシーサ

ま、まぁ、力不足な気もするが、こんなもんか

実は結構、いるんだけどね。330側に二つ。正面玄関にはおっきなのが

異なる単位のかけ算は非対称

反順序と話していくと

　累加は否定してない

とか言い出すわけ。それは定理証明系では、ぜんぶ累加で定義されてる。Coq/Lean/Agda ね

　data ℕ : Set where
　　 zero : ℕ
　　 suc : ℕ → ℕ

　_+_ : ℕ → ℕ → ℕ
　x + zero = x
　x + (suc y) = suc (x + y)

　_*_ : ℕ → ℕ → ℕ
　x * zero = zero
　x * (suc y) = x + (x * y)

このまま、整数/分数まで拡張して使う。もちろん、掛順はある。

　*-comm : ∀ x y → (x * y) ≡ (y * x)

これが交換則。これは

　5*2=2*5は、5を2回足すのと、2を5回足すのと値は等しい

であり、

　5*2=2*5は、5を2回足すのと、2回5足す

という「国語の問題のトンデモ」「書順」「単位ごとの交換」ではないわけね

そして、単位の異なるかけ算の意味は対称ではない

　5m/s x 2kg =2m/s x 5kg

当たり前に左右で速度が異なる。反順序は

　「そうじゃない、5m/s x 2kg =2kg x 5m/sだ」

とかいうわけだが、

　5m/s x 2kg 5 kg m/s の球が2つ
　2kg x 5m/s 2 kg m/s の球を5倍の速度で投げる

という掛順がある

瓶三本は、体積3倍であり、圧力3倍ではない

　P(3V) = (3P)V

だが、もちろん両辺の掛順は異なる。当たり前の話ね

だが、反順序はこれを理解する知性に欠けるらしく…

ライカムのバス停

誰だよ、壊したのは...

レーザーみたいなものかなぁ

琉大の設備

久しぶりに(ポータルの関係で)琉大に。北食は閉まっててがっかりだったんですが...

　　なんだこれは?

ここで学生を勉強させようって話? 椅子なしで? 高さが立って仕事する高さなんだよな

工学部1号館1階のピロティの工事はどうなったのかな

まぁ、がんばって...

Lv13

Ingress ですね

一ヶ月くらい。まぁ、こんなものかな?

ちらちら、赤が甦ってるけど、たいしたことはない。昔みたいに放っておくと、邪魔リンクひかれたりしない

侍タイムスリッパー

去年に観た映画なんだけど、なんか書くのを忘れてた

なんか、アニメかなと思ってたんだけど、普通に邦画なのね。NHKのメイキングも観ました

子供の頃は、時代劇はなんかつまらないと思ってたけど、昔に黄金時代があったみたいな話ね

そこまでの話が長い

ま、まぁ、面白かったかな?

女の子はいい感じなんだが、それとは関係なく男どもは突っ走る。ま、そんなものかも

https://www.samutai.net

変な建物

と思ったら、消防署の訓練用の建物らしい

それで遊びたい気もするが、疲れるだろうな〜

programming with ChatGPT

qemu-system-mc6809 ですが、順調です。os9 のboot imageを、elf にして、qemu に attachする

で、elf を生成するルーチンを ChatGPTに書かせる。なんと、

　いっぱつで perl -c

が通る。えらい! が、その後がなぁ。segment と program header がずれまくり

結局、objdump -s と readelf -h とで見比べながら。objdump で program header 表示しないはへんだろ?

まぁ、その辺も、ChatGTPと会話してなおすなんてのが流行りらしいが、無課金なのでね

次は、CPUの初期化で、translate を書けば動くはずですが... まぁ、のんびりやってます

Bowling Cat

昔の佐真下のコートドールの淳子さんが、牧港ボウルに開けたお店です。久しぶりにいったら

　「パスタがあります!」

と何回も言われたので、それを頼んだら昔どおりのパスタでした

牧港のバス停から、A&Wを通り抜けて裏にいくんだよな。そばには幸福という怪しいが割とまともなお昼の店もある

電池二つ

割と調子良いです。代わりばんこに充電。ただ、

　　磁石の付きが弱い

ってのが弱点かな。

Ingress 「ま、暇だし」で、いろいろ歩き回るわけだが、そろそろ汗かく季節だな