1130
昨晩はヒルベルト記号の積公式を示すところまで進みました。示すったって本質的には平方剰余の相互法則と同値なのでその帰着を見るだけでしたが。平方剰余の相互法則は証明が面倒らしいのでやっていません(いろいろな方法があるらしいけど全部面倒らしい)。
なにかがスッキリと書かれたような感じはあってホヘエとなるのだけど、単にヒルベルト記号の定義に全部投げてるだけっぽいのでアレです。これが二次曲線と結びつくところまで行けば綺麗だなーって感じになるのかな。
先日の勉強会の資料を公開しなよって会社の人にすすめられたので(というかメール来たし普通に頼まれてるなこれ)、せっかくだしと公開しました。 http://wtbm.necocen.info/10
率直に言って発表自体もイマイチだし資料としても完成度が低い(しかもそれはもっと手間を掛ければ改善できたはず)と今は思っているのでアレですが、まあ、まあ。
さて、非常に体調が悪いです。本当に厳しい。明日会社行ける気があんまりしない。