No Such Blog or Diary

三井住友も楽天も半年以上前の明細をWEBサービスから取得できるのに，UFJというかMUFGカードのWEBサービスでは２ヶ月前までしか取れない．「WEB明細サービス」というのを使っていても，毎月の紙面の明細が無くなる＆メールでWEBの明細を見ろと連絡が来るだけで，オンラインで取得できる情報の範囲はサービスを申し込んでない場合と同じ過去２ヶ月のみ．この事実はサービスの説明ページに書いてあることで前から知っていたことなのだけど，いざ過去の明細が必要になってみると僅か２ヶ月前までってのは（他社と比べて）サービス悪いなと思う．名が体を表してない（「明細確認メール通知サービス」ってんなら名は体を表しているが）．

ということで，過去の明細の再発行を電話で依頼．カード番号の確認やら生年月日や住所の確認やらを口頭で行わなきゃならん上に，発行まで１週間から１０日かかるのだとか．いろいろ面倒．

まあ，毎月ちゃんと明細をダウンロードしにいけばいいだけの話なのかも知れないけれど．

閑話休題．

キャッシュカードの再発行手続きに行ってきた．でもお届けは郵送で１週間とかかかるらしい orz　

緊急で処理しなければならないことを片付けて一日終わった……

今日が特に気温が高いってのもあるけれど，暑い……

そして手持ちの現金が少ない……　キャッシュカードを取り出したら割れてた……

とりあえず修学旅行に巻き込まれてチェックインにも時間を食う始末．駅でも５分遅れで電車を逃し２時間足止めとか．

色々とタイミングが悪い．

シンクとかレンジとかの掃除は楽に終わったんだけど，電気コンロ上面のガラスプレートを磨き上げるのに2時間半かかった．汚れの主な原因はフライパン：フライパン本体と縁が別パーツになっていて隙間がある → その隙間に歴代の油汚れが貯まっている → コンロにかけると熱で微妙に溶けて外側に垂れる → コンロのプレートに焼き付く → 根性入れないと落ちない．

この掃除をしておかないとキッチン掃除代15ユーロを取られるのだけど，労力的に掃除しなかったほうがお得だった気がする．まあいいか．

閑話休題．

そして気づけば右腕が筋肉痛．

たかが結合則と分配則ごときを１日かけても証明できないとは……　なるべくプログラムの等式変換で証明しようとしているから面倒なのかね．うまい具合に述語を定義してやれば結構簡単にきそうな気配だけど．

閑話休題．

広いセミナー室に二人ほぼ会話なしで６時間ぶっ続けて証明を書き続けるとかいうことをしても敵は依然として大きいまま．Leibniz equality でなく任意の同値関係を使えるように定式化しようとすると色々な既存の資源が使えなくなるので面倒この上ない．少なくとも Proper のインスタンスを大量に用意せんと身動き取れないし．

閑話休題．

さて，帰り支度をするか．