andante

2015-04

0411

昨晩は特になにもしていませんちょっと資料作ったけどあとはお酒飲んでアニメ観ました長門有希ちゃんの消失二話でしたそういえば解決した気がしていたメモリリークはまだ根絶には至っていないようですマシにはなっているけれど困ったな


今夜もきっとそうでしょうでもRealWorldHaskellをちょっと読みました翻訳が微妙だなと思いました結局モナド変換子のことはまだよくわかっていません概念はわかるのだけど実装がまだしっくりこない

0412

昨晩はなんとなく思い立って数学を再開しましたあっこれクライアント開発が頓挫するやつだまあいいや最近Tweetbot for MacがアップデートされたおかげかOSごと落ちることがなくなったので実はモチベイションもなくなりつつあるしもったいないけれど


今日はぼんやりしています数学もちょっとしたけどあとなんか昨夜酔った勢いか何かで断線したイヤホンの代わりと一緒に買った本を読んでいましたビーンク&ロサ読みました別に感想はないのだけどこういうお話は心地よいなと思いました


さて昨夜も夜更かししてしまったせいで生活リズムが壊れたままなんだけど明日大丈夫なんだろうか土曜の夜に夜更かしをすると月曜の朝までつらいと僕は学習してほしい今夜は早く寝るでもきっと寝付けないんだ

明日は仕事でUIの落ち穂拾い的なことをやるのかなと思います面倒だなー

0413

お昼から仕事仕様の追加部分の実装とUI落ち穂拾いUISliderが思ってたより融通利いた話とUIVisualEffectViewが思ってたより融通利かなかった話
本格的に不具合と向き合わないといけない時期になってきました状態更新忘れ系忘れてたというより考察が面倒だから有耶無耶にしていた側面があり非常につらい


断線したイヤホンの代わりが届いたのだけど前と微妙に音が違いますまあ違う奴だから当然ではあるのだが良くなったとも悪くなったともつかないのだがそのうち慣れるかな


今夜も数学しましょう

0414

昨晩はフェルマーの定理の$n=3$の場合の証明を読みましたやってることはわかるけど動機がいまいち不明瞭というか$x^3=(z-y)(z-\zeta_3y)(z-\bar{\zeta_3}y)$から$z-y$が3乗元になることを示すということをしたくなる気分がよくわかりませんまあそんなものかな

あと気晴らしに読んでる数学の本現代幾何学への道で思ったけど二千年以上前の人名が冠されている数学の定理ってすごいことなのではという気がする神話かよ
あと古代ギリシャの人は直線を無限に長いものと定義したけどこれはド慧眼だったなあとかいや振り返ってみればなんでもないけれど二千五百年前にサア幾何学始めましょうってなったときこの抽象化を選べたってのはちょっとしたことだと思う

お昼から仕事追加仕様の対応とUIの落ち穂拾い面倒だと思って敬遠していたところが意外とてきぱき片付いたけど簡単だろうと思っていたところが意外と手間取ってしまったしかもまだ完全ではないので帳消しでも明日からは本格的に不具合対応かなあ


今日は疲れた早く眠りたいけど数学もしたいついに代数的整数論の核心と題する節に入るわくわく

0415

昨晩は代数体の整数環のことを読んでいましたでもこれが環をなすのってぜんぜん謎だしちょっと検索して出てきた証明は妙に複雑でしたフムン


お昼から仕事だったのだけど今日はなんだかものすごく疲れていてというか昨夜からそうだぜんぜん能率が上がりませんでしたどうしちゃったんだろう

作業は追加仕様の対応がほぼ終わったのでほぼ不具合対応です状態更新関係のロジック明日腰を据えて考えよう


今夜はつかれているので早く寝たい髪が乾くまでは数学する

0416

昨晩は$\Z[\sqrt{-26}]$が素元分解の法則に従わないことを示したとえば$3\in\Z[\sqrt{-26}]$は素元ではないし素元で割り切れもしないイデアルが定義されるところまで進みました素イデアル分解は一般の代数体の整数環でできるという話だと思いますこうするとフェルマーの定理を示すときに素元分解のかわりに素イデアル分解を使えば同じ議論ができるとかなのかな昔そんな話を聞いた気がする


お昼から仕事不具合対応に入ろうと思ったけれどコンテンツの調整に手間取ったので結局着手できずでもコンテンツの調整はほとんど終わったと言えそうなのでよかったとしましょう明日から検証


さて昨夜は早く寝たので今日はそこまでひどい具合じゃなかった今夜もあまり夜更かししない方向で行きたい


そういえば響けユーフォニアムの二話がけっこうおもしろかったのでしたいいよいいよ僕こういう薄暗い気持ちになるお話大好きだよ頭の中のそういう受容体が次回をものすごく楽しみにしているよ……

0417

昨晩は素イデアルが定義されて素イデアル分解が一般に代数体の整数環で一意であるという事実が紹介されましたそのあたりは環論の話題になるのだそうですいずれどこかで出会うでしょうそういえばこのもうちょっと行った先ではガロア理論の言葉が必要になるようだけど僕は全然知らないから心配だ付録に概略は載っているけどこれはこれで十分ということなのだろうか


お昼から仕事引き続きコンテンツの微調整とか不具合の検討とかやるやる言って一週間くらい経つ不具合の検討にようやく入れた問題を整理してみるとそう困難でもない気がするし来週の早いうちに解決したいなんだかんだで本当に完成が近づいてきた終わったらゴールデンウィークだ


さてどうも今朝からまた風邪気味で喉が痛いですなのでお酒は飲みませんアニメを観たらゆっくり眠りましょう

0418

昨晩はイデアル類群と単数群が定義されましたこれらは代数体の数がイデアルとどのくらい違っているかを表す群のようですより正確には分数と分数イデアルそしてイデアル類群が単位元のみの場合は素元分解ができるようだ


今日もあいかわらず風邪気味ですなのでアニメを観てゆっくり眠ります


解けない問題に回答しなければならないと思い込んでしまうとなんの役にも立たないゴミの塊が顕現しよりよい対案など存在しないので永久に居座り続けることになる

慎重であることはもっと賞賛されてもよいのではないだろうかと思うそれは臆病と区別がつかないとしてもあやまちをおかすなら慎重すぎるがゆえにそうなるように

0419

本当にまったく不合理な好みの話なんですけど中野梓に対してアズにゃんという表記をとるタイプの人とはまったくわかり合えないのだと思うもっというと信頼できないここでは相対主義をとらない
ちゃんと定式化できる規則ではおそらくないのだけれど


代数体のイデアル類群が有限群であるという定理とディリクレの単数定理が紹介されたけれどイデアル類群の具体的イメージがないし素点概念もピンときてないなにゆえこいつは素点なのかのでフーンという感じですでも単数群代数体の整数環の可逆元全体のなす乗法群の構造がゴロンと出てくるのはちょっとした出来事のような気はするイデアル類群のほうは知らん位数が1でないなら有限だろうと無限だろうと全部一緒と違うのん


具合が悪いのはあいかわらずです参りましたね今日は日曜日なので明日は月曜日です形式的真理を書く

0420

昨晩は$x^2-Ny^2=1$が自然数解を無限個持つことの証明を読みました実2次体$\Q(\sqrt{N})$の単数群が無限群になるのでその分だけ$\Z[\sqrt{N}]$の素元分解がばらけて解が無限個できるいやこれは素元分解とは限らないのかな


お昼から仕事具合悪いけど進捗はまあまあ検証が始まったので本格的に不具合対応ですあとずっと気がかりだった実装漏れもだいたいいい感じになったしラストスパート感


さて具合悪いです