YAPC Japanのおまけ

まぁ、あっちの方も書くべきな気もしますが、自分も細かいことは知らないし。余計なこと書くと怒られそうだしな。

なんか荷物が池袋の方に送られてしまって。転送されてきたんですが、

　　3/4からのYAPC Japanのおまけ類

いや、Tシャツ要らんって書いたのに。邪魔だから送ってくるなって感じですけどね。

Yahoo IDかなんかで、それは削除したはずだったが、やっぱり残っていて、そこの住所がそれだったらしい。

いろいろひどい。

一風堂スープ

いや、コンビニで見かけて。いや、いいんだけど、そうなんだけど、

　　ラーメンのスープそのもの

いや、高血圧だから微妙かも。カロリーは低いんですけどね。

中の豆腐は、フリーズドライ。こっちは良い感じ。というか

　　そのまま食べてもいける

看板

まぁ、twitterのダメアカウントよりはぜんぜん無害なわけですけどね。

真栄原のあれといい、沖縄の人ってこういうの好きなの?

安易な色づかいとか。

宅配ハリーズ

卒業ハリーズ3/1のOB向けのハリーズ発送なんですが、いろいろ反省して

　　一箇所5個でフリーズパックで送ってもらう

ことに。箱が小さくなったので送料一箱1500円。カレーが1200円。なので、

　　一つ、1500円くらいで内地に送れることに

最初からそうしろってことですけどね。なのだが

　　一箱は ikkun 宛

おいおい、だいじょうぶなのかぁ〜

これで、住所と個数をまとめるだけで割と簡単に送れることに。

ファミマでくろねこの配送票くださいが通じないバイト君に説明するのがほねだった...

https://www.instagram.com/hallyscafe5232

沖縄ケーブル切り替え

いろいろきなくさくて残念な世界ですが、それとは関係なく

ケーブルTVの120MBとか使ってるのでいろいろ残念なので光に変えようと思っていたわけですが...

　　NTT西はな〜

とか放置してたら、なんか沖縄ケーブル独自で光ひくみたいな話が。どうせNTT西でしょといったら違うと。

　　その証拠にIPv6は通らない

あのな〜 今もそうなので別にいいか。ついでに

　　固定IPと固定電話も廃止

ケーブルテレビに義理があるわけでもないんですが、まぁ、なくなるまでは使ってもいいかくらい。

Webページでも良くわからなかった

　　パススルーはある

そうなので、それにするか。そうすると台風とか大雨でBSが見れないとかはなくなるはずです。

でも、

　　切り替えは4月

あっそ。まぁ、コロナは沖縄ケーブルには追い風だったらしい。

明白

そんなわけで集合論の復習してるわけですが、25年ぶりに発見することが結構あってな。

　　お前の目は節穴か

ってところです。Generic filter作るところなんだけど、

　　q ⊆ P → G ∋ p → p ⊆ q → G ∋ q

ってだけなんですけどね。

　　田中先生の公理論的集合論では、明白
　　Shenfield では it is clear
　　Kunen では、MA ω だとだけ書いてある

なんですが、田中先生の「選択公理と数学」だと、さすがに b - a をどうこうという説明が。

それでも良くわからなったんだが、Gは、

　　p(0) ⊂ P(1) ... ⊂ P

の{P(0), P(1), ..., P} みたいなものなので、

　　q - P(i) についての超限帰納法で良いらしい(これがφなら q ⊆ P(i)で、G ∋ q)

たぶん、手なれた集合論研究者は普通の帰納法と超限帰納法の区別がついてないので明白ですませたんだろうな〜

こうかくとたしかに当たり前に見えるよ。 一瞬でわかるべきだろ〜

フィリップ.K.ディック 市に虎声あらん

なんだよ、その中二病的な邦題は。処女長編らしいんですが、

　　すげー恥ずかしい感じ

まるで平井和正のあれのようだ... 訳もそんな感じにわざとしたのかも。

授業が難しい大変

とか学生はいうわけですが... あの...

　　簡単な授業ばかりな大学卒業して、それで社会で通用するの?

45歳定年なんて話もありますが、僕もそうだったけど、

　　大企業では、40前に、残るか追い出されるかの選択がある

そんなもんだよね。もっとも銀行とかは違うのかも知れないけど。

ま、がんばって生きていってくれ

春休みの予定

3/23-2/25 で、コンパイラのオンラインの授業をやる予定です。
LLVM/Haskell/Agda です(三日で?!)

他にはシス管と、集合論(強制法のところをAgdaで)をやってるんじゃないかな。

去年は Topos と Internal language やってたらしい。

東京に顔出すかどうかは未定。

Ingress Kureze 2回目

一回目はパスだったんですが、二回目は

　　Niantic の Battle Beacon が点灯する

ってことなら、まぁ、参加しないわけにも。

昨日は国立劇場前でさびしく一人で。今日は

　　学生つれて。一人は Lv1 から!

まぁ、いつもの青なので特に作戦とかないわけですが...

　　向こうも人がいるわけでもなく

なので、二つはとれました。新人つれて二つとれたのはうれしい!

宜野湾ラブめん休業

あちゃ〜 コロナ下でも

　　レモンめんが食べれてた

のに。一方で、22日から営業再開のところも。

沖縄も下げどまってる感じだし。これから、ずーっと、こんなもの。その状況でどうするかだな。

Bleach の復習

なんか、新しい Bleach のシリーズが始まるとかで復習してたりするんですが

　　300話以上ある

で、見たのは最初のソウルソサイエティが終わる70話まで。まぁ、ゆっくりでいいかな。

バウント編は、なかなかエンジンかからなかったが割と面白かったかな。

まだ、先は長いな。

マスク専門店

まぁ、そんなものだろうな。このまま定着してしまうような気もするし。

沖縄は下げ止っているので、東京もそんな感じかな〜

でも、ライカムが空いているのはよい。こういう感じで補助金でやってくのが普通で良いんじゃないの?

なんか引いてる

あんまり把握してない。そういえば、センタのLDAP serverにつながらないってな話が。

いろいろ、やりたいことはあるけど、全体的にはお休みペースな感じです。

あと修士一人か。

天狗舞

ま、懐かしい感じ。新宿のお店はもうないけど、そこそこいったな〜

河野酒店のそばだった。

今の時期のあれ

「せんせー、トナー切れて印刷できません」

今日提出でそれいうか。いや、この前、新しいの買って変えてないからな。

昔のXeroxのふるいの使ったら?

「せんせー、LANにつながってません」

知ってる。たぶん、ケーブルかなんかが死んでる。USB使えよ。

「せんせー、USBケーブルありません」

わかった。さがしてつなげればいいんだろ。

用務員と呼んでください。

印刷はできたようです。トナー頼むか。

コロナの影響

いや、重症者は高齢者だけとか言うんだけど、実は、男の高齢者だったりするんだよな。

twitter では、たばこなんじゃないとか言われてますが、まぁ、それとは関係なく、

　　男性(独り者)はその辺の年齢で死ぬことが多い

ってことかもな〜

修士はコロナばっかりで残念な感じだったけど、

　　オンラインで自由にできるので、伸びる奴は勝手に伸びてる

感じでもあります。

Web slide two column figure

修論も佳境ですが、

　　修論の図をコピペしてスライド

ってのは良くあるんだが、

　　縦長なので上に文章だーだー書くとはみ出す

ってのがあって。横に並べろと安易に思うわけですが...

　　誰かが勝手に作った Markdown → S6 変換系( Golang )

なので、いじる気になれず。いや、自分用のPerl scriiptならあるんだが。

CSSで普通らしいが、Markdown 側の構文考えるのがだるいな。(やるの?!)

いや、適当になおせよ。

自分は最近はめんどいのでスライドにせず、普通のWeb。

https://www.w3schools.com/howto/howto_css_two_columns.asp

Ghost Busters After Life

ジュブナイルで、女の子がかわいいっていうことなので見てきました

　　おたくで理系な女の子、いいよね

まぁ、こういう同窓会的なハリウッド映画は、マトリックスもそうだったけど

　　昔の和歌とかの、前の作品を respect する感じ

でもあるわけだが、同窓会くささはいらんかな〜 内輪受け感が悪いってわけでもないが。

二流だなとは思うけど、ハリウッド自体が二流になっているからな。

最近の政治的正しさ系のせいで、絶対的に綺麗みたいに撮らなくなってきてる感じなのか、

　　今の米国全体が汚く貧乏になってる

ってことなのかもしれないかな。一部の閉鎖された豊かさはあるんだろうけど、それを映画にしにくい感じ?

ビバリーヒルズとかは、もはや政治的に正しくない的な。

https://www.ghostbusters.jp

wordle 流行ってるっぽい

いや、その

　　自動解法の方に走るのは違うだろ?

と思わなくもないんだけど、それもいいかな。

5文字の単語を当てるだけでもたくさんあるなと思うけど、意外に早く当たるものだとも思う。

最初の二回が良くわからなくて fail になってるのが残念かも。

無駄に歳食った分、語彙は増えてる感じだが、それでも知らないのがあるのがね。

あんまり語彙増やすのに役に立ってるわけでもなく。

最初の一文字だけ違うのが続いてるのとか見て「あぁ、同じことやってるな」みたいな。

靴下補給

Ingress 割とやってるので、足とか靴下とか靴とかぼろぼろです。鍛えるってのはそういうものだからな。

適当に買ったりすると

　　色違いになって不便

なんだよな。

Google Photosの重複

元凶は JPEG と HEIC の関係らしいんですが

　Appleが画期的なHEICを勝手に採用
　誰も使ってないので他にはJPEGに変換して対応
　変換前と後とが両方 Google Photosにuplaodされる

ということらしく。GAS(Google App Script)とかで

　なんとかしたいとかは、まったく思わず

git にも上げられないクソに誰が付き合うかつーの

　で、泣きながら手動で全部重複削除

したはず(数千)なんだが

　2018-2019の重複が復活

理由は不明。たぶん、MBP/iPhoneを新調した結果たとは思うんですが。

で、泣きながら重複作業中です。

卒研発表とパワポ

Zoom です。いろいろあって非公開。公開しちゃえと思わなくないんですが...

今年はいろいろあって、面倒みきれてなかったところもあるんだけど、まぁ、形にはなったか(なってないか

いろいろ残念なパターンはあって指導はするんだが...

　　パワポを使うこと自体がだめ

な感じはある。

　　こうなおせというと「レイアウトが崩れるのであとで」

本末転倒。Google Docsのツールは行間の調節が炸裂してて使い物にならん感じ。

MindMap (FreePlane)を使って、学生がやった(あるいはやるはずだったこと)をだーっと書いて、
枝に抜き出して、そこをパワポにコピペしてってのが調子良かったかも。いや、

　　mdから生成する Web Slide

の方が自明に良いね。growi は学生がサーバを復活できなかったらしく死んでるようです。あれはだめだな。

いや、Web Slide 使えっていってるのにあほパワポ使う学生は全員不可と思わなくもない。

　　そういうクソツールは会社で使え

研究目的に「先生がやれっていったこと」を書いてしまう。 それを防ぐために、

　　毎回、ゼミは研究目的からやれ

っていってるんだが、それでも目こぼしがあるのが ここ最近のコロナ/オンラインの影響かな。
まぁ、ゼミに出てこないような学生だと やってしまう感じ。オンラインでいても聞いてないわけね。

怪しい差し入れ

明日は卒研発表らしく。いや、全然できてないのもいるのだが...

　そう言えば、最近、ライカムの柿の種ボトルみないな

よくこんなのみつけてくるな。