h.b. > λ.
仕事はなんか会議ばかりしていた気がする。少なくとも二時間半は会議をしていた。それ以外はなんだっけなあ。あまり生産的なことはしていない気がする。
仕事は早めに上がって荷造りをした。なんとかだいぶ片付いてきた気がする。まだゴミを捨てる作業は残っているが、それは明日の昼にできるだろう。引っ越し作業自体は夕方。
今夜はそろそろ寝ます。寝る前にいくつかの住所変更手続きをしておこうかな。
多忙な一日だったといえる。まず午前中に区役所に行き、転出届を提出した。実際の転居は明後日なので、これを持って即座に転入届を出すことはできないらしい。ということで不動産会社に行った。事前に作っておいた契約書を提出し、いろいろ注意事項を確認して、それから新居へ。自転車置き場は空いているようだ。よかった。
新居は建物にインターネットがついてくるタイプの部屋だったのだけど、どうもあまり高速ではないプランだったようなので、果たしてどうなんじゃろうと思って測定したのだけど、とりあえず僕が滞在している間（12時過ぎ〜17時ごろ）は下り90Mbps程度出ていた。これはたぶん十分高速なんだろうと思う。というか僕の家で測定しても30Mbpsくらいしか出ない（なんてこった）。ただ、共有回線のはずなので、夜とか休日にどんな感じになるかは未知数。それは今週末にかけてきちんと測定して、問題なさそうならこれでゴーだし、問題ありそうなら光ファイバーを別途通せないか相談しようと思う。
あとはいろいろ測量したりガス開通の立ち会いをしたりした。冷蔵庫の搬入はギリギリセーフという感じっぽい。もしかしたら廊下のドアを外すことになるかも。
夜は自宅に戻って荷造りの続きをした。パソコンデスク周辺をなんとか一掃することに成功した。全体の進捗としては芳しくないけれど……。でもまあ本当にこれ以外は今度こそ食器と雑貨類だけなので、なんかこう、判断が発生したり始末に困るようなものはないはず。たぶん。たぶんね。
明日はまた普通に仕事。でも荷造り終わらないから早めに切り上げようかなあ。
午後からベッドのショールームに行き、新居用のベッドを買った。高いベッドだ。高いベッドを買うと「睡眠２（ツー）」に移行できる、と聞いたからだ（誰もそんなことは言っていないが）。僕も睡眠２（ツー）をしたい。しかしショールームでちょっと寝転がってみても正直違いは「やわらかいな」「かたいな」くらいしか分からなかったような気もする。妻はわりと特定のマットレスを気に入ったようなのでそれを選んだ。
あと冷蔵庫も買った。実は搬入がちゃんとできるか確証はないのだけど、まあ大丈夫でしょう。明日現地で実測してだめだったら連絡しなくては。だめとかあるのか知らんけども。
夜は妻の引っ越し作業を手伝った。妻はこれを僕とワイワイ話しながらできるけど、僕は明日と明後日に独りでやらんといけないんだなあと思った。まあ本は全部詰めたから、あとは食器をいくらかと雑貨類だけ、だとは思うんだけど。ゴミは捨てないといけないな。本をそれなりに処分するから、紐を買わなきゃ。あとゴミ袋もちょうどなくなりそうだしな。
明日は有給休暇。転出届の提出、転入届の提出、不動産会社への契約書提出、新居の測量、電気の開通、ガス機器開通立ち会いをします。時間あれば自動車免許の変更もしたいけど、まあ全部やらなくてもいいでしょう。夜は自宅に戻って荷造りの残り。やれやれ。
今日は……何してたっけ。そうだ、新居の契約書類が届いたのでビデオチャットで説明を受けて、一生分くらい署名捺印したのだった。もう二度と捺印できない身体になってしまったかもしれないと思うくらい捺印した。これから妻にも同じくらい捺印させる。
あとは荷造りをした。本棚の本をすべて「捨てる」「実家に送りつける」「持っていく」に分類し、箱に詰めることに成功した。箱は、普通のダンボールに本を詰めまくると死ぬほど重くなるということはわかっていたのでヤマトから小さい箱を大量に購入していたのだが、最終的には６号25箱、８号15箱、それでもちょっと足りなかったのと大型本用に小さいダンボールが数箱必要だった。そしてまだほとんど本棚しか終わっていない。まあ今回は家電類はほとんど処分するから、あとは食器を梱包すれば残りはなんとかなるだろう。本当か？
あと転居に伴う電気ガス水道の手続きをやった。いろいろなものが入れ替わり立ち替わり立ち会いを要求してくるっぽいので、スケジュールがタイト。がんばらないと。
明日はこんなご時世ですが新居のベッドを見にショールームに行きます。サッと行ってサッと帰ろう。
今日も眠い。寝不足なんだろうか。疲労が蓄積している感じもある。今週来週はいろいろ奔走しなくてはいけないのだが……。
仕事はあいかわらずトラッキング関係。とりあえずイベント定義は全部書いたと思うので、あとはタイミングよく挟んでいくだけだと思う。それがまあ難しかったりするわけですけどもね。
夜は荷造りをしていた。本棚の本を片っ端から段ボールに詰めているのだけど、本が無限に湧き出してくるのでぜんぜん終わらない。けっこうな量の本を棄てることも決めたが、とにかく無限に湧き出してくる。小さい段ボールを追加で注文する。
明日は新居の契約書が届くのと、午後にビデオ会議で契約書の作成を行う。カメラつきでやるにはあまりに部屋が大惨事だけど、まあ引っ越し準備中なんだから当然だよな。
今日は眠い。なんだか元気がない日だ。大丈夫かな。
仕事はずっと打ち合わせしてた。会社の定例全体ミーティングと、クライアントとの打ち合わせと、社内進捗会議と、あと別の認識合わせ会をやったら終わった。認識合わせは認識を合わせることができたのでよかったけど、なんだか面倒な方向に倒れそうだなあと思う。大丈夫かなあ。
夜は引っ越し準備っぽいことをした。準備というより準備の準備みたいなものだ。とりあえず衣類を詰めてやろうと思ってベッド下の引き出しを開けたら中身がほとんど無かった。ベッドを買ったときにこの引き出しに詰めた衣類は長い時間の流れの中でだんだんと部屋全体に散逸してしまったらしい。諸行無常を感じた。
明日は本用の小さい段ボールが届くはずなので、本棚の本を仕分けしていく。
Twitterで政治の話をするのをやめろと言うと、そういう態度こそが１つの政治的スタンスの強い主張なのだ、という応答があったりするのだけど、これは噛み合っていない議論だと思う。たとえば、「トイレでタバコを吸うな」という主張があったとして、これは単に（たとえば）防災上の問題点を指摘しているのであって、喫煙という習慣そのものに対するいかなるスタンスの明示でもないだろう。「Twitterで政治の話をするな」も、少なくとも発言している人はその意図で言っている可能性は大いにある（し、僕がそういう感想を抱くときはこの意図で言っている）。2020年のTwitterがすでにそういう態度でいられる場ではない（「世論を発信する」場である）というのはおそらく正しい反論なのだが、僕はそれがすこし寂しい。
Twitterで政治の話をするな。国会で大喜利するぞ。
今日はやっぱり元気がない。寝よう。
具合はなんか平均よりちょっと悪いくらいのところで安定している。今日もちょっと寒いのかな。
仕事は何してたっけ。トラッキング関連のいろいろを実装していた気がする。トラッキングほどつまらない実装もなかなかない。そもそもが僕はこういうマーケティング的なものに不信感を持っているし、本当にこういう測定が何か意味のある改善に結びつくのかは大いに怪しいと思っている。
A/Bテストというのは、局所最適解への最短経路だと思っている。物事を失敗させる一番簡単な方法は「みんなで相談して決める」ことだ、という話がある[無出典]けれども、A/Bテストというのは「みんなで相談して決める」ことと実に相性がいい。数字の比較は誰にでもできるからだ。誰にでもできる実験があり、誰にでもできる測定があり、誰にでもできる比較がある。A/Bテストは「何かが改善している感」を出すのが極めて簡単なのだ。少なくともつねに何らかの数字は改善し続けているのだから、それ全部が無意味なのでは？という疑いを真剣に投げかけるのは容易なことではない。こうして局所最適解を一直線に目指し、サイヤクなWebサービスが完成する。
夜は何してたっけ。部屋をちょっと片付けた。明日は打ち合わせがあるのでカメラに映っても大丈夫な部屋を作らないといけないのだ。まあ段ボールがいっぱいあるのは「引っ越し準備中なので」で通そうと思う。事実だし。
そういえばiPhone SEの新しいのが出た。iPhone 9か何かだと思った。「iPhone SEの新しいのがほしい」という人はけっこういる印象で、その人たちが欲しがっていたのは４インチディスプレイのサイズ感だったりiPhone 5時代のシャープなデザインだったりなんだろうと思っていたのだが、もしかすると単に最新iPhoneの廉価版のことだったのだろうか。そんなことはないと思うのだが。
明日は段ボール箱がたくさん届くので、本格的に引っ越し準備を始めることになる。やれやれ。
時空操作のPenroseエントロピーを次で定める：
H(T)=k(\log W(S)-\log W(S^\prime))
ここではBoltzmann定数である。このとき、次の重要な結果が知られている。
定理 4.1（時空操作におけるShannon-Penrose限界）
時空操作に必要な情報量に対してが成立する。
これはどういうことだろうか？すなわち時空の操作には限界ーー情報量的限界ーーが存在するのである。「影響のある」操作には、それに見合っただけの情報が必要なのだ。このように説明すると至極当然のように思われるかもしれないが、それが数学的に厳密な形で示されるのは驚くべきことである。
さて、ここでこの不等号の差を考える。すなわちある種の「効率」をで定めれば、上の定理から直ちにとなるが、実はこれは操作にはよらず、操作を行う時間機関にのみ依存する[34]。これにより、時間機関の効率を定義することができる。
さて、前章の最後で「非常に行儀のよい」機関の例としてGödel機関を紹介したが、その行儀のよさにはあまり触れなかった。効率という言葉を用いれば、Gödel機関に次のような特徴付けを与えることができる。
定理 4.2（Gödel機関の理想性）
任意の時間機関に対して、Gödel機関の効率のほうが良くなる（が1に近づく）または同等であるような時空分割が存在する。
この意味でGödel機関は理想的であるという。
すなわち、どのような時間機関を考えたとしても、時空の分割をうまく選ぶとGödel機関のほうが効率がよい状態にできる、ということである。であれば、当然無限小Gödel機関の効率は1、すなわち定理4.1で等号が成立している状態である、……と考えたくなるであろうが、これは未解決問題である。次節では簡単な例を示すが、多くの場合にGödel機関の効率の具体的計算は難しく、これまで得られている最良のものはである[22]。逆にその他の機関に対してはこれより効率の良いものも知られている（）が、定理4.2が予言するような、より効率のよいGödel機関の具体的な構成はまだ見つかっていない。
仕事はなんだっけ。トラッキングの実装をちまちま確認していたら終わったような気がする。前にやったのと似たようなものだろうと思っていたんだけど、思ったより差分があるので焦っている。やれやれ。
そういえばレビューをしていたらおもしろいテクニックを知った。RunLoop.runでモードをdefaultにすると、メインスレッドで実行される予定になっている何かのコールバックをそこで実行できるらしい（逆にその間はメインスレッドでwhileループを回しておく）。同じスレッドなのにランループのモードで別のものを実行できるのか。なんかおもしろい。しかしこれ本当に動いているのか？
夜は部屋を片付けてた。実家に送りつける本をまとめている。あまり送ると母に渋い顔をされるだろうが、まだ僕には本棚を捨てる覚悟は持てない。
今朝はなんだか調子が悪かった。風邪っぽいのが悪くなったのだろうかと思ったが、どうもすごい低気圧が来たり急に寒くなったりしていていろんな人が調子を崩しているようだあった。低気圧が来ると本当に調子が悪くなるのかはよくわからない。その程度で調子を崩していたら高層ビルなんかで働けないと思うのだが。それともビルの空調はがんばって地上付近に近い気圧を保つようになっているのだろうか。だとしたら窓とか開けるとすごいことになりそうだよな。
仕事はLT会の発表資料作成など。XcodeGenについて発表する予定。こいつはいいやつだ。プロジェクトファイルが人間に読めるようになることももちろん嬉しいけれども、それよりもこういう設定ファイルを書くことでプロジェクト設定に注意を払う機会ができるということも嬉しい。僕もXcodeGen試験導入の過程でいろいろなことを勉強し直したし。
それ以外は特になにもしていない。そういえば今の家に退去の申告をした。来月頭ごろには諸々まとめて引き払いたいので、もうちょっとテキパキ動いていかないといけないな。がんばらないと。
明日はもうちょっと調子が良いといいなあ。
予想通り、一日中二日酔いで終わっていました。今もまだ少し気分が悪い。休日前以外は飲まないように決めてから、飲む日の量が増えてしまって逆に行動に支障を来しているような気がする。自制せんとね。
なんとはなしに「やがて君になる」を読みました。シンプルにいい話でした。
明日はまた仕事。そういえばそろそろ引っ越し準備を進めないとまずいですね。まずい、ですね。