お仕事どーしよーかなー

5月は少し就活するかも

父も会社たたんでから、他人の会社を手伝ってたんですが

　　ストレス半端なかった

らしく。まぁ、脳梗塞もあったしなぁ

東京あたりで少し話を聞いて回る的なことでもするかな

いつものお店で

Eye of the tiger を唄ってて「これ、ママが好きそうな曲だよね」って言ってたら

　　ママが、片手を高く上げて登場〜

いや、そういうノリ好きだよ

このまま、Grease Lighting / Summer Sun も好きで、たまに一緒に唄わされます。男女バージョンがある

オリビアニュートンジョンとトラボルタなんだよな

RX

DXの琉球大学版らしいです

僕は関わなってないです。もちろん

がんばって〜

https://urdx.skr.u-ryukyu.ac.jp

会議用

スピーカーマイクとカメラ

カメラは四方を向いているらしく。円形に並んだ机を想定しているらしい

それは、日本的会議ってこと?

近寄りすぎると首から上が映らない

HP ARM Server Proliant RL300 Gen11

1U server ですけどね。うちは学生は macOS なのでサーバもARMだとコンテナとかを融通できる

なので評価機を持ってきてもらいました。128 Core 。Core数だけなら ARM がC/P良いらしい

HPの人も来てくれていろいろ聞くわけだが、まぁ、実機で評価しないとね。Ubuntu 22.05 support らしい

最近の新入社員が失敗を恐れて何もしないみたいな話もしてました。若いうちに失敗しないと

で、HPの人がいるうちに Server 設定にいくわけですが、まず、200Vがどこにあるから

　　現状のサーバが200Vなので、そのUPSに。「容量足りるのか?!」って話もあったが、GPU全力でなければ

HPは iLO なので、それから上げるわけだが、Display/Keyboard だと、

　　なんか画面が小さい。状況表示の一部に iLO が出てる。大きくできない

なんかLEDのボタン押せとか書いてあるんだがだめ。で、

　　その小さな画面からIP addressを設定して、ネット経由の iLO で接続成功!

そして、Ubuntu install !!! なのだが、

　　画面が黒いまま
　　HPの人「いや〜、立ち上がりに時間がかかるんですよ。Firm のチェックとか」

そのあほは切れんのか? 確かに時間がかかるが、

　　Ubuntu kernel tty00

で、また数分止まる。そこで HP の人は帰ってしまったんですが、続行

のんびり Ubuntu 22.05 ARM の install は進むわけですが

　　apt-cache READ error

くそ〜　いろいろ、みたけど、どうしようもなく、もう一度、そのまま。

　　で、今度は Ubuntu 22.05 install完了!

おお、何もしてないのに治った。次はネットワークね

　　これがぜんぜんつながらない。容易した旧サーバのGBICが、なんか認識しない

で、生きてるGBICを入れ替えたら接続できたらしい。理由は不明。ハードウェアではなくて、Switchの設定の問題らしいが...

で、とりあえず、ssh できるところまできました。よし、あとは

　　うちのサーバの ansible から設定だ!

その前に、HPのドライバといれて、Ubuntu 24検証して... まだまだ続きます....

腰のいぼ

取ってもらいました。足の指の方は先週見てもらった時にさっさと取ってもらったんだけど

抜糸って、何にもせずに抜くだけのね。少し痛いだけだけど。絆創膏もなし

なんかチーとか音してたので「レーザー」って聞いたら止血がとかいうので電気メスだったらしい

特に痛くもなく、そのまま大学に行ったんですが、帰ってきたら少し痛いな。ジーンとする感じ

そういえば、盲腸の時も麻酔きれたあとは、こんな感じの痛みだったっけ

ロキソニンはたくさんあるので要りませんって言ったんですが、かなに

　「ロキソニンはいくらあっても良い」

と怒られました。この程度なら要らんな。やせがまん好きなので

毎日書くから日記

いつも、ネタはないわけですけどね

酒飲んで起きたら、こんな時間だった

移行結果

http://cr.ie.u-ryukyu.ac.jp/cr-stack/

pukiwiki / growi からの移行はできたんですが、pukiwiki って誰が書いたのかわからないのか

growi は一応 user あるんだが、対応つけるのめんどい

なので、Author なしだな

Hugo は、やっぱり Frontmatter が邪魔。せめて別ファイルにして欲しい

あと、配置がだめ。Stack theme が post/hoge/index.md 形式なのが辛すぎる

なんか、別なのないかな。Markdown based static web のましなの。 いくつかは見かけましたが

自動タグ付けツールとかないのかな?

課金を惜しまないなら、全部、AIに突っ込で「タグつけて」だろうけど

local AI がこれから流行るのか?

Hugo / Pukiwiki / Growi

学生が残した Pukiwiki / Growi の Serverをメンテする気もないので、

　　Hugo に変換

なんだが、Hugo がかなりのあほでな〜 Stack のThemeが割とよさそうんなんだが、

　　Hugo のexternded modeを使う

いや、いいんだけど、なんで、それ default じゃないの? singularity containerを作り直し

Pukiwiki は、Ruby な変換 script を見つけたのでそれで。でも、

　　Hugo は Front Matter というゴミ

が必要。このゴミを Markdown の中に入れるというのがダメな設定で、結局、書き換えが必要

でも、他のツールと混ぜるのもな。そこまでは動いて、次は Growi

これは、Markdwon までは落としてくれるのを Anatouf が書いてるんだが、日付がない

それは、なんか JSON にdumpしてあるぞ。なんだそれ。元は MongoDB なはずですが

ところが生成した Front Matter な YAML が変な記号がとか文句言ってる。今日はここまで

デイリーミッションの奴隷感

コロナが収まってプレイヤーが増えたんだが、緑に二人転向したとかもあって

　割と多勢に無勢

それに、奴隷的にプレイしている人もいてなぁ。それに合わせると奴隷感がちょっと

デイリーミッション良くないよね。原神もIngressも

カードの切り替えで課金止めたってのあってさ

そんなわけで、Ingressは絶賛さぼり中です。割と自由です

真栄原の青の応援でもあれば再開するかも

ブルージャイアント

なんか、フードフリーにいくまで暇なので

上映中はいまいち気が乗らなくて。上原ひろみなのは知ってたんですけどね

ジャズ? まぁ、好きな方だけど、自分の守備範囲ではないな的なところがっあってさ

でも、こういう若い才能の突っ走る話はいいかな。フリーレンもそうなんだけど

　年寄りからの視点

みたいなのが結構入っててさ。全然知らないところから始めるドラマー。その成長を見る楽しさってそれだよね

才能で突っ走るのが、努力で行き詰まってる奴に言い放つ冷たい言葉とかさ

　でも、その行き詰まっている時が成長している時

だとかさ。自分も確かに突っ走っていた時あったよなとか

アンコールのシーンは原作にはなかったらしいんですが、もしかして本当に左だけでやってるの?

そんなわけで、結構良かったです

https://bluegiant-movie.jp/#modal

Mercurial の移行

さすがに2011もののサーバーをいつまでも使うわけにも

で、学科サーバにお引越しなわけですが、

　hg はそのまま使えない。singurality container の中

pyenv だと apt install python3.10-venv を要求するのか。まぁ、行れても良いんだが

　各人の$HOMEが汚れまくる

のは見えてる。まぁ、それでいいならいんだが。container で共有しろとは思う

で、~/bin/hg を作って、

singularity exec hg.sif hg "$@"

で良いらしい。はい、解決

次は pukiwiki と growi か。自分では使わないものだけどね。static に変換するんだが...

つけナポリタン

はちれんの新メニュー

オリーブオイルな麺をトマトソースにつけて食べます。チーズたくさん

自分ではパスだがな。でも、結構おいしい。学生には、とっても美味しいものらしいです

今日から授業かと思ったら明日からだった

今年も、なんかソースコード読むんですが、何を読むのか考え中

去年は Python + Numpy + Cuda でわりとだめだったので、自分の好きなもの読むかな

新兵器

T-fal って、あんまりお行儀良くないじゃないですか

カップめんとかにお湯入れるとき、結構こぼしてしまう。まぁ、お湯なんだから拭けばいいだけなんだが

で、なんか、新兵器を買ってもらいました

これなら、大丈夫。な、はずです

おでき

足と背中のところに... で、皮膚科に行ったんですが

　背中は座ると傷口がさける恐れがある

いや、別にさけても、またくれば良いんでしょとごねたんですが、

　形成外科送りに

んーがー。ちょっと大きくなるまで放置しすぎたか

なんかやらかした

宜野湾そばで、骨汁頼んだら、これ

まぁ、そこそこ、がんばりましたけどね。食べるところ、それほど多いわけでもないし

880円

お休み

まぁ、こういうの嫌いではないんだが

野嵩の中華そば

3/15オープンだったらしい。ソニーボーイから、少し横道にはいったところですね

そこそこ広いけど、二人で廻しているので、まぁ、時間はかかるようです

煮干しだしで、麺も良い。少し高めだが、むしろそれくらい取る方がいいかな

で、あえ玉なるものがある。替え玉が油そばっぽくなってる感じ。300円

頼んでみたんだが、ひと玉は多いな。半分できるのってきいたら「値段は変わりません」だそうです

麺少なめ+あえ玉半分とか良さそう

インストール大会

コロナ後の平常運転ですね

なんと今日の0時にセンタからの新入生用のアカウントが到着。間に合った

どうも手作業してるらしい。なんとかして欲しいなとは思いますけどね

今年はWindows組が数名。Let's note と Surface 。メモリさえあればWSL2 + ubuntu でなんとかなります

良い時代ではある。残りは MBP / MBA

PC高いのは大変だけどな

結構、2年次が来てくれてすばらしい。3年次編入組もがんばれ

かけ算の順序 (高階関数編)

かけ算の定義は、(一つ分)x(いくつ分) 教科書に載ってる。明確に順序がある

交換則の証明は数に対して成立するわけですが、一つ分は数とは限らない。なので

　小2のかけ算の定義は、数のそれより広い

そう言われてみれば、教科書には、きらびやかな絵で書いた例がたくさん載ってる。このかけ算は

　5個ずつお皿に乗ってるのが3枚

とかを直接扱っているわけ。それは実は

　高階関数であって、その変えす値はお皿と飴の構造

だったりする。これは、x=vt や PV=nRT でも言える。そして、それはかけ算の意味なのね。つまり

　かけ算は意味を返す高階関数でありえて、それは可換とは限らない

型が違えば可換の意味もないからな。そして、

　高階関数の意味には、かけ算の定義にそった凖同型がある

これは便利。

　x=vt や PV=nRT の性質は、t や V だけを増やすと、そのまま線形に増える

もちろん、交換法則は、その証明に十分な性質がかけ算の意味にあれば示せる。つまり、

　かけ算の対称性はただではなくて証明されるもの

まぁ、当たり前といえば当たり前

原理主義者たちの対称なかけ算は、対称性をちゃんと証明すれば良い。そういうものもある。結局、

　原理主義者たちが失う対称なかけ算は、それが証明されるならそのままある

でも、ただでは得られない。そこで、

　なんでって僕に言われても、かけ算の定義は変えられません

そこで変えたら、とんでも一直線じゃん。そういう人もいるけどさ

いろいろ、やらかし

4/1になったら教務情報システムにアクセスできない。聞いたら

　今年から更新は紙からメールになった

ちょっと。聞いてないんですけどと思って pick -subject したら、3通きてた。読まんだろ

で、のこのこセンターにいくわけですが

　職員証の期限が切れてます

げげ、なにそれ。自分はここの職員ではないのか?! まぁ、そんなに真面目に仕事してないからなぁ

そういえば、なんか二つ出てきた時に片方捨てたような。まぁ、再発行かなあ

　単なる紙

ですけどね。でも、センターのアカウントは再発行。勝手にパスワードくれるのか。紙で

いや、意外にセキュリティ高い方法かもしれん