No Such Blog or Diary

ICPC の過去問にチャレンジしてもらってコードレビューしたり解説したり．飯を挟みつつ22時過ぎまでやるくらいに士気は高い．

だがしかし，解法が分かってもそれを実装する部分に想像よりも時間かかるようで……　数をこなすかペアプロするか．悩ましい．

話のネタにと家で4年ほど放置されていたスーファミ本体を研究室に持ち込んで夜に学生らと電源を入れてみたら，動かない．電源ランプは付くけれど，画面出力が全然出ない．出力先を変えてみたり出力ケーブルを変えてみてもダメ．

んで，他の研究室の連中も巻き込んであーだこーだやっていたら，最終的に「本体右側を強く押さえつけていると動く」という謎事実を発見．さすが工学系，人数集まると何か結果が出る．訳わからん．

とりあえず本体分解する為にドライバをポチる．

先週降ってきた面倒な仕事がどうも様子が変だなと思っていたら，実は 2年前の作業が不適切だったために今現在が変な状況に陥ってると判明．2年前に「今回は大きな変更がありますよ」的な情報が上流から現場に伝わってなかったのが原因で．上流が言わなかったのか現場が忘れたのか，両者とも自分は言ったとか自分は聞いてないとか曰ってるし，何故かそのあたりの情報は口頭だけでやり取りする習慣になってるっぽくて証拠が残ってないし，とても意味不明．

何が悪かったのか？　重要情報の伝達に関して証拠を残してないのとその確認機構が欠如していることと．事故らないほうがおかしい．

とある演習で Haskell の遅延評価のデモンストレーションをしたかった．なので，とりあえず無限リスト（ones = 1 : ones とか）を定義してから「手元ではやるなよ？」と言いつつ ghci で表示して止まらなくなることを見せた後に，でも take 10 とかの引数にすると今度は平和に止まるんだよと見せようとした．そしたら……　スワップし始めて反応のなくなる PC が複数台．やるなよって言ったのに．再起動大会．まあ，どうせおまけ要素だったし何事も体験が重要だしで良いのだけど．

というか古い低スペックなマシンで演習するのはキツイ．

とりあえず，openssl s_client で SSL/TLS のセッションを開始して手動で操作可能状態にできる．つまりは telnet の代わり．

openssl s_client -connect mail.fuga.hoge.com:993

この openssl s_client が証明を吐き出すので，そいつを openssl x509 で読める形にして Validity の後ろ2行くらいを取ってくると証明書の有効期間がわかる：

openssl s_client -connect mail.fuga.hoge.com:993 < /dev/null 2> /dev/null | openssl x509 -text | grep -A 2 Validity

ということで，let's encrypt の bot から証明書が1ヶ月以内に期限切れになると警告メールが来ているけれど確認してみたら手元にあるのはまだ2ヶ月以上期限が残っているので何か変な感じで．ちょっと様子見．

録画しといた世界遺産を消化．

イグアスの滝とか1回は行ってみたい．近くでやる国際会議は無いものか．

どうでもいいけど日光東照宮は修復前後で変わりすぎでねーだろうか？　色が鮮やかになったのを引いても猿とかなんか軽くなってる印象．大元を知らんのでなんともだけど．

というか消化しきれない．