沖縄路線バスの日

9月の水曜日?

無料になったくらいでは、あんまり乗らないんじゃないかなぁ

そもそも、沖縄の人はバス停まで歩かないし

こういう路線があるって宣伝しないと乗り方わからんし

　ゆいレールの終電に接続するバスがない

とかって、自ら滅びの道を歩んでいるような

でも、問題は「路線を維持できるか」の方なんじゃないのかなぁ

運転手不足とかどうするんだろ。自動運転にしろって思いますけどね

琉大の主

態度でかいです

頻脈はばっちり収まって、息苦しさとか気持ちが悪いのはなくなったんだが、まだ、本調子ではない感じ

まぁ、しばらくは、そんなものかも。だいぶやせたのでズボンが緩い

しゃばのご飯は身体に悪い

だから、美味しい

ってわけですけどね。血圧は、まぁ、これくらいでいいらしいので、特に控えてません

痛かったこと

まぁ、いろいろ穴を開けられたわけですが、右手付け根は動脈なんだよな

そこからカテーテルだったわけですが、抜く時は先生がやってくれるわけですが

　ガムテープみたいなのをビビっと剥がす
　圧迫止血帯をぐっと押す

「痛って!」。8時から10時までひどい歯痛なみに痛いんですが。

あまりに痛いので痛み止めもらおうと思ってナースコールしたら

　一段圧を抜いてくれて、そこで収まった

なんだが、ガムテープの方は表皮もってかれて水膨れ。まあ、そっちはひりひりするくらいだが

看護師さんたちは剥離剤使ってくれるのに

まぁ、他のところは問題なし。先生がやったところだけじゃん

まぁ、痛いのそんなに嫌いじゃないからいいけどさ

今回痛かったのは、そこだけでした

アブレーション

なんか一週間のびて、このあたりに。特に問題なく、心臓の調子は戻りました

不整脈増えてるらしい。3月あたりから調子悪くて、6月から通院で8月に手術ですが、早期に見つかって良かった的に言われました

どうも気がつかない人がいるらしい。確かに僕も心電図とってもらわないとわからかったかも。12月はなんともなかったんだよな

Apple Watch は警告でまくりなので、ちゃんとしてたら気がついたかも

急性期なのでおとなしくしてろ、薬飲めってことらしいです

Wordle 1年

ってことは、去年の今頃落としてたってことね。前回は117くらいだったはず

安全運転でやってますが、まぁ、時間の問題ではある

たっかいむっかい

このコースターは持って帰るべきだったかも

agda

ちんたら、進んでます

細かくって良くわからん

って自分で書いてるわけなんだが

Cubical compatible にしてるんだが、最初からそうしておけば良かった

教官室で

寝っ転がって Agda の証明書いてたら、なんか、ドアの外でうろうろする人が

　「どうぞ」

って言ったのに。出てみたら、97年生でした。OCCの主任ですかそうですか

まぁ、ノックくらいしようよ

しばらくお話してました。なかなか開発できないか。まぁ、そのポジションだとそうだよな

BD録画

まぁ、惰性で続けてるんだけど。昔の Air check ね

光学メディアは進歩が止まってしまって。バックアップは重要なんだから、TBなのが出ててもおかしくない

でも、残念なら、そっちの方には進まず

SKP 2台で録画しまってたころが楽しかったかな

いきつけの内科

まぁ、お腹壊した時にいってから使ってるわけですが。割と何にもしてくれないのがよい
血圧の薬をもらってるだけ

で、今日いったら

　　やっっぱり血圧の薬がダブってる
　　つうか、浦添総合病院いってるのに、なんで、こっちに来たの?

え、やっぱりそうですか。とかいいながら

　　血圧の薬は処方する

あ、そうですか。もう少し血圧下げたいのかと思ったがそういう話ではないのか

処方した薬は、今のがなくなってから飲めとか言われました

タッチ対応自販機

なんか、いろんなカードを使えるらしいが

　　使い方がわからん

カードをかざせば自動的ってわけじゃないのか

なんか、反応するんだが、どこでどうして、そうなったのか謎

こういうの壊すの得意なんだよな...

歯ブラシの電池

結局、ソニー時代からの電極の入っている電動式ではない歯ブラシってのを使ってたりするんですけどね

歯磨き粉(歯磨材)なし。なので、歯医者さんにいくと少し白くしてくれる

で、電池が切れた(LEDでチェックする)ので、普通はやらないんだが、電池交換してみることに

CR1025? で、気がついたんだが

　　ボタン電池の種類が爆発している

そうなのか。ベスト電気にいったら、山田電気の在庫を探してくれて手に入れました

が、電池交換して「こいつ導通してないじゃん」で少し悩んですが、奥様が

　　「なんか部品が落ちてる。金属のバネみたいなやつ」

それだ。なんかOリング入ってるのか。普通は買い換えらしい

まぁ、歯ではそんなに苦労してないので、効果はそんなものかも。奥歯のブリッジくらいか

大学院以前が結構ひどかった。同級生に、一通りなおしてもらって以来30年以上調子良いです

https://www.ionic.co.jp/features

エイサー

元のバンボッシュのところでやってました

そういう季節だな

bot 探索

MatterMost (Slack 互換オープンソース)で、bot を動かしてたんだが、もう誰もみないので止めようと

なんだが、bot がどこで動いているのかわからない

サーバ上の crontab を探しまくるんんだが、どこにもいない

Scrapbox には「dalmore に移転」って書いてあるのに

で、Twitterにいる OB に聞いてみると

　　gitlab ci の schedule task です

そんなんわかるか〜　 つうか、Scrapbox に書いとけよ...

というわけで無事停められました

お医者さんとカレンダー

別に秘書さんがいるわけじゃないので、カレンダーがバグってて

14時にお医者さんにいったら「午前中でした」って、そんなこといわれても

予約表の写メを見ると、確かに午前中なんだが、iPhoneのカレンダーの時刻が変

うーん、どうもGMTの誤変換になってるっぽいような...

　iPhone → MBP → iPhone

みたいな流れで時間がごみっているらしい。Google Calendar がノイズまみれってのも問題なんだよな

次の午前5時とかになってるので、なんかバグってるな

JICAの抜け道

JICAの宿泊棟は、トンネルからと、坂道の両方があるのか

これは ingress的に便利

グリース

78年のトラボルタとオリビアニュートンジョンの映画ですね

当時は30なオリビアが高校生演じるってくらいで、特に観にいこうという気にもならず

でも、最近は貴のママ(貴子)が、DAMの Grease Lightning Mega Mixを一緒に歌わせるので...

歌自体は楽しい

なんだが、自分は男子校から東工大なわけで、高校時代はグリースとかとは関係ない

　真っ黒、黒

な時代なわけでさ。もちろん、勉強も遊びもいろいろやって楽しかったわけではあるんだが、まぁ、色は

　真っ黒

なんだよな

男どもの関係は、まぁ、そんなもんではあるんだが、まぁ、自分とは違う世界の話ってことね

ってわけで、話の流れも良くわからん。歌の復習はできました

アメリカングラフィティと対みたいな映画でもあるな

WOWOWシネフィルで2016あたりで録画したらしい

https://www.thecinema.jp/article/985

久しぶりに ingress

誰かが、基地内の赤ポータルを落としてくれたので

最近は、敵はそっちの方って感じね

緑の方は、大目に見てあげてる感じです

浦添天国

そういうセンスやめようよ

いや、わかる。君たちがそう思ってる昭和のセンスだろ?

　それ超ダサいから

釜ヶ崎じゃあるまいし

Timeless

沖縄で作ってるチョコレート

もちろん、カカオは別なんだけど。でも、沖縄でカカオを作ろうなんて話もあるらしい

多様性とは資本主義の寡占の反対なので、まぁ、面白いかな

社会全体の効率を云々する時代は、過ぎてて、効率悪くても、地域社会の多様性/エントロピーを確保する時代かも

二酸化炭素や排熱も、エントロピーとの戦いだけけど、こっちは減らす方向か

砂辺は買いにいくのは遠いが...

ON DELETE CASCADE

大学の学生のPC管理はシス管自作の Akatsuki っていう Rails でやってるんですが

　　MAC addresss 重複で登録できません

ってのが。滅多にないんだが、たまにある

管理者メニューから、登録一覧を見てと思うんだが「MAC addressないぞ」

で、Rail の Postgress のコンテナでへこへこやるわけですが、

　　select * from ip_addresses, local_records where mac_address = '00:xx:xx:xx:xx:c6'
　　　and local_records.rdata = ip_addresses.assigned_address ;

簡単じゃん。なんだが、やっぱり管理者メニューにでない。そこで、Akatsuki のdebugにいってもよかったが

手動で良いかと思ったら、

　　akatsuki=> delete from　ip_addresses where id = 3695;
　　ERROR:　update or delete on table "ip_addresses"
　　　 violates foreign key constraint "fk_rails_50f289730f" on table "radius_check_informations"
　　DETAIL:　Key (id)=(3695) is still referenced from table "radius_check_informations".

くそう〜 そっちを探して、そっちから消せば良いんだが、それを5回も繰り返すはめに

まぁ、バグは気分がのればとるかも

そういえば、なんかあったなってのが、タイトルです

カテーテル検査

そんなわけで不整脈で、7月は毎週検査。いろいろ言われたが、カテーテル検査でも

　動脈硬化はあるが、問題なし。いや、不整脈は問題なんだが

らしく。アブレーションであとは薬ってことになるらしいです

浦添総合病院、なんか、今回は量はともかく、割と飯がまとも。塩分6gなのでみそ汁抜きか

年々、食べ物に関する閾値が下がってるらしく、和風亭でも結構まともとか思うようになってるからな

割とおいしいと言ったら「評判悪いんです」とか言ってた。味が薄いとか量が少ないとか。いや、

　病院食はこんなもんだろ?

Cubical Agda の続き

結構、難航してて

まぁ、でも、List Bool と ℕ の対応とかが書きやすくなるらしい

けど、Path とか出てくるので、微妙に一般的でないような

そして、

　　Agda での data の展開との相性がよろしくない

自動的に展開すると、cubical agda の warning をくらう

それでも、一段落したんですけど、赤黒木と Galois の方が、かなり難しい。あと zorn もか

証明の難易度が少し上がることは確か。自動変換とかできないのかな?

まぁ、でも、ゆっくりやるか

Green Channel

オリンピックの中継がみたいというので。東京オリンピックのは見れたんだよな

落雷で、CATVの pass thru にしたんですが、彼らは CS をブロックするんだよな

また、屋上のBS/CS/スカパーアンテナと格闘すれば良いんですが、やる気ないかな

奥様が格闘していたみたいですが、そういうことです。すみません