andante

昨晩はついに二次曲線の有理数解がヒルベルト記号と関係していることが証明された。でもこの話にp進数体ってべつに関係なかった気がする（証明に出てこなかったし）。うーん、そうじゃなくて、ヒルベルト記号とかは実はどうでもよく、（それと同値な）p進数体での解の有無が有理数解の有無に繋がっている、という話のほうが本題なのかな。でもいまのところp進数体がなにか便利な性質を持っていたり別のものを連れてきたりする様子はない。先へ進めばあるだろうか。

---

お昼から仕事。調子はまあまあ。しかしスケジュールはどうなっているのかよく知らない。休日出勤を要請される程度には危ういのだろう。
CoreDataを使いたくないなーと思っていたけど状態監視が必要になるっぽかったのでやっぱり使うことにして、さらばと昨日書いたコードをCoreData対応に書き直す作業をしています。うーん、失敗であった。

---

さて、明日も仕事なので夜更かししすぎないようにしなくては。そういえば帰省の日程が決まりつつあるので新幹線の切符をとらなくては。

$\Q_2$では0に、$\Q_3$では1に収束する有理数列の例を挙げよ、という演習問題があって、えーそしたら$\ord_2(x_n)$と$\ord_3(x_n-1)$がともに無限大に発散するってことじゃーんと思って、なんかガリガリ計算したらそうなる数列を構成できたのだけど、これ絶対違うよなーと思って答え見たら$2^n/(2^n+3^n)$でいいらしくってアウーとなった。というかなんで最初にここに来なかったんだ。-1したら$3^n$が出てくるのは明らかじゃないか。

ちなみに僕が構成した数列は、

$$\begin{align} a_1&=1,\ b_1=2 \\ a_{n+1}&={(2^{2b_n-1}{a_n}^2-1)}^2{a_n}^4 \\ b_{n+1}&=4b_n+2 \end{align}$$

に対し$x_n=2^{b_n}a_n$で与えられます。$x_1=4=2^2=3^1+1$, $x_2=50176=2^{10}\times 49=3^2\times 5575+1$。次はだいぶ大きくなってしまって、

$$\begin{align} x_3&=40176147763219283480744718699253989376 \\ &=2^{42}\times 9134998382073555030898369 \\ &=3^4\times 496001824237275104700552082706839375+1 \end{align}$$

です。この先は計算してません。この数列は$\ord_2(x_n)$が$O(4^n)$、$\ord_3(x_n-1)$が$O(2^n)$で下からおさえられます（こういうときはΩで書くべきなのかな？と思ったけどwikipediaによるとこの記法は分野によって解釈が違うようだ）。なので$\Q_2$で0に、$\Q_3$で1に収束。はあ。

---

土曜日だけどお昼から仕事。一画面まるっと作りました。これに八時間は掛かりすぎのような気はします。UILabelではAttributedStringの両端揃えが機能しないらしくって難儀しました（UITextViewなら動いた）。あとStoryboardでUITextViewのtextContainerInsetを設定する方法とか（これは応用範囲が広そう）。そのうちblogに書こうか。

そういえばサイコパス２の最終回を観ました。うーん、１のときほどの高揚感ないなあ。

---

さて、仕事が終わって帰ってくるといつも動き始めるくらいの時間になっていたのだけど、じゃあいつもはなにをしているかというとずっと寝ているわけで、僕は睡眠が足りていないのではないか。火曜日休みだし、まあいいか。

---

そういえば新幹線の切符をとりました。年内のはいいのだけど年明けのがぜんぜん取れなくて焦りました。いやはや。おい、来年の僕よ、12/20では正月の切符は取れんぞ。こだまって東京大阪に四時間もかかるんですね。まあ寝てればいいか……