最近のコタ

どうも過剰グルーミングらしく。こんなことに

でも、少しは収まっている感じ

月を詠むとソウエイシャ

月を詠むは、普天間のカレー屋さん。営業日が週の前半なのでなかなか

でも、どうも嘉数でソウエイシャという茶店をやってたらしい。あぁ、コロナの直前の2020/10にいった写真がある

あれから、紆余曲折あったな〜

魔女の一撃は、まぁ、少し痛いけど

　　歩きながら治す

方針です

魔女の一撃

なんか、朝、シャワー浴びててたら、いきなり

なんだよ〜　靴下たってはけないんですが

まぁ、歩くのには問題ない。危ない感じはあるが

トイレの手洗いが辛いんですが

ま、
　「そろそろ、ほどほどにしておけ」
って感じですかね

少し良くなってる感じがする

Red Black Tree

普通のバランス木ですね。これを

GaersAgda という CbC に対応したAgda の一種の手続き型言語で書く

で、それを Hoare Logic 的な方法で証明していく

なんですが、割と難航してて。去年は学生と一緒にやったんだけど、

　Invariant とFind

ぐらいまででな。その後のバランスさせながら上にあがるってのが面白いんだが

バランスさせるのは case1 から case6 まであるんだが、なんか case5まで到達

思ったより複雑なんですが、たぶん、今年のプロシンのネタにすると思います

削除の方も同じ Invariant 使えれば、まぁ

それで、こいつを CbC にコンパイルできるはずなんだが

消滅都市ライブ中継

10年も前のソシャゲですけどね。ソシャゲバブルの頃か

今年の2月にサービス終了だったんですが、このゲームは音ゲーではなく、アクション系なんだが

　音楽が良い

サ終したゲームのライブとかやるか? って気もするが、まぁ、根強いファンはいるってことか

90分楽しかったです

Sound track だとちょっと足りないかなぁ

でも、一応、オフライン版のアプリは公開されたので、音はきけます

曲目リストどこだ?!

https://x.com/noisycroak/status/1796832645701414976

無線LANの問題

全体を一つの SSID で受けているんですが、どうも

　無線LANのセグメントが一つの broadcast domain

になってしまってるらしく、broadcast が割と大きい

で、分割したいと思うんだが、CISCOのコントローラーが SSID を複数のネットワークに分割する

っていう設定を持ってないみたいなんだよな

＊　QoSで broadcast を制約する

＊　DHCPで、ユーザーごとに異なるセグメントに割り当てる

なんてわざがあるらしいんですが、そういば、

＊　KEA DHCP6 に移行する

って課題があったのを思い出した。まぁ、やっておくか...

Wordle 279 streak

今朝のは結構ひどかったが、なんとか

NYTimes は購読しているんですが、そんなに一生懸命読んでるわけでもなく

でも、Wordle はNYTに珍しく爆発的なヒットだったのか

まぁ、外すのは時間の問題だとは思うんですけどね