金沢でみかけた変なものシリーズ

ガウティっぽいビル

この手のは住むといろいろ問題がでるものだけど

スペインもガウディの建物は観光名所だが、わりと迷惑がられているらしい

葬送のフリーレン

そういうblog書いてなかった不思議

なんか Kindle に入ってて、面白いと言われていたんですが、読み始めたら

　　なんか、とろい話で

のんびり進むのかと思ったら、いきなりヒンメルがおじいちゃんに

アウラでびっくりというパターン。出てるところまで読み終わった時点でアニメがスタート

　魔族とはわかりえない

みたいなテーマがあるわけですが、まぁ、自分はあまり共感できないが、それも変わっていくのかも

アニメは魔術師試験までですが、2期のあれも楽しみではある。アニメの戦いの描写は結構良かったので

アニメと漫画の乖離が少ないのも良いかな

学生も結構はまっているらしいけど、自分たちとは視点が異なるんだろうな

https://frieren-anime.jp

金沢でみかけた変なものシリーズ

まだまだ続くのか。今日はわらびーず

なんか、シャーレで、味噌とか塩とか売ってる

店員さんが白衣なのが点数たかい

大学でお散歩

金沢の増加分を徐々に落としたい

まだ、涼しいからいいけど、暑いときの方が効率はよい

Dune part2

観てきました。堪能しました


　ね

　た

　ば

　れ


といっても、読んでる人には関係ないか。第一部の終わりまでで、ちょうどいい感じ

小説にそって控えめな感じな描き方も良いかな。戦闘シーンとかは原作でもあっさりしたものだし

チャニが怒りまくってる。お母様とスティルガーは逝ってしまってるわけなので、ある意味楽しそうなんだが

日本語でも何回か読んだし、英語でも読んでるんだが、それでも

　え、そんな話しあったか?

なところが若干

続きは救世主だとだいぶ地味な話になるので、いろいろ変えてくるかも知れないですね


https://wwws.warnerbros.co.jp/dune-movie/

金沢でみかけた変なものシリーズ

え、全部、カタン? カタン大会か?!

さすが JAIST だな

自分的には少し苦手なゲーム。このゲームで勝ちたいかと言われると少し違うような

そして、そう思っている人と一緒にゲームするかというと、自分でも少し微妙

でも、他の人の戦略を見て「なるほど」と思うのは楽しいです

金沢でみかけた変なものシリーズ

割とアートが多い。金持ちなのか、そういう文化なのか。沖縄は那覇でもそんなにない

これは県立図書館のオブジェ。回転してる。動画で撮るほどのものでもないですが

図書館は入り口には特に何もなくて、オープンなのが良い感じ

いった時は、かなり天気が悪くて、図書館見学くらいがちょうど良かったです

金沢で見かけた変なものシリーズ

コンビニの山盛りカップ麺。安売りしてるらしい

地震で崩れたにしては、ずいぶん時間が経ってる

737で沖縄

JTAって737しかないの? 昔は737だと少しがっかりしたものだが

でも今はむしろ良い感じ

Class Jのシートが良くなったからかな

金沢はたくさん酒が飲めて良かったです

石川県立図書館

順調に飲んだくれてますが、図書館にも行ってきました。バスで30分

広くてセンスがよい。ほこりくさくない。やっぱり金持ちの街って箱物が豪華。JAISTもそうだけど

本の選択は、まぁ、市民向けだとこんなものかも。大学とか各学科のとは違うよね

ただ、カフェが一つしかなくて行列してました

ASDと脳科学みたいな講演をしてたな

JAIST

金沢からでも、相変わらずの陸の孤島っぷりが... 車なら35分なんですが

　　能美根上から「のみバス」で40分

小松からの予約バスなんていう手もあるらしい。まぁ、バスでいけるだけましか。OISTなみだな

まぁ、そういうの嫌いなわけでもないので、お昼ご飯食べてからのこのこと

OISTと違って公用語が英語だったりはしないんですが、研究室が広いのは良いな。

昔のさきがけの関係の先生とか、学生さんとか何人かと話してきました

キャンパスがオープンなのは陸の孤島のせいかも。この時期なので人は少なかったんですが

のみバスがぐるぐるいろんなところを廻るので少し車酔いしたかも

しばらく金沢

で、のんだくれているらしいです

得に予定なし

そうか、金沢というとおでんなのね

Godiva 買い占め

ライカムだと Godiva に寄ることが多くて、

　「カレ、ダーク20枚」

っていったら、最近は4枚入りの箱があるらしく。10枚じゃないのか。ところが

　「20枚ありません」

とかいってる。じゃぁ、ある分でいいです

　「ホワイトデーで、かなり出てしまって」

そうのかと思って、つつんでもらおうとしたら

　いやいや、20箱じゃないから

5箱でいいんですよ。20枚なんだから。危うく買い占めてしまうところだった

まぁ、明治のブラックでも良いんですけどね

マクドトラブル

わざわざ見にいったんですが、モバイルオーダーは停止中

店内のパネルからのオーダーは可能ですが、決済には1-2分かかってました

なんか、ビッグマックのソース増しが可能になってました。アプリからもできるようになるかも

少しすいてて、品物は割と早く来ました

原因の話はいろいろでるんでしょうけど、ネット関係みたいですね

Godzilla - 1.0

見てきました。そんなにゴジラファンじゃないし、あんまり気が進まないところもあって見送ってました

まぁ、賞も取ったし。いろいろ噂は聞いてたが、割と涙腺緩い方なので、泣きが入るのは良かったかな

予算制約なんだろうけど、そこそこ凝った作戦なんだから、ゴジラの変形はもう少しあるべきだったような

米軍がまったく関与しないってのもそれだろうけど、変だよな。米軍の士気高い頃だろうし

伏線なしでそれですかとか、バレバレなのとか、雑なんだが、まぁ、ゴジラ映画ってのはそういうものかも

でも、あの飛行機とか戦車とか軍鑑とかが動くってだけでうれしい人も多いんだろうな

　＊　＊　＊

これ登場人物は父母の世代。モブの服装がそれっぽいとか、子供の服装とか。バイクとか

街のスケール感がスタジオ的なのは、むしろわざとなのかも。昭和感は楽しめたかな

そう言えば白黒上映って話もあったっけ。確かにそっちの方が映画自体の昭和感がでるのか

確かに演技自体も昔風な感じだったし

gitgub copilot

何か知らんうちに切れてる。Agdaだとそれほどうれしくもないんだが、たまにばっちり当てるので

neovimのpluginをgit pull して終わりですか

この前の財布騒ぎで、いろいろカード関係が切れたのを良いことに切りまくってます

GPT4もしばらく要らんかな。Claud3 も試してみてます

なんか来年度も授業が多いんだよな

琉ラボ

普通に午後から出勤したら、なんか飯尾先生みたいなのが... 近寄ってみたら本人でした

学生連れて琉ラボ(地域振興館1F)にいくというので、少し冷やかしに。近所だし

起業支援系の施設らしく、そういうお話でさ。喉が不自由で質問しなかったが twitterにはいろいろ書いた

学生も「起業のリスクは?」とか聞いてたし、その辺は分かってる感じ

飯尾先生も「(社会的に必要とされていても)赤字な民間団体みたいなのはどうなの?」とか聞いててスルーされてましたが

Shadow Works も「金銭的に評価されない社会に必須な仕事」なわけで、

　起業して、金銭的に儲ける

という評価軸が完璧にずれてるという感じ。アンケートでニーズを確かめるなんて話もあったけど、

　Apple 1 を作った時に、50人にアンケートしたら、全員、「そんなもん要らん」

というと思う。そもそも、それがなんなのかもわからない。つうか、

　起業の話をするのに Apple を例にあげるんじゃない

と思いました

Nginx の IPv6

なんか気になってたんだが、どうも学科のWebにIPv6が通ってない。そういう課題を出してたりするんで気がついたんですが

pdoman / nginx に切り替えた時からだから、放置がひどい。ping6 が通らないところから..

結構いろいろあって

1) podman network が defulat IPv6 off なので明示的に ebable する
2) podman v4 で、また、IP4/IP6 のアドレス設定のやり方が変更 ( -ip ではなく -network のパラメタになった)
3) そもそも nginx の方でも、IPv6 の待ち受けの設定が必要
4) Fortigate で IPv6 Virual IP の設定が必要

最後のあたりですったもんだしたんですが、まぁ、通ったらしい

で学生に自慢するんですが

　みてもわからない

なんだが、「IPv6しか通らないAdroidスマホ」な学生は「おぉ、見れるようになった」とよろこんでました

卒業ハリーズ

このコロナ騒ぎでいろいろKnow Howが失われてて。僕もうっかりしてたんですが、

　　誰も段取りしてなかったらしく

いや、あの「一人二千円でお願いします」くらい言えなかったのか? (お酒抜き)

なので、少し高くついた気もしますが、普通に豪華なカレーだったので良かったです

幸地インターの工事

トンネルと橋はできてるっぽい。まだ、かかりそうだな

これだと、高速バス停は移動しないかも知れない(といいな)

坂道

バスの時間があわないと、1/3しかバスに乗れない。そこで

　　あえて、坂道を選択する

これでしょ

This page was intentionally left blank

週末は、おとなしく寝てる予定です

うちのひょうたん継ぎ

良く見ると継目が見えます

ガジュマルが倒れるとはね

あの台風はすごかった

PostgreSQL version 16

KEA-DHCP に久しぶりに触ったんですが、Rest API が動かない。まさかと思って、Docker image あげたら、keactrl がちゃんとあってそれ

なんですが、DB構造が合ってなくて、schema version が13でなくて18だとかいう

まぁ、それはKEA-DHCPの問題でDB初期化すれば良いだけだが

　　PostgreSQLのversionは?

どうも今、使ってるのは13で最新は16らしい。これ上げるとなると

　　Akatsuki / PowerDNS / KEA-DHCP / FreeRadius / Gitlab

あたりが関係する。これ、どうするの? まぁ、サーバ切り替えの時に一気にやるのはありだが、

そもそも、コンテナimageを PosgreSQL 16 で統一できるのか?

それとも、みんな 13 で知らんぷり?

咳

なんか長引いてて... 続く人は続くらしい。別に咳止めでもいいんだが、割と薬は飲まない方針な人なので

酒飲みにいかないのでお金かからないし、体重は減るしでいいことばかりです

熱はないんだが社会の迷惑ではあるな

雨男

まぁ、別に沖縄に戻ってきて、雨続き

別に僕のせいではないですけどね

今日は、琉大は霧がすごかった...

最近のWordle

Streak 192 です。前回は 117 ぐらいで落ちました

最初の 4 word 固定派。よほど大量にでない限りは、そのまま入れるかな

ここでそれを晒してもいいけど、まぁ、普通なはずです

NY Times は購読しているので解析がついてる。安全寄りにやってるので、そんなもん

アプリ側が word として認識するのと、解析が word と認識するのとのずれがある

つまり、解析があと 1 word とか言っても、別な word が accept されて外れる

いや、それもひどいよね。

最近ので苦戦したのは

　psalm repel verge ember

あたりかな。j k q は割と引っかからなくなった。

かけ算の順序 (右かけ算と左かけ算編)

かけ算原理主義は

　かけ算は対称だと言う教義(根拠は素朴実在論=神)
　それに反するものは禁止、あるいは暴力で阻止
　包含除/累加(一つ分xいくつ分)や式の意味の禁止

という社会問題で数学的なものじゃない

(一つ分)x(いくつ分)でかけ算を理解するのは、足し算の繰り返しでの計算や操作を中心とした構成数学的な手法で手を動かして理解できる

この定義では、引数の片方で問題を分割する。つまり、片方を固定して、他方を増加させて計算する

これは、それでそのままある。これで問題解けるし、実数や複素数までの拡張も問題ない。かけ算の非対称性は線形代数や量子力学に自然に対応する

否定する必要はないし、それは無理

(ひとつ分)x(いくつ分)の定義と両立しない原理主義者の間違いのパターンがある

0)値が同じなら式も同じ
1)定義はない
2)アレイ図を数える
3) (いくつ分)x (ひとつ分)の両方が成立
4) (いくつ分)x (ひとつ分)との不定状態

この中でまともなのは 3 だけで、その他はかけ算の計算手続きを放棄してしまっている

つまり対称なかけ算の定義でまともなのは(一つ分)x(いくつ分)と(いくつ分)x(一つ分)、
つまり右かけ算と左かけ算を両方用意する方法だけ。半環とか実閉体とかも対称性を要求すなら、これと同じになる

右かけ算と左かけ算には異なる意味がある。かけ算の意味とは、かけ算の状況をさす。明示的なまとまり、単位、
定義域の制約などである。

実際、PV、nRT、vt、ne、お皿と飴
対称でないかけ算たくさんあって
トランプ配りみたいな言葉まである

PV=nRT で、
　Pを固定してVを増やすかけ算
　Vを固定してPを増やすかけ算
の意味は異なる。操作が違う。これが左右のかけ算になる

原理主義者の対称性の根拠はアレイ図によるかけ算の理解だが、 アレイ図は実は向きがある
　→→→
　→→→
0があるから数える向きがある。これだと回転しても同じ形にはならない

　皿の上の飴を数える局所的な計数
　皿を越える緩い計数

の二つの向き(足し算)がある。トランプ配りは計数の強度が逆なので変に感じる

向きを無視する、あるいは両方あると思うと原理主義者的になる

なので別に(一つ分)x(いくつ分)と対称なかけ算は両立する。対称な状況/かけ算の意味の時、あるいは
単位のサンドイッチに変形したり、値だけに注目すると対称なかけ算に変換できる

でも、それは元の式に意味や順序がなくなることとは違う。式の意味は、大雑把に単位と思って良い

それでも「値は一緒なんだから同じでしょ」と言ってくる人がいる。それは式の意味とか状況が対称だと決めつけてるだけ

意味を考えると左右のかけ算が区別できる違うっていう認識はある。それらの意味を外して値として計算すれば対称

そこで「だって」とか「でも」が出てくる余地がよくわからん

お休み中

去年は位相空間論やってたんだよな

Red black tree の残りを片付けようと思ってるんですが、やる気が微妙

なんか、Agdaの式が頭に入ってこない

酒量多めなので、少し控える予定

Queen のIMAX映画

行ってきました。音良いです。Gameの頃のかなぁ。We will rock you を何回も

4人だからな。シンプルといえばそう。テープレコーダー使ったのも控えめ

Under Pressure が印象に残ったかな

ボヘミアンラプソディーのオペラパートはテープ。いや、それでいいし

むしろ、ハイテクで重厚なのが聞きたい気もする。アダムランバートのどうなんだろ!

でも、Talking Headsの方が良く練られてるかな。人数多いし。物語感がある

フレさんが観れるだけで素晴らしい。どんどん脱いでくし