かけ算の話

まだ、続いてるんですけどね。twitter / X の話はだいぶ変わってきてる

＊　反教科書がいなくなった

教科書のコピペを貼ってるので、「かけ算の定義はない」みたいなトンデモいうのがいなくなった

反教科書を前面に主張すると、twitterの議論として成立しない。まぁ、そうだよね

反順序のかけ算は「教科書に載ってない」「参考文献もない」。つまり科学ではないわけ

教科書のかけ算と掛順を認めて「バツはないだろ」くらいがせいぜいな主張なんだよな

それを越えて

「かけ算の定義はない」
「元から対称なかけ算がある」
「かけ算はどっちでもいい」
「かけ算は累加ではない」
「アレイ図を数える」
「有限集合の直積だから、どっちでもいい」
「文字列のかけ算はかけ算ではない」

とかを主張し始めると、反科学、トンデモ化してしまう

ペアノの構成、高階直観論理の構成は累加なので掛順がある。それは文献はやまほどある

首里城工事中

なんか、結構、すぐにできてしまうらしい

鍵盤の足

Road PC-180と Micro Korg を並べて使ってるんだが、上下にずらした方が良いので本をはさんでたんだが

奥様のお気に召さなかったらしく、足が登場してました

100円ショップ?

ぴーかん

暑いだけですけどね

でも、本土よりはましなんだよな

古島のバス停

なんか、屋根がなおってました

まぁ、また台風で飛ばされるんだろうけど

なんか寝てる

むかーしの写真ね

鼻水

なんか、朝ご飯(カップ麺のフォー)を食べたら、鼻水が

そのまま、昼飯から、スタバと移動したんですが、なんか、ずるずるに

そのまま、スタバにいても社会の迷惑なので撤退

でも、家に歩いて戻る頃には収まってました

なんだったんだ? 熱はないし

まぁ、子供の頃からの慢性鼻炎だからな

県立博物館のブラックジャック展

なんか、量が多いとかなが感動してたので行ってきました。なんだが話を良く聞いてなかった

　生原稿リーダーズダイジェスト

だったのか。パネル毎に原稿とお話が並んでるわけね

いや、自分には少し微妙かも。ゆっくり見るには一部しかなくて、飛ばしてみるのはあれで

漫喫で読む方が良いかも。生原稿には萌えない

hg recover

そんなのあるのか...

　% hg push
　pushing to ssh://christina/hg/ ...
　searching for changes
　remote: abort: abandoned transaction found
　remote: (run 'hg recover' to clean up transaction)
　abort: stream ended unexpectedly (got 0 bytes, expected 4)

なんと、remove からはできないらしく。server 側は singularity container なので、singularity shell で

　Singularity> hg recover
　rolling back interrupted transaction
　(verify step skipped, run `hg verify` to check your repository content)
　Singularity> hg verify
　checking changesets
　checking manifests
　crosschecking files in changesets and manifests
　checking files
　checked 1182 changesets with 1806 changes to 150 files
　Singularity> exit

まぁ、簡単だが、何年もつかっているけど、はじめてみた

水曜日はフロートの日

牧港のエンダーですね。A&W、ハイシーズンなので

　記念写真撮ってる人たちが

それとは関係なく一人で。最近は割とカロリー取るようにしてます

知能情報の新しいサーバ

これらから設定するらしいです。ARM serverもつけたんだが、おまけっぽい

Proxmox で設定したいらしい。まぁ、いいんじゃないかな

さくらサーバ側は手で設定?! ま、まぁ、がんばれ

最近、Ceph の調子が悪いらしい。長く使いすぎだな

遠近両用メガネ

にしてみたんですが。検眼している時はいけると思ったんだが、なんか結構違う感じが

まず、にじみがある

あと、プリズムなしにしたのが意外にくる。何十年もプリズムありだったからなぁ

で、致命的なのが

　iPhoneが見えない

え、どういうこと? 検眼してた時はいけると思ったんだが。近視よりに作ってもらったはずなんだが

まぁ、Ingress するくらいなら

もしかすると、逆に作ってしまったのかも

でも、ノートPC使う時には、まったくだめってわかっていたので、そんなものかも

遠近両用でプリズム入れることも可能らしいんだが

病院

CPAPの貸出に合わせて病院通いなわけですが、通知がなくて、忘れました

別に予約しなくてもよいらしい。いつもの先生は忙しいらしく「この先生なら早いよ」ってことで、そっちの先生に

いや、どうせ、なんもみないし

カレンダーの通知がおかしいのは昔からなんだが、困ったものだな

WARNING: private/main.ics failed verification -- update discarded (will try again).

こいつか...

-

屋富祖の壁

ちょっと安めの飲み屋さん街ですけどね。最近は少し静か

でも、この壁には気がつかなかったな

懐かしいっていうには古い感じでもあるか

めぇーみちの梅干し

子供の頃はよく見たけどね

いまは珍しいか

 猫避けの猫                                                                                                                                               

紅茶用の牛乳にくびをつこっむ奴がいるので                                                                                                                          

もしかすると、前にも書いたかも  

琉大病院行きのバス

ingress の関係でたまたま使ってみました。125番と294番の二つがある

意外に便利なんだが、普天間過ぎると

　新しい道に入って、橋を渡る

おいおい、どこへいくんだよと思っていると、左に曲がって、医学部。琉大病院は、さらにその先

　普天間でいご通りは、5F上にある

一応、

　5Fまで駐車場のエレベーターを使える

ってことらしい。いや、ちょっとした冒険なんですけど

儀保の下地パスタ研究所

3年目らしい。なくなってしまったヨナラボを思い出しますが

こういう名前付けは割と好きかも

割とカジュアルなパスタ屋さんでした