No Such Blog or Diary

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

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

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

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

準備が整ったので賃貸契約してきた．書類に直筆で住所と氏名と何度も書くのはめんどい．どうせ判子押すんだから直筆である必然性が無い気がするのだけどどうなのだろうか？

そしてやはり担当の人は信用ならない，というか仕事適当過ぎ？　まず，契約のための時間予約をしておいたのだが，その時間を間違って記憶していた．おかげでアホなやり取りを最初に行うことになった．あと，認印と届け印が必要だというのは常識的に考えてあたりまえだが，それでも必要だから持って来いと事前に伝えるべきだろう．持って行かなかったらどうなっていただろうか？　そして，鍵のシリンダ交換をお願いしようとしたら「複製できない鍵だから必要ない」と言われたのだが，他の人はスペアを作っておけと言う．結局のところ自分で全部調べないと危ない．他にも，契約のための個々の事象に対しては最短日数を教えてくれるが，全体の流れ（依存関係）の説明がなく，全体としての最短がどこなのかを把握して色々調整するのが困難だった．普通は全体の説明を正確にしてくれるもんじゃないのけ？

閑話休題．

とりあえず NTT のお引越しを最優先で実行．アナログ電話回線と光回線をお引越しということで，http://web116.jp/ からお引越し手続きをした．光回線のお引越しを伴う場合には，最後のコメント欄で「フレッツも一緒に移転する」と書いておけばいいらしい（プロバイダの継続利用も書いておくべきか？）．あとで電話がかかって来るので，申し込んだ内容の確認と細かいことの確認（プロバイダの継続とか）と工事日の決定をして終了．

次いで引越し屋さんにお引越しの確定の電話．先週の時点で見積もりもらっていたので，きほんそのまま．ダンボール箱をお急ぎで送ってもらう．

お出かけしなけれええばならないときに限って雨．めんどい．

と思ったら出かけるときには雨が上がった．めでたい．

とりあえずやること３つのうち１つは片した．例の確認のためにも実装がほしい…

とりあえず今週やると言っておいたことを片付けてダウン．

頭痛が痛いと言いたくなるレベルでうぼあ．

巷で言われているように良いリメイクだねぇ，まだプレザンス救出したところだけど．システムが色々と便利になったというか，□ボタンが地味に便利というか．そして戦闘まわりには理不尽さというか冷たさが足りなくなったかな．50手までやり直せるとか最近のヘタレ仕様といえばヘタレ仕様．間違ったときの時間節約になるから楽だけど．

そういえばレベルの違いによる経験値の入り具合の違いってどう計算されてるんだろうか？　よく分からず．一度に沢山のクラスを使うとレベルが平均化されてしまうから，ひとつのクラスだけで戦い続けて局所的にレベル上げるのが正解なのだろうか？　

とりあえず丘をうろちょろして戦闘しまくるか．