1219
昨晩はついに二次曲線の有理数解がヒルベルト記号と関係していることが証明された。でもこの話にp進数体ってべつに関係なかった気がする(証明に出てこなかったし)。うーん、そうじゃなくて、ヒルベルト記号とかは実はどうでもよく、(それと同値な)p進数体での解の有無が有理数解の有無に繋がっている、という話のほうが本題なのかな。でもいまのところp進数体がなにか便利な性質を持っていたり別のものを連れてきたりする様子はない。先へ進めばあるだろうか。
お昼から仕事。調子はまあまあ。しかしスケジュールはどうなっているのかよく知らない。休日出勤を要請される程度には危ういのだろう。
CoreDataを使いたくないなーと思っていたけど状態監視が必要になるっぽかったのでやっぱり使うことにして、さらばと昨日書いたコードをCoreData対応に書き直す作業をしています。うーん、失敗であった。
さて、明日も仕事なので夜更かししすぎないようにしなくては。そういえば帰省の日程が決まりつつあるので新幹線の切符をとらなくては。