1125
仕事は普通。次案件のために試しで実装しているところがなんとなく形になって、おおこれならなんとかなるかもしれないぞ、みたいな。面倒だけどね。
夜になって新居の不動産会社の人から電話がかかってきて(電話番号覚えててよかった)、契約金振り込んでくださいましたかって言われて、僕はそれが勝手に引き落とされるものだと解釈していたので忘れていて、ああごめんなさい、となりました。そう、よく考えれば、引き落としの手続きに時間が掛かるから家賃を二ヶ月分くらい先に払うことになっているのだと理解していたのだから誤解を自分で解くことができたはずなのに(うううう)、なんて。まあ明日の朝振り込みます。また銀行行かなゃ。
「東ロボくん」の活躍のことをちょっと調べていました。
http://pc.watch.impress.co.jp/docs/news/20131125_624993.html
http://blog.livedoor.jp/dg_law/archives/52165212.html
まず数学の答案用紙がやばいです。爆笑。ちなみにTarskiの量化子除去アルゴリズムとかいうやつは知らないのですがちょっと検索したところ「すごく計算量が大きい(多重指数で抑えられない)」と書いてありました。多重指数というのは2^nとか2^(2^n)とか2^(2^(2^n))とかのことを言うようです。やばい。そんなの真顔で振り回す機械知性やばい(機械知性に顔はない)。
あと物理の「東ロボくんの物理の解き方は,問題文や図像をコンピュータの読める形式表現に変換し,それをシミュレーションを使って(メモリ内で)実験させ,解答を出させる。」も爆笑ポイントでしょうか。物理学そのものに対する反逆ですよこれは。
さて、明日は先に述べたように振り込みに行かなくてはいけないのと、あと天気が悪くなければ会社のお金でインフルエンザの予防接種にゆきましょうか。あとはそろそろ仕様が固まってきてほしいのだけど、お客様とやりとりするのはこわいのだわ。はああ。