沖縄にいて良かった大みそか

本土の方は寒そう〜

今年はいろいろあって、お正月もおめだてたいとは言いにくいわけですけど、

　　これで厄年はうちどめにして欲しい

です。

オリンピックも片付いたけど、まさか、その真っ最中に東京にいく羽目になるとは。

いろいろあっても、それを楽しむような感じでいたいな。

Agda の驚き

今年もかなり Agda 面白かったんですけど

　　自分で最初に思い描いてたのと、違う方向にいく

一つは自分がたこなんだとは思うけど、

　　Agda の発想と、人の発想が異なる

ってのはあるかも。例えば

　　配列とAgdaの相性は良くないが、N -> Hoge ならよい
　　List でなんでもやるのは、だめで、やはり、N -> Hoge ならよい

みたいな感じ。

有限オートマトンの有限性がどこに効くのかとかを確認できて面白かった。例えば、正規表現の微分法には有限性は不要とか。

綺麗に仕上がると面白いけど、なかなかね。

災害の絶滅

うん、なんか語感は悪くない感じ。絶滅しろ〜

10年に一度ずつくるのやめろ〜

今年最後のがっかり

新しいMBPなので、かっこわるいがSDカードスロットがある。

　　そこに1TBさしてTMとして使えば?

ってことで、買ってみたんですが...

　　はみ出すのかよ

何か別なものだとはみ出さない説も。でも、

　　一応、高速アダプタなのでTMは早い

ま、別にいいか。

暗証番号

手元のがいくつか引っかかってて。いやさ、

　　マイナンバーの三種類の暗証番号があり、入力回数制限が三回

ってのが絶望的。一回解除してもらったような、五年の制限に引っかかったような。

　　物理カード

ってのがくそで、市役所にいかないとどうにもならない。

もう一つの銀行の方は設定の時に「手書き」ってのがあって、たぶん、それで違ってる。こっちは

　　東京

え〜、それは勘弁してほしいんですが。

まぁ、どっちいますぐどうこうってわけじゃないんですけどね。

この手のやつって、いろいろやらかすの得意。

炎上マーケティング

山本一郎氏のをうっかり踏んでしまって。プログラマは数学要らんとかの。

炎上させてcount稼ぐってやつですね。

別にどうってことないんだが、しばらくうるさかったです。

気をつけよう。

田舎の風景

映画見に行ったライカムです。

こういう、何にもないところにポツンと巨大なショッピングセンターってのが田舎なんだよな〜

一般の人は使わないであろう、高速バス山里停留所からの眺めです。

バス自体は速いんだが、そこからの歩きかがな。直通バスもあったりするんですが、あんまり便利じゃない。

330に階段で降りる道とかもあるけど、バリアフリーとは言い難いな。

gitlab はめどがついたっぽい

せこせこ version あげても良かったんですが、

　　rails console script から uid 指定で user を作成
　　group は API 経由で Perl/Ruby から作成
　　repository は空の作って、find/rsync な script で copy

でいけるようです。Projecy 作成も API 経由でできるだろうけど。

RoR なのでversion間の互換性が低くて、13なgitlabから14なgitlabに直接コピーできないなんて技が。

昔の自分だと、hg repositoryの一覧ですませてたはず。gitlabは面倒なだけ。まぁ、

　　そんな風に偏屈ジジイしてばかり

でもな。せこせこ version あげる方が早かったかも。

ひさしぶりに Fortigate

いや、なんかぜんぶ忘れてて。何か scrapbox 書いてあるんだが、

　微妙に足りない

えーと、address と virtual-ip を policy にかくのは微妙にやり方が違うの?

そんなことしているうちに、今年も終わりか〜

Matrix Resurrection

観てきました。ライカムで高速バス経由だったので少し疲れた。

レストランはラストオーダ21:30なので映画のあとで夕ご飯も可能。

なのだが、帰りにうっかり駐車場に迷い込んで110のバスを逃して23だったのは残念だった。

まぁ、続編ではあるんだが、同窓会みたいな映画でした。

そういう映画って割とある。オーシャンズとか。安心してみれるのは良いかな。

吹き替えで観る方が字幕が邪魔でなくてよい。ネモの吹き替えが小山力也で

　　ちょっと、ロス先生なにしてるんですか

って、リッキー仕事しすぎだろ、アニメと吹き替えとどんだけやってんの?

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

ラジオ

なんか学生がラジオを持ち込んでて。昔ならソニーなんでしょうけど、中国製。5千円位。

航空無線聞きたいとか言ってる。

そういえば、自分もICF SW1S 持ち歩いていたっけ。海外でラジオを聞くのは結構楽しい。

もう壊れてしまいましたけどね。災害対策で小さいの持ち歩いてたり。

M1 Mac の __sync_bool_compare_and_swap

llvm は問題なかったんですが、Gears が SEGV。え〜 ARM で通らないってどういうこと。

と思ったら、__sync_bool_compare_and_swap の alignment らしい。

　target int で alignment 4 で通らないのひどい...

ちょっとなおすのに苦労しましたが、

　いいや、malloc 全部、alignment 64 で

ひどい。いや、8でも通るかも。

と思ったらpointer target だこれ

ま、そんなもん

東口に貸し自転車がある可能性が高いが、そこまでいくのはな。

なんだかんだ、中商あるいは我如古まで歩いて降りることが多いな。

ingress の都合もあるし〜

Qrio で締め出し

そろそろ帰ろうかなと思ったら学生がやってくる

　　「先生、研究室締め出されて」

え、Qrio だろ。と思ったらスマホごと中に忘れたらしい。

で、上にいくわけですが、

　　あれ? つながんないぞ

いや、こんなこともあろうかと

　　物理鍵。じゃ〜ん

で、開いたんですが、どうも、Qrioはつながらない時には「Bluetoothのon/off」をすると良いらしいです。

それでつながりました。

生物系を訪問

大学は他の先生とのつながりが薄くてな。理学部の久保田先生のところに話を聞きにいきました。

NOAAの衛星の写真を使って植生を分析する見たいな話。機械学習を使って。

僕はやってないけど、そういうことに興味がある先生はうちにもいるんじゃないかな。

データはクラウドにあがってるらしいんですが定期的に消されてしまう感じらしい。不思議。

継続が大事だが、お金もでないし、論文も書けないので、やる研究室がなくなってしまう的な話が出てました。

よくある話ではあるが...

どこでもシート

Game Jam で使っていたツール。貼り付けるとホワイトボードになるってやつですね。

悪くない。僕自身は

　　いや、デジタルで全部やるべきだろ

と思うし、PC上のアプリを画面共有してやる方が好きだし、早いんですけど。

そもそも、そういう図の書き方に慣れてない。意識的に身につけようとしてない感じ。なので、

　　Markdown とかも知らない
　　スクショですませる
　　ベクターグラフィックスを知らない

ということになるようですね。

もっとも、

　　結局、PC上のツールは、紙とホワイトボードを越えられてない

ところも確かにある。一方で、

　　構文チェックもスペルチェックもしてくれない

その程度の仕事であることも確かだな。

ガンプラ

横浜のガンダムのチケットを買うと、ガンプラが付いてくるわけで、それです。

こいつなんと、

　　ニッパー不要

日本のプラモデルって、ほんと、良くできてる。これに墨入れするだけで十分楽しい。

VM が遅い...

っていうから出動したんですが...

　　もとのVMのxmlをコピーすれば良いって MAC address までコピーしたらだめだろ〜

いや、それでも動いたりするのがな〜

Java のは、うちでもいくつかやられてたりするらしいんですが、場所が特定できないな。普通にJava使ってないのでなんだろ?

そういいう仕組みを作らないと。Fortigate logから Main SWからのMAC address 追跡でできるはずだけど。

むかし、作ったのだが、割とすぐに動かなくなるんだよな。

ゲームジャム

琉大ローカルな方ですね。Globalなのは1月なはず。久しぶりらしい。対面とオンライン。

この期に及んでも

　　オンラインだけでやるってのは難しい

らしく。いや、そこを突破していくのがわかものだろと思うわ3けですけどね。

ゲーム自体は小粒。社会人参加も二人。ありがとうございます。

UnityがノートPCに容量の問題で入らないとか言っているグループが。
JavaScript でもいいけど。 いや、

　　サーバで上げてVNCでつなげれば良いだろ

こっちで用意しないとダメか。

Switchのジョイコン使ってるグループが二つ。普通にコントローラーでいいだろと思うけど

　　そんなものかも知れないです。もはやコントローラー持ってない

年末進行

世間的には土曜日なわけですが...

　　玉城絵美先生の特別講義
　　ゲームジャム
　　修士とB4のプログラミング

と重なっていて。いや、結局、

　　僕は部屋で寝ていた

んですけどね。いや、なんか疲れたし。

今週はなんか日月とWestfield Cafe というのから始まって割と笑える感じの週だった。

gitlab 側

update貯めるとかなりめんどくさくて... まぁ、有料使えってことなんでしょうけどね。

uid だけでいいかなと。OSの課題提出用に使っていたりするので、かなりゴミが多いし。

で、PostsgreSQLから抜き出して ruby script で移行することに。いや、まぁ、

　　自分の趣味

なんだけど。普通に全部移行するものだとは思う。

DB出力を読んで User.new() するだけですが、一度、User.new() の ruby script を生成してからやる感じ。

普通にTSVで出力しちゃったんだけど、JSONあるいは、直接DB接続するべきだったかも。

ふたたび ubuntu と格闘

gitlab とか fortigare とか。停電でまた動かなくなってるとか。

いや、いろいろいじってると時間が解決する感じ。

じゃ、ないかな〜

キーボード

学生がおさがりのMBP15使ってるわけですが、キーボードは別、

　　RealForce ふーん

で、触ってみるんですが

　　げ、これなに。

ガタがまったくなく、ストロークも適切、そこに当たった感じも高級。ちょっとまて、

　　これ、いくら?!

「三万円です」　やっぱり。くそ〜、先生より良いもの使うのか。HHKも良いが高級感には欠けるからな。

いや、別に僕はあのだめだめバタフライキーボードでも平然と使ってましたがね。

新しいMBP16はストローク少し深め。間違えてescキーを触ってしまうことも、もうなくなりました。

MS Word と格闘

なんか、MS Word 送ってくる人たちが...

　　画像を入れると inline image というのなって一部欠ける

いや、なおす方法教えてくれなくていいです。

　　印刷しようとするとコメントとが一緒に
　　それは印刷設定でなおそうとすると Preview が真っ白に
　　いや、そうではなくて、コメント非表示の状態から印刷しないとだめ

らしいです。いや、

　　そういうの使うの僕は無理だから

インド人の学生が図を書くのに MS Word 使ってて

　　あまりの無理ゲーに驚いた

ことがあったっけ...

Monteley の無線LANのつながらなさ加減、なんとかならんの〜

でも、なんか

　　Terminalのsshは抜ける

え? Safari の問題?

iPhoneのテザリングでも接続しないというわざが。

でも、まったくつながらないわけでもない。謎だな。

iPhone の通信量

なんか、13に換えてから劇的に減ってて。理由は不明。

使ってるものは同じなんだが。家のWifiを換えたのとかも関係あるのかも。

7+ だと、なんらかの再送の問題があったのかもな。

そういえば前回の機種変(7+にした時、交換した時)で10GB使い切るとかあった。

そもそも動画とか見ないし、download系はWifi下だし、iOS updateは母艦経由だし。
そんなに使っていた方がおかしい。

iijmio のコースを変更しても良いくらいですが、まぁ、そこまではしないかな。

よなラボ

淳子さんのところが閉店だし、mou は混んでて入れないしで、

　　てだこ浦西駅のよなラボ

に行ってみました。シェフ一人なのか。だいじょうぶかなぁ...

クリスマスは様子見みたいなこといってた。

割と結婚式の二次会とかで賑わってたお店なんですけどね。

X11

MHは nmh でがんばることにしたんですが、replcomps とか scan.default とかがかなりだめで... でも、まぁ、動く。

X11側は、なんと XQuartz は動く。ところが、xwininfo の仕様を変えた奴がいてさ。

　　なんか xterm がばかでかい
　　geometory が xwininfo はdot単位、xterm は char単位

xwininfo を手動でクリックで window を指定してやると、もとの仕様になる。

　　手で書けばいいんでしょ、やりますよ

ので、あとは、Mac UIM が死んでるので、前回頑張った

　　uim-xim と anthy が brew で入れば勝ち

なわけですが、anthy は問題なかったが

　　uim の scheme interpreer が引っかかる

あぁ、thread state 関係で X86_64 はあるんだが、aarch がないわけね。

なので、brew formula level で patch を当てたんですが、本来は uim github に pull req するべきものだろうな。

というわけで、移行は一通り終わったようです。

　　ペットボトル一本分の重量増し

は割と効いてる感じ...

MBP 設定中

X11の日本語入力以外は一通り。環境引き継ぐ気はなくて、まっさらから。

色々、2017から溜まってるゴミがな。

Discord.app
Freeplane.app
Google Chrome.app
IntelliJ IDEA.app
Kindle.app
LINE.app
Mattermost.app
Microsoft *.app
Obsidian.app
OmniGraffle.app
Skype.app
Slack.app
TeX
Xcode.app
Zotero.app
astah professional
zoom.us.app

brew list

agda
cpm
mercurial
nmh

時間割

いや、あんまりカレンダーとか見てないからいけないんだけど。どうも、Google Calendar も macOS のもあんまり動いてなくて。

まぁ、それとは関係なく割と不義理なことしている人なんですが...

　　今日はオンラインで授業始めたら休講だった

たまにわりとある。でも、何人かいたので

　　じゃぁ、なんかやる?

で、学生の Agda の練習を見てました。12月は Game Jam もあるっぽい。

コンパイラの読み会もやるつもりなんですが、いつにしようかな。