andante

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

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

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

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

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

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

今夜も数学しましょう。

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

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

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

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

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

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

昨晩は磯風さんを完成させました。のべ五、六時間かかっているのかな。
https://twitter.com/necocen/status/586208008360722432/photo/1
まあ、微妙なのですが、とはいえ久々にしては悪くないかもしれません。べつにここから練習しようというアレでもないけれども。
ところで、髪の毛にちゃんと向き合ったのは実は初めてのような気がします（長門さんは短いもんな）。難しい。変形に関する直感がまったく働かないせいかもしれないし、そもそも女の人の髪型というものを知らないせいかもしれません。これもいろいろ試行錯誤したけれどあまりうまくいったとは言えません（それでも最初よりはずいぶんよくなっているのですが）。

あとはメモリリークの調査をしました。結局これはさっきわかったのだけど、NSLogにOptional<String>をString interpolationで渡すのがだめだった？気配があります。これ自体は完全にlegalなはずなのだけど。まあそれならNSLogで出さなければいいという話で、CoreDataに入れるぶんには問題がないようなので、一旦解決とします。
これに伴ってか、スレッドが無闇に使い捨てられる問題も解決した？ように見えますが、まあそれは些細な問題のようにも思うので、これ以上の追及はしません。

お昼から仕事。デザイン適用。だいぶそれらしくなってきた反面で、ずっと逃げていた部品に直面せざるを得なくなってきたので厳しい。これ間に合うのかな、小さな不具合が結構な数あってどれも一癖ありそうなのだけど。うー。

今夜はのんびりお酒を飲んでアニメを観たい。ところで昨夜くらいから腰のあたりが鈍く痛むことがあって心配。内臓系だったら嫌だな、単に筋肉がアレしてるとかならいいのだけど。

なんか昨夜寝る前にiOS8.3がリリースされて、それに伴ってSwift1.2も正式版になりました。思ったより早いな。でもいまの案件には使えないでしょう、そんなことしている場合じゃない。しかし完全に結果論だが最初からSwift1.2で作ればよかった。

昨晩は磯風さんの続きを描いていました。リボンと耳を残してだいたいできたけど、なんかこう、微妙。ただひたすらに微妙。でもまあ、がんばって完成させます（完成ったって顔だけだけども）。

お昼から仕事。今日はデザイン適用を黙々と。
イラストレータのテキストボックスとiOSのラベルでは微妙に文字の位置関係が違うので、デザイン元ファイルを開けたからといって作業が楽になるとは限らない、という感じでした。あと座標がぜんぶ絶対座標だから相対座標に直すのに引き算が頻繁に発生します。引き算は苦手だ。ほんとうに。

今夜は磯風さんと、あと今朝方見つけたJSONMapperのメモリリークの調査をします。そう、以前Swift1.2のバグだと結論したメモリリーク、どうも原因がJSONMapperにあるらしいこととSwift1.1でも起こるっぽいことが判明したのでマジかよという感じです。でも見た感じ完全にlegalなコードだから、いずれにしてもコンパイラのバグなんじゃないかと思うのだけど。Arrayのreduceの中でコンストラクタを呼ぶのが問題っぽいのだが。

昨晩は勉強会資料の図を描こう、と思ったのだけど分量削ったら図が宙に浮いてしまいそうだったのでやめにしました。自己欺瞞感が多少あります（まあ宙に浮いてしまうのは確かなのだけど）。

かわりにひさびさにシャープペンをとって磯風さんの絵を描いたりしました。髪の毛とかよくわからないからいろいろ参考にしながらだけど。そして遅々として進まないのでまだ顔の輪郭と髪の輪郭がようやく固まりつつある段階です。そしてあいかわらずこの角度からしか顔が描けない。
手癖で小綺麗な文が生成できるのだとしたら、手癖で人体をそれらしく描くことだってできてもいいはずだよな、と思う。これはならば命題であって前件の真偽については言及しない。

お昼から仕事。デザイン仕様書の作成は一通り完了。ただしこれは下書きなのでどこかのタイミングで清書したいです（それもデジタルに）。分からない点はデザイナさんにいろいろ訊いたら概ねなんとかなりました。もっと早く訊けば二度手間が防がれたであろう、と思います。でもコミュニケイション億劫なんだもん……

あとHaskell勉強会で発表しました。あいかわらずとっちらかった発表になってしまったなあと思います。しかも開き直りつつあるぞ？

今夜は昨夜の磯風さんをもうすこし進めるつもりです。ところで勉強会の発表が終わったからまたアプリのほうに戻らないとね。

昨晩はなんとか予定通り勉強会資料の概略を完成させることができました。やったね、よしよし。

お昼から仕事。デザイン仕様書の作成。こういうのは果たして僕の仕事なんだろうかという思いはあるけれど工数が取れないので僕がやっている。引き算は苦手なので座標の計算に苦労する。
そんな仕様書作らなくてもいい、と言われそうだけど、結局組み込みの段階では各所の寸法や伸縮の戦略について考えて決めなくてはいけないわけで、となれば「それらの正解が実装にしか存在しない」というのは狂っていると僕は思う。だから資料を作る。

前回と今回とで、「紙に描いたスケッチが魔法のように動き始める」までの魔法部分に何が必要なのかがリアリティを持って感じられるようになってきた気がします。そしてそれは当然魔法ではなく誰かが時間と思慮を費やして実現しているのだ。

さて、明日は勉強会の発表なので、今夜は資料の改善と図の追加をします。あと内容ちょっと削ろう。これ全部解いても楽しくないし長いばかりだ。

【報】４が偶数ｗｗｗｗお前ら今すぐ割れ！

昨晩はまた精神の調子を崩していました。眠れないから精神状態が悪化するのか、精神状態が悪化するから眠れないのか、あるいはそれらは互いにフィードバックの関係にあるのか。いずれにしても困ります。困りました。

お昼から仕事。不具合対応系をちまちま。3Dコンテンツの問題はほぼ解決したので、あとは細かい修正を重ねるだけです。あと細かい仕様変更とか（でもそういうのって先にスケッチ描くなりモック作るなりでわかったことじゃないの、とは思う）。

今夜は勉強会の準備です。七割くらい終わっているので、今夜で九割くらいにならないかな。明日は図とか描くのに使いたい。

面倒くさがって伸びるに任せた髭を無精髭と言うのなら、僕はさしづめ無精人生といったところかな、ははは。

昨晩はお酒を飲んだだけでたいしてなにもしませんでした、って最近毎日そうな気がするぞ。勉強会の準備はちょっとだけした。でもちょっとしか進んでいないので今夜もがんばる。自作テーブルのアニメイションは発表終わるまではちょっと延期かなあ。うーむ。

timelineでふと見かけたので艦これMMD動画をちょっと探していました。 http://www.nicovideo.jp/watch/sm25945086 とか。やあ、これはすごい。3Dのことはよくわからないけれど、最近だとどういった技術の進歩がこれを生んだのだろうか。去年はこんなじゃなかったように思うのだけども。ようやく僕の期待した水準に至りつつあるように思えます。いいね。

さて、明日はまた平日です。そういえばなんか打ち合わせが入っていた気がするけど、僕が参加する意義ってなんかあるんだっけ。というか、そういうのカレンダーにシレッと入れるだけで説明もなんにも無いのちょっとどうかなと思いますけれど。