No Such Blog or Diary

曰く，「メンテナンス事業部の答えをそのまま送りました．」

とりあえず，その事業部が間違った情報を答えた原因とその改善に関するレポートを課した．

ま，自分の身は自分で守るのでどうでも良いのだけど，反省くらいはしてもらわないと．

鍵の複製（合鍵作成）はシリンダのメーカに代理店経由で頼めば可能であることが判明．鍵は複製できないとかのたまった不動産屋に見事に騙された．

とりあえず建物の管理会社にシリンダを別物に変えていいかどうかを尋ねるとしようか．ダメならサブの錠でも付けてみようかね，面白そうだし．

それ以前に嘘ついて契約させた不動産屋（の担当者）をどうやってとっちめるかを考えないと．重要事項説明書にサインした時点で契約成立であって，嘘の情報を与えられたのはそれ以前．なので騙された状態での契約だった（実際の鍵を確認できたのもサインした後だったし）．とりあえず無償でのシリンダ交換でもゴリ押ししてみるか．

mediabb.sty という便利なものを作ってくれた方がいらっしゃるようで，これを使えば bounding box を適宜上手くやってくれて普通の latex (つまり pdflatex でない latex) でも pdf 画像の読み込みが \includegraphics{hoge.pdf} 書くだけでオッケーになる．これは楽．

６年前から作られ４年前に現在のバージョンになったっぽい．知らんかった．

適当なXを持ってきて以下の二つの文が等価でないことを示せ：

X += e;
X = X + e;

まあ，副作用のある関数 f の呼び出しを X に上手く入れられれば等価でないことを言えるのだけど，単純に X を f() にしただけでは左辺値じゃないと怒られる．何かでくるんで左辺値にすればオッケー．

f()を含んだ左辺値になる式は色々あるけれど，例えば配列へのアクセス a[f()] なんてのはその候補．さて，では，そのような式の中で最小のものは何なんだろうか？　ゴルフする人間としては気になる．

で，さっき思いついたけど，ポインタを返す副作用のある関数 f を持ってきて X に *f() を入れれば以下の二つの文は等価じゃない．

 *f() += e;
 *f() = *f() + e;

これが最小の解なのだろうか？

Theorem の結果に基づく corollary を書いたらそのステートメント内の式を書き間違えてた．そして証明も適当にすっ飛ばしてたので，これおかしくねーかと指摘されるまで気づかんかった．テスト実装も広いクラスを扱うTheoremに基づいて作ってたし．

ということで，自明な結果ほど注意深くなっておかないと書き間違いが増えるなぁと．気をつけよう．

それぞれ開始の申し込み．電気と水道は口座振替の申込用紙を送るだけ．ガスだけ立会が必要なので少々面倒．とはいえ申し込んでから２日で来てくれる（普通は１週間前に申し込めと書いてあるけど）のであまり困らないけれど．

そしていらないものを更に処分．だいぶすっきり．