No Such Blog or Diary

バレバレだったような気もするけれど，まあいいか．というか名乗り忘れた気が．

だがしかし，ハメル基底を使うとした瞬間にベクトルになってるのだからやっぱり線形なんじゃいかなぁとか思ってみたり．というか，可測でない関数だとか考えるだけ無駄．

閑話休題．

細々と配布物準備中．こんなの自動生成で行けるはずなのにめんどくさい．sed が捗る．

ちょっと来週の会場の下見に抜け出した．まあ，想像より一回り広い感じで悪くない．スクリーンがもう少し上に行ってくれるとベストかもしれないけれど．

そしてイオン便利．あとは目の前にコンビニのある安心感．

ん，鍵のこと聞くの忘れた．

ざっと読んどいたのを深く読む．うーん，選択公理の教科書を読むハメになるとは．うーん……

だがしかし，何がしたいかやっぱりよく分からん．

寝不足……　と酸欠？

蕎麦食いたかった．

来年度のメンバーと顔合わせ．机とか増強しつつ，それ自体は無難に終了．

そして明日から出張なのでクラスタの増強を夜なべでする……　

うーん，物理的書類の整理に時間がかかる．電子的にやりたい．うーん．

そして希望漏れの処理したいのに本人らが現れないとか何なんだ……　余計な時間が……

全順序を提示させれば例外がないわけで，電子的入力ならそれでもいいような．

とりあえず諸々完了．空集合2つは何なんだ．