今年はラーメン屋さんが2軒

佐真下のはちれん、沖国大前のカデカリ。両方とも復活したりできたりしたんですが、両方とも消滅ですか

お客さんが入ってないわけじゃないけど、人手不足が大きいかな。そのわりに、赤道ラーメンとか永代安とかは残っててなぁ

割きれないが、世間とはそんなものかも

No Signal

こういうのは割と好き

ひさしぶりに

昨日は1時に帰ってきて、寝て起きたら、11時だった

まぁ、何回かはお手洗いに起きてるんだが

歳とると、早く起きるようになるんだけどね

貸し自転車

やっぱり、転んだりするので、ちょっと危なくて

でも、あんまりメンテされてないので、琉大周辺では使い物にならない感じ

バスもタクシーも台数減ってきてて、少し難しい

　

睡眠外来一泊

なんか、たくさん電極付けられて。「本も読むな」ってひどくないですか

まぁ、でも、部屋真っ暗であっという間に寝てしまいましたが。でも、夜中におしっこで起きるんだよな

で、それが無呼吸で起きるってことらしい。電極付きなんで、その度にナースコールってわけ

それも三回くらいだったかな

なんか「かぶれ止め」とかいってスプレーされて「気休めですか?」とか言ってたんですが、

　終わったあと、首のまわりがひりひりする

それの防止か。結果は年明けですが、まぁ、保険対応にはならないだろうなとは思ってます

で、CPAP再開か。めんどくさい。はっきり睡眠が回復する人もいるらしいんですが、僕はそうではないっぽい

でも、いびきは収まってるみたいに言われるので、効果はあるっぽい

睡眠外来

一晩検査入院

なんだけど、半年酒抜いたからからなぁ

悪くないと保険がでないので、CPAPのレンタルが高くなるらしい

まぁ、いびきはなくなってるらしいので、良かろうと悪かろうと続けるのかな

ワクチン

コロナとインフルエンザ、両方、打ってきました

特に何もでず。今のところは

二つ合わせて6千円なら、打つかな

去年も今頃、コロナ打ったはずだが、記録が見当たらないな
-

年内の授業は終わり

今年は研究室の学生はいないので、特にやることはなし

いや、いたらしいんだが、いつのまにか他の研究室に移ってました

来年度のお仕事は探し中です(が、何もしてない)

寒い

といっても16度くらいなんだけどね

でも、やせたので寒く感じる

OKICA

なくなるのって感じですが、まだあります。バスの両替が新札使えないのがな

で、困ってたんですが、なんか、

　　普天間の沖銀に OKICA Charge機が!

しかも、新札を受け付ける。偉い

新しい SNS

MS / FB の次は mixi2 ですか

最初の盛り上がりは楽しいかも

といいながら、特になにをやろうという気もないけど

次はプロシン

なんだが、まだ、宿の話が来てないな

まぁ、いいんだけどね

新札対応なし

まぁ、そうだけど

バスは割とチャージするので札を使うんだが

いろいろ困ったものだ

ティアラの鰺フライ定食

西原サンエーのそばですね

普通な定食ですけど。 ちょっと「お口に合いませんでしたか」とか言われましたが、

鰺フライは全部食べたが、他を残しただけですが。半熟卵かと思ったのは仕方ない

近所に赤ポータルの掃除をいった帰りです

スターリンク

                                                                                                                                             

お客さんがきたので「じゃぁ、工学部1号館の屋上でも見せるか」で、いったんですが                                                                                     

　なんか、開いている。工事してる                                                                                                                                  

そしたら、お客さんが「これは、スターリンクのケーブルだ」とかいうので、え、じゃぁ、本体はどこ?!                                                                    

と、いったら、すぐそこに                                                                                                                                          

いや、そういう使い方するものなの? まぁ、誰かが入れたんでしょう。設置してる人は、それがなんだか把握してない感じだった...        

Go lang 読み会

学生3人とお客さん2人という感じでした

go lang は、昔、一回読んだことがあったんだけど、だいぶ変わっていて

LLVMはC++で、かなり読みづらかったですけど、今回のはだいぶ読みやすい

C++のclassは Template だとかデザインパターンがどうとかうるいさいからなぁ

golang は割と旧式のCっぽく書いた感じで書ける言語なんだよね。実際、

この go lang compiler は、ライブラリと一体になっているわけだけど

　全部が、普通の K&R Cで書いてある感じ

もちろん、GCはあるわけなんだが... closure とかもあるんだけどね

compiler は cmd/compile の下にあり、cmd/compiler/internal の下にほとんどのものがある

コンパイル自体は

　構文解析、型検査、SSA生成、SSAをCPUに特化して、コード生成

という手順。それぞれ、普通に関数が呼び出される感じ

dlvが currdirectory にファイルを書き込むのが少し困ったが、普通に dlv で break point で読めました

　 /opt/golang1/go/bin/go -- build -x -a -v -gcflags="all=-N -l" -s ~/src/hello/ex.go

こんな感じでやると、呼び出されているコマンドがわかるので、

　dlv exec　/opt/golang1/go/pkg/tool/linux_amd64/compile --　~/src/hello/ex.go

とすればよい。

　 export GOSSAFUNC=main　;　/opt/golang1/go/bin/go build -x ~/src/hello/ex.go

とすると、ssa の出力が HTMLで見れます

https://ie.u-ryukyu.ac.jp/~kono/etc/ssa.html

こいつが優れものだった。

golang compiler

gitlab から、とってきて、手元のgolang compiler で作るだけ

なんだが、1.21では1.24はcompileできない。うーん

まぁ、1.24入れればよいか

dlv が read only directory だと動かん

いろいろ問題あるが、まぁ、singularity container はできた

Sakura server のトラブルの続き

なんとHDD 12台中4台こわれてエラー出してたらしく、RAIDはゼロからやりなおし

たぶん、logの見落としなんだけど、いや、見ないよな

backup は生きているっていうか、Sakura側がbackupみたいなものなんだよな

20TBもあるので、restoreには2週間もかかるらしい

いくつか動いているサービスがあって、それをなんとかするかってところをやってるみたい

DNS replication をこりすぎてたところがあるので、それは簡略化だな

日吉の慶應

やっぱり、お金持っているところは良い。選択と集中で格差は開いたからなぁ

学生の明るい感じも昔の矢上とは違う感じね

来生館は無駄な上下動がある感じの建物でしたが、中の広い空間とか面白かった

Comsys 2024 2日目

さぼりながらですが

招待講演は NECのLLMなわけですが、

　お金がかかる
　GPUが熱を出す

ってなところからのお話。すでにChatGPTとかで basic なLLMはできてるんだから、それを

　他の人も寄ってたかって作る

ってのは無駄なんじゃないかとは思うわけですけどね

でも、もちろん話は面白い

　作用の限界
　知識の限界
　推論の限界

とかさ。LLMに対する熱は僕はさめましたが、作用の限界とかでも、まだまだいろいろあるらしい。
作用の限界はLLMのUIの工夫みたいな感じね。

知識の限界は、LLMの持つ知識量の限界。推論の限界は、その上で何回推論を行うかね。

Agdaとかいじっていると、推論の問題は単一化にあると思うわけだけど、それはまだ先の話かな。

Comsys 2024

OS研究会とCS研究会の合同なわけですが、あんまり出したことはないです

今回は呼びされたので、来たわけですが、まぁ、

　　発表はするだろ?

ってなところ。と思ったら Single Session か。OS研究会ならそうだけど。

国際学会で発表されたもののセッションとかもあって、割と楽しかったです。

Unikernel が面白かったかな

コンパイラの授業

12/7,8 に golang のコンパイラを読もうかと思ってます

10:00-12:00
14:00-15:30
16:00-17:30

ぐらいかな

前に読んだ時は singularity container を作らなかったみたい