0411
昨晩は特になにもしていません。ちょっと資料作ったけど。あとはお酒飲んでアニメ観ました。長門有希ちゃんの消失二話でした。そういえば、解決した気がしていたメモリリークはまだ根絶には至っていないようです。マシにはなっているけれど、困ったな。
今夜もきっとそうでしょう。あ、でもRealWorldHaskellをちょっと読みました。翻訳が微妙だなと思いました。結局モナド変換子のことはまだよくわかっていません。概念はわかるのだけど、実装がまだしっくりこない。
昨晩は特になにもしていません。ちょっと資料作ったけど。あとはお酒飲んでアニメ観ました。長門有希ちゃんの消失二話でした。そういえば、解決した気がしていたメモリリークはまだ根絶には至っていないようです。マシにはなっているけれど、困ったな。
今夜もきっとそうでしょう。あ、でもRealWorldHaskellをちょっと読みました。翻訳が微妙だなと思いました。結局モナド変換子のことはまだよくわかっていません。概念はわかるのだけど、実装がまだしっくりこない。
昨晩はなんとなく思い立って数学を再開しました。あっ、これクライアント開発が頓挫するやつだ。まあいいや、最近Tweetbot for Macがアップデートされたおかげか、OSごと落ちることがなくなったので、実はモチベイションもなくなりつつあるし。もったいないけれど。
今日はぼんやりしています。数学もちょっとしたけど。あとなんか昨夜酔った勢いか何かで断線したイヤホンの代わりと一緒に買った本を読んでいました。「ビーンク&ロサ」読みました。別に感想はないのだけど、こういうお話は心地よいなと思いました。
さて、昨夜も夜更かししてしまったせいで生活リズムが壊れたままなんだけど、明日大丈夫なんだろうか。土曜の夜に夜更かしをすると月曜の朝までつらいと僕は学習してほしい。今夜は早く寝る、でもきっと寝付けないんだ。
明日は仕事で、UIの落ち穂拾い的なことをやるのかなと思います。面倒だなー。
お昼から仕事。仕様の追加部分の実装とUI落ち穂拾い。UISliderが思ってたより融通利いた話と、UIVisualEffectViewが思ってたより融通利かなかった話。
本格的に不具合と向き合わないといけない時期になってきました。状態更新忘れ系、忘れてたというより考察が面倒だから有耶無耶にしていた側面があり、非常につらい。
断線したイヤホンの代わりが届いたのだけど、前と微妙に音が違います(まあ違う奴だから当然ではあるのだが)。良くなったとも悪くなったともつかないのだが、そのうち慣れるかな。
今夜も数学しましょう。
昨晩はフェルマーの定理の$n=3$の場合の証明を読みました。やってることはわかるけど、動機がいまいち不明瞭というか、$x^3=(z-y)(z-\zeta_3y)(z-\bar{\zeta_3}y)$から$z-y$が3乗元になることを示す、ということをしたくなる気分がよくわかりません。まあそんなものかな。
あと気晴らし?に読んでる数学の本(「現代幾何学への道」)で思ったけど、二千年以上前の人名が冠されている数学の定理ってすごいことなのではという気がする。神話かよ。
あと古代ギリシャの人は直線を無限に長いものと定義したけど、これはド慧眼だったなあ、とか。いや、振り返ってみればなんでもないけれど、二千五百年前にサア幾何学始めましょうってなったときこの抽象化を選べたってのはちょっとしたことだと思う。
お昼から仕事。追加仕様の対応とUIの落ち穂拾い。面倒だと思って敬遠していたところが意外とてきぱき片付いたけど、簡単だろうと思っていたところが意外と手間取ってしまった(しかもまだ完全ではない)ので帳消し。でも明日からは本格的に不具合対応かなあ。
今日は疲れた。早く眠りたいけど数学もしたい。ついに「代数的整数論の核心」と題する節に入る(わくわく)。
昨晩は代数体の整数環のことを読んでいました。でもこれが環をなすのってぜんぜん謎だし、ちょっと検索して出てきた証明は妙に複雑でした。フムン。
お昼から仕事だったのだけど、今日はなんだかものすごく疲れていて(というか昨夜からそうだ)ぜんぜん能率が上がりませんでした。どうしちゃったんだろう。
作業は追加仕様の対応がほぼ終わったので、ほぼ不具合対応です。状態更新関係のロジック、明日腰を据えて考えよう。
今夜はつかれているので早く寝たい。髪が乾くまでは数学する。
昨晩は$\Z[\sqrt{-26}]$が素元分解の法則に従わないことを示し(たとえば$3\in\Z[\sqrt{-26}]$は素元ではないし素元で割り切れもしない)、イデアルが定義されるところまで進みました。素イデアル分解は一般の代数体の整数環でできる、という話だと思います。こうするとフェルマーの定理を示すときに素元分解のかわりに素イデアル分解を使えば同じ議論ができる、とかなのかな(昔そんな話を聞いた気がする)。
お昼から仕事。不具合対応に入ろうと思ったけれど、コンテンツの調整に手間取ったので結局着手できず。でもコンテンツの調整はほとんど終わったと言えそうなのでよかったとしましょう。明日から検証?
さて、昨夜は早く寝たので今日はそこまでひどい具合じゃなかった、今夜もあまり夜更かししない方向で行きたい。
そういえば、「響け!ユーフォニアム」の二話がけっこうおもしろかったのでした。いいよいいよ、僕こういう薄暗い気持ちになるお話大好きだよ、頭の中のそういう受容体が次回をものすごく楽しみにしているよ……。
昨晩は素イデアルが定義されて素イデアル分解が一般に代数体の整数環で一意であるという事実が紹介されました。そのあたりは環論の話題になるのだそうです。いずれどこかで出会うでしょう。そういえばこのもうちょっと行った先ではガロア理論の言葉が必要になるようだけど、僕は全然知らないから心配だ。付録に概略は載っているけど、これはこれで十分ということなのだろうか?
お昼から仕事。引き続きコンテンツの微調整とか不具合の検討とか。やるやる言って一週間くらい経つ不具合の検討にようやく入れた。問題を整理してみるとそう困難でもない気がするし、来週の早いうちに解決したい。なんだかんだで本当に完成が近づいてきた。終わったらゴールデンウィークだ。
さて、どうも今朝からまた風邪気味で、喉が痛いです。なのでお酒は飲みません。アニメを観たらゆっくり眠りましょう。
昨晩はイデアル類群と単数群が定義されました。これらは代数体の数がイデアルとどのくらい違っているかを表す群のようです(より正確には分数と分数イデアル?)。そしてイデアル類群が単位元のみの場合は素元分解ができるようだ。
今日もあいかわらず風邪気味です。なのでアニメを観てゆっくり眠ります。
解けない問題に回答しなければならないと思い込んでしまうと、なんの役にも立たないゴミの塊が顕現し、よりよい対案など存在しないので永久に居座り続けることになる。
慎重であることはもっと賞賛されてもよいのではないだろうかと思う。それは臆病と区別がつかないとしても。「あやまちをおかすなら慎重すぎるがゆえにそうなるように」。
本当にまったく不合理な好みの話なんですけど、中野梓に対して「アズにゃん」という表記をとるタイプの人とはまったくわかり合えないのだと思う。もっというと信頼できない。ここでは相対主義をとらない。
ちゃんと定式化できる規則では(おそらく)ないのだけれど。
代数体のイデアル類群が有限群であるという定理と、ディリクレの単数定理が紹介されたけれど、イデアル類群の具体的イメージがないし、素点概念もピンときてない(なにゆえこいつは「素点」なのか?)のでフーンという感じです。でも単数群(代数体の整数環の可逆元全体のなす乗法群)の構造がゴロンと出てくるのはちょっとした出来事のような気はする。イデアル類群のほうは知らん。位数が1でないなら有限だろうと無限だろうと全部一緒と違うのん?
具合が悪いのはあいかわらずです。参りましたね。今日は日曜日なので、明日は月曜日です(形式的真理を書く)。
昨晩は$x^2-Ny^2=1$が自然数解を無限個持つことの証明を読みました。実2次体$\Q(\sqrt{N})$の単数群が無限群になるので、その分だけ$\Z[\sqrt{N}]$の素元分解がばらけて解が無限個できる。いや、これは素元分解とは限らないのかな?
お昼から仕事。具合悪いけど進捗はまあまあ。検証が始まったので本格的に不具合対応です。あとずっと気がかりだった実装漏れもだいたいいい感じになったし。ラストスパート感。
さて具合悪いです。