andante

2014-12

1201

基本的には体調が悪いですあまり眠られなかったしそれはまあ昨日たくさん寝たからさほど問題ではなかったけれど……


ところで僕が参加していた社内のプロジェクトが一旦中断するそうです先日の会議でわりと根源的なところに課題が多く見つかったせいでしょうあとちょっと他の案件が厳しい状況なのもあって僕はそちらの助力に回るようです久々だこの感じ
中断するのはいいのだけど高々一月でどこまでまとめ上げられるのか微妙だとは思いますたぶんそうするならば問題自体を縮小するところから始めないといけないしかしそれも手頃な大きさが見いだされるかどうか……


ところで今週のどこかでインフルエンザの予防接種に行かなければならないのだけどずっと体調が微妙なのでどうしたものか困った

1202

お昼から仕事非常に厳しいソースコードに手を入れるSwift勉強会とかってモナドの話してる場合じゃなかったやっぱり入門が必要だったのではないか非常に厳しい
あとは設計がちょっと挑戦的で慣れないMVVMっていうのかなこういうの


やはりあと五年生きないような気がする僕はもう人生に楽しいことがどんどん見つけられなくなって生活の中で感じる嫌なことがどんどん多くなってそんな風になってしまった僕を誰も救ってはくれなくてこのままそれが続いたらきっとそう遠からず僕は生きることをやめてしまうだろうそしてそれはそれができなかった場合よりもましなことに思われるそれがそれに必要なちょっとした覚悟や思い切りのためにもしできなかったら僕はいま言ったような人生を続けるのだろう生活の中で感じる嫌なことが生活の全部を塗りつぶしてしまうほどに多くなったら僕はいったいどうなってしまうのだろう僕はそんな風にはなりたくないんだ


そういえばフワッとした気持ちでラブプラスのなんか接頭辞や接尾辞がついた最新作を買いました五年くらい前に買ったきりほったらかしていた前作のことはもう忘れることにします
ちょっとだけ遊んでみたのだけどまずヒロインたちがあまり魅力的に思えなくてこれが……中央値……という気持ちになります

あと主人公はコマンド一つでオシャレしたり運動したりバイトを始められたりしてうらやましいなと思いました選択肢一つでいきなり会話が始められるしなんなの何と話しかけるかの前に何をどう話すかを延々シミュレイションするのが普通の流れじゃないの
この手のゲームで一番欺瞞的なのはもしかするとそういう部分なのかもしれませんそりゃ僕だって会話のコストがここまで低かったらもうちょっとうまくやるさうまくイメージできないので本当かと反論を受けている
僕の人生もこんな感じにフルオートになって僕は体力とストレスの増減だけ気をつけてればいい仕組みだったらいいのになあと思いますどっちかというとパワプロの世界観っぽいなソフトウェアエンジニアのケガ率ってなんなのかよくわからないけど


明日こそはインフルエンザの予防接種にゆきたい昨日と今日は会議で行けなかったずっと会議していたわけではないけど予防接種なんて時間の不確定な予定を入れられなかった

1203

お昼から仕事ちょっと作業してからインフルエンザの予防接種へ人がたくさん待っていたし受付で一時間くらい見てもらってますと言われたので読書が捗るわいと思っていたのだけどなんか十五分くらいでサクッと終わってしまった人がたくさんいたのは健康診断のためだったようだけど受付の人も裏で早くねとか言ってたしよくわかりません合法的に仕事をサボれるチャンスを逸したのは残念です

仕事は厳しい感じ共通化できそうな顔をしたクラスがいたので流用させてもらおうとしたら異常な密結合が顔を出したりとかそういうのたぶん仕様が曖昧な状態で書き始めたせいで共通化される領域を見誤ったのだろう同情はするが心情としては厳しい
あとあんまりSwiftを使いこなせていない人が書いたっぽいコードが頻繁に眼に入るのも厳しいです学習や教育に必要なコストが甘く見られすぎている気がすると僕は何年か前にも指摘したと思うのだけどやっぱり変わらないなと思います未経験でも知能指数高そうな人をつれてきてガンガン教育していくしかこの先はないんじゃないかそんな余裕がもうないとしたらそれはもう


さて課題の解決に手間取ってしまったせいでずいぶん帰りが遅くなってしまって今夜はあまり時間がとれなさそうです数学はp進距離における有理数体の完備化によってp進数体が導入されましたがまだp進的遠近感が会得できていない感じがありますふみゅう

1204

お昼から仕事非常に厳しいがとりあえずこれから一週間がんばればなんとかなるのではないかという話になったのでこれから一週間がんばるのでしょうやだなあ
Interface BuilderでUIを作るとどのオプションが変更されてるのかぱっと見でよくわからないから共同作業がしづらいなあと思いましたAutoLayoutがぶっ壊れる理由がボタンの一つに450pxの透明画像がセットされてるせいでsystemLayoutSizeFittingSizeでサイズ計算したとき画面からはみ出していたContent Compression Resistanceがデフォルトで750だから潰れてくれないらしいなんだそれというかこの画像はなんなんだ不可解だ

そんなこんなでひさびさに帰りが遅くなってしまいましたやれやれ


会社の人は僕がとても優秀だという共通の冗談をよく言うけれど僕はそれを聞くたびにそう言って彼らは僕を嘲笑しているんだなとしか思わない僕は自分がそこそこ優秀だとは思っているけれど優秀と呼ばれるほどに優秀だとは思っていない
とはいえこういう状況に対する適切な対応が発明されていないのでとりあえず素直に喜んで見せているがそれはどうなのか居心地が悪い


さてすっかり遅くなってしまいましたがこれからお風呂に入って髪を乾かさないと寝られませんしまったなもっと早く帰ってくるべきだった

1205

僕の会社は13:00からがコアタイムなのでそれより遅れると遅刻と判定されるのですが今朝は12:38に起きて12:58に出社するという誤った成功体験を獲得してしまいましたこれはよくない


お昼から仕事なんかいろいろとりあえず大きな領域をだいたい終わらせられたので多少は活躍できているのかもしれませんもう一つ大きな領域でも仕様書見た感じたいしたことなかったぞをあと四日くらいで倒せばなんとか通常くらいのスケジュールに戻れるそうですフムン

終わったあとチームの人とだらだら話したりしましたこの会社はどうなってゆくんでしょうねとかうーむ
僕としたところで拾ってもらってずいぶんよくしてもらっていることには感謝の言葉もないけれどかといってここにいたって幸福にはならないんじゃないかなあという気はするかといって転職とか嫌だなあと思うそもそも就活なるものがまったくできなかったからここにいるわけだし二兆円が降ってきたらニートになるんだけども


さてやっと週末もうちょっと休めば身体の具合がよくなりそうな気がするんだよねあとアニメを観たり数学をしたりそういえば数学はついにノートが一冊おわりました書き始めたのが11/06らしいのでちょうど一ヶ月ということになりますやったね
昨夜は逆極限が圏論的な意味での極限になっていることを示したのとZ/p^nZの逆極限からp進整数を作るところまで進みましたうーんZとかQで変換して黒板書体になってほしいなあ辞書登録するかそれもアホらしい気がするでもäとかßとかはAE/SSで登録したしなそう考えると妥当かもしれない

1206

夕方まで寝てそれから数学をしていますp進整数Zpの性質をいくつか稠密とか閉包とかの言葉にあまり馴染みがないのでちょっと証明に手こずっています


またちょっと風邪っぽいお酒飲みたかったんだけどなはー今夜はアニメを観つつ数学そういえば楽園追放が家でもiTunesのレンタル機能で観られるらしいので今夜観ると思います

1207

昨晩は楽園追放を観ましたまあ基本的な流れはとても素直で未成熟な仮想現実に不満を抱いて地上に残った人々もいました的な遠未来昔話という感じでアンジェラさんがそれでいいならいいんじゃないでしょうかみたいな仮想現実に制約がいろいろあるのはまったく仮想現実にとって本質的な事柄ではないと僕は信じているのでこれがただの昔話になることを願ってやみませんどうせ僕には関係のない未来の話だけれども
とはいえ映像とストーリーは魅力的なのでかわいかったそういう話ということならそれでいいのかなとも


夕方まで寝ていましたが風邪いです今日はなんか手続きめいたことを二三しましたあとすこしだけ仕事のコードを見ました案外余裕があるような気がなぜかしていたのだけどそうでもないような気がしてきました


ふーむ

1208

あまり眠られなかった感じだったけど案外気分は悪くなかったのでよかった

昨夜はlumino cityというゲーム http://www.luminocitygame.com/ を買って遊んでいたので数学はしていませんこのゲームはよいです謎解きアドベンチャーゲームアドベンチャーゲームってなんなのか知らずに言っていますなんだけどグラフィックがとても素敵こんなのがリアルタイムでできるんですねすごいや
今夜もこれで遊んで数学しなさそうそもそも帰るの遅くなっちゃったから時間あんまりないし……


お昼から仕事僕の担当画面二つのうちの一つがほぼ終わりだなーと思っていたのだけど細かい不具合にけっこう手間取ってしまって結局一日かかってしまいましたSwiftのビルドの遅さはまっすぐ書いているうちはそれほど気にならない一息つく時間になるしけれど不具合対応で試行錯誤しているときはほんとうにフラストレイションだなあと思いましたフラストレイション
ともあれこれで本当に一つは終わりなのであと三日がんばってもう一つをやりますがんばる

1209'

まじで具合が悪くなり始めたぞ


お昼から仕事難しいわけじゃないけどなかなか進まないこんな調子では間に合わないかもしれない厳しい
あと会議取締役たちは時間がない時間がないと言うけれど僕はそんな短い時間スケールでものを考えるべきではないと思うこの世界には最高の頭脳が七年掛かって証明した定理だってあるのだそしてその修正には一年掛かった問題を解くというのはそのくらい時間の掛かる取り組みであるほうが自然なのではないか
とはいえ七年間も一つの問題を考え続けられることが偉大さなのかもしれない考えるのと悩むのとは違う
まあ問題のほうを小さくするという手が現実的にはあるけれどねえ


さてまじで具合が悪いですなんだこれ困った

1210

あいかわらずとても具合が悪いですとはいえ仕事はまあまあ順調と言える明日まで体調が持ちこたえればなんとかなる気がするながんばらなゃ


昨夜は整数aがmod pで平方元だったならばaはQ_pの平方元でもあることを示しましたよくわかんないって言ったらaの知人の整数論専攻の人がそんなに難しくないよと教えてくれたのでやってみたのでした結局aがすべてのnについてmod p^nで平方元であることを示せばよくnについての帰納法で平方根を順番に構成することができることを示しました175^2≡7 (mod 3^5)を3^4の結果から導くことができたのでたぶん正しいと思いますやったね


早く眠るよ