andante

2015-02

0131

昨晩はapmの向こう側のDBに不整合を起こしてしまった件について関連するらしきissueにコメントを書きましたいまのところ手動で直してもらっているようなので僕も直してくださいというような
親しくない人への依頼の文章はただでさえ難しいのに英語とかいう自分でなに言ってるのか三割くらいしか確信が持てない言語でやるのはもっと難しいですはー

あとは数学を少々$\Z[i]$の素元についてこれが素元分解環であることはまだ示していませんが


今日は特になにもしていませんアニメを観つつちょっとお酒を飲むつもりですそういえば会社の人が関数プログラミングに関心を持っているようだったからすごいH本の読書会しませんかって誘ったのだったまあそんなに余裕があるのかよくわかりませんけれど余裕は大学時代にやっていたこととか考えると絶対あるんだけど会社員はもはや勉強会とかリソースを削ってまでやることじゃないと認識しているっぽいのでそんなに準備とかしてくれないことが経験的に知られている


冴えない彼女の育てかた観ています絵柄がかわいいので楽しいのだけど観ているととてもつらい気持ちになります複数の意味で最初はただ僕にはそういう交友関係がなかったなって思っただけだったけれどこないだの回で決定的に僕にできないことをできる奴なんだとあるいはそう彼は圧倒的に主人公なんだなと思い知らされてもっとつらくなりました涙が出ないのが不思議なほどのつらさ僕はなんだってこんな

0201

昨晩はちょっと数学をしつつ不完全性定理の本を読み始めました不完全性定理は数学の定理であるかっこいいでもなんか説明密度が高くて重たいです一冊でちゃんとやろうとするとこうならざるを得ないのかもしれませんが


今日はなにもしていませんちょっと風邪い昨日お酒を飲んだのは失敗だったかもしれないにゃあ


macで使っているtweetbotが数日でクラッシュして計算機ごと再起動しないと使えなくなってしまうのでそれはちょっとと別のクライアントを探したのですがあまりいいのが見つかりません自分で作るのってどのくらい現実的だろうかmacアプリの経験ないしなー

0202

昨晩はなんだかうまくねむられませんでしたまあ夕方まで寝てたしな日曜の夜にはよくあることです
だけどなんだか精神状態も悪化してしまってウェーという感じでしたウェー


お昼から仕事仕様再レビューなどだいぶ具体的になってきたし今回は慎重に機能を削っているのでとりあえずつらい開発にはならなさそう

あとInjectionのこと調べていたけどなんかうまく動きませんSwiftの実効的incremental compileができると思ったのだけどうーん僕の環境あるいは試したプロジェクトが悪かったのだろうか


英語でものを書く方法がわからないという話に関してそういえば僕は昔から英作文が英語力の不足以上に苦手だったけれどやっぱりそれも同じことなのかなって思う自分で書いたことを自分が本当に書いているのかわからないという不安
たとえば僕が僕の言語でA+aという意味でAと書いたとする僕以外の人間はそれをAと読んでA+aとは読まないかもしれないでも僕はそれをA+aと読むなぜなら僕はA+aの意味でAと書くからであるだから僕はA+aの意味でAと書くことに不安を感じる必要はない僕の書きたかったものはすべて読まれることができる
でもそれは僕が書く言語が僕そのものであるような言語だからそういう安心感を持つことができるのであってそうでなかったらそれはとても覚束ない仮定となる僕は同じようにA+aの意味で今度はαと書くかもしれないだけど僕はαをA+aとは読まないかもしれないなぜならそれは僕そのものであるところの言語ではないからその意味は僕の心中ではなく辞書を参照して解釈されるからであるそしてもちろん辞書にはそんなことは書かれていないαとはAであるA+aではない

僕以外の人は言語に対してこういう態度をとらないのだろうか僕はこういったことに過剰に拘泥しているのだろうか過剰とは


人工知能がどんどん発達して人類を引退に追いやるんですよみたいな記事を読んだうんそうだよねこれから人類は老後を迎えるんだから息子がせいぜい親孝行してくれるといいみたいな世界観を僕も持っているのだけどこれって一昔前にはまったく想像されなかった感覚なんだろうなって思ったボイジャーだのパイオニアだのあいつらはこの星に生きた人類という生物種の存在を広く宇宙に伝えるためにメッセージを積んで飛ばされたのにそいつらがやっと太陽系を出るか出ないかくらいのところで人類はもう老後の話をしているメッセージを見て地球を訪れた誰かはどんな顔をするだろうありふれたことだと思うだろうか無論彼らも機械知性である

最近の機械学習の隆盛僕は計算機科学に明るくないしそのあたりを観測しているわけでもないけれど要するに我々はもはや問題を理解して内包的な記述を与える必要がなくなったのかなという気がしている職人技を理解する必要なんかなにもなくただ十分な練習があれば真似ることができるしスコアさえつけられればもっと上達することもできる内部にはなんらかの秩序が形成されそれは問題に対する理解と呼ぶことができるかもしれないけれど別にそんなものを読み取る必要はないzipで固めてメールで送ってしまえばいい

そもそも問題を理解するなんてのが計算量的貧乏性なのかもしれないとちょっと思うそれは結局圧縮なのだ少ない言葉で問題を書き表そうとするのが理解だだからより非自明な圧縮を見つけるために人類はいろいろな概念を抽象化しいろいろなところに適用しパチリと嵌まったらそれを釣り上げて理解と呼んだでもそんなの人間の脳がこれっぽっちしかないというだけの話でぜんぜん問題の解決とは関係のないことなのかもしれない人間はそういう方法しかとれないからそれが上手くできるとスコアが上がるようにそういうのが楽しくて価値あるように設定して実際にそういう機能はけっこう発達したけれどそんなのは巨大計算能力の前にまったく無用であり我々がきれいな補助線を引いて喜んでいるのを横目にただただ巨大な脳が問題をバリバリと噛み砕いて飲み込んでゆくそういう光景こそがあるべき姿なのかもしれない人類は老後なので暖炉の前で鉛筆を片手に数独とかクロスワードとかやるそれはもう現実の問題解決にはなんの寄与もしないけれどそれは楽しいし老後の人類にはそういう楽しみに浸る自由があるのだろう


明日はアプリとサーバの役割分担についてちょっと議論するのとあとHaskell勉強会の第0回として日程決めたり相談をする予定ですほんとに勉強会やるんかいな僕は楽しみだけれど

0203

鬼はthought: "Who could watch it?"


お昼から仕事アプリとサーバの連携仕様について議論など
あとHaskell勉強会の相談とりあえず初回は僕なので準備しますしかしまあこれでうちもこういうのをやる会社になれるのかしらとか


具合が悪いので早く帰ってきました早く寝るでしょういっつも言ってる明日は歯医者にゆかねばならないようですそれを言ったら髪だって切らなきゃいけないのだけど美容院も三ヶ月先の予約とる仕組みにすれば楽なのにねそうか


役職順にIPアドレスを振れみたいな無茶振りの相談が話題になっていますたぶん昔からちょいちょいある話だなんだけど何年か前にも見たことあるこれが笑い話なのはこれは笑い話ですみたいな空気があらかじめ醸成されているからにすぎない気がしているたぶんそういうメタ情報がなかったら素でこういうこと言い出す人は案外いるしそういうメタ情報なしにそれを否定するのはけっこう面倒な気がするそもそも否定する根拠がそういう仕組みを作るのは面倒だ以外にあんまりない気もする
この話から得られる情報としては偉い人にも同調圧力ってのは案外有効でなのでいろんなことをこれは笑い話ですみたいな雰囲気にしておけば操作しやすいんじゃないかなって仮説ですそれは部分的には交渉術の一つなのかもしれない

0204

鬼 ist tot; Who could watch it?

鬼は死んだ誰がそれを見届けられただろうか


仕事の前に歯医者なんか奥歯の隙間に色が付いてるけどまあしばらく置いておいても大丈夫でしょうという感じらしい一年くらいそんな感じのような気もする虫歯って案外進行しないものなのねまあそう簡単に穴が開いてたまるかという感じはある

それから仕事今日はなんだかずっといらいらしていました一時間早く起きたのがよくなかったのかなと思ったけれど一時間早く寝たはずなのよねよくわからない風邪気味のせいかもしれない
仕事は工数の見積もりこういうのガッツリやったのは初めてだけど案外これはこういう感じねと決められるものだなと思いましたまあ仕様がコンパクトで素直になったからかもしれません実際にどうなるのかもよくわからないし


今夜も具合があまりよくないし明日は社長がチームでランチに行こうと言い出したので早く起きなくてはなりませんうーんわかるけど僕正午に食事する習慣ないのよね


お話の中でなら救われてもいいんだろうか僕にとって都合の良い望むままに夢を見させてくれる誰かと折り合いをつけたりしなくてもいいそんな想像上の存在に心を預けてしまってもいいんだろうかこんなことを望むのは誰かを傷つけることなんじゃないか本当はきっとそうだ誰かに怒られたりしないんだろうかそんなことを考える必要なしにお話の中でなら僕は救いを求めてもいいんだろうか
いいんだよ声が聞こえるでもまだ油断はできないこの声は誰の声なのかまだわからないからそれは誰かの赦しを装った僕の願望でしかないかもしれないし仮にそうでなかったとしても第二の心配がある:これはテストなんだ僕は誰かに監視されていてこれは僕を試すための問いかけなのかもしれないだからやっぱり僕はこう答えるしかないだめだと思いますでもそれならばいったい誰が僕を救ってくれるというのか僕はこんなにいい子にしているというのに


さて艦これアニメが始まるのと髪が乾くのを待つ間数学の勉強とHaskell勉強会の準備をしていましょう

0205

定義 1.1: 知性(intelligence)とは位相空間上の自己写像$\iota: X\to X$であって次の性質をみたすものをいう

こんなことするためにmathjaxを入れたわけではない


仕事の前にチームの人たちと食事にゆきました寝起きで食欲がウェーという感じだったけどなんとかなったいつから食事はこんなに緊張するイベントになってしまったのだっけか

仕事は内部設計考えるべきことがだいぶ考えられてきたのだがこれを誰が書くんだという言うまでもなく僕なのだが


具合がメチャ悪です髪が乾くまでHaskell勉強会の準備をしよう昨夜もそのつもりだったのだけどGoogle Spreadsheetの関数をいろいろ試してたら遅くなってしまったからできなかった数学はちょっとしたけれどそう$\Z[\zeta_3]$の元に$1$か$\zeta_3$か${\zeta_3}^2$のどれかを掛けるとかならず$\Z[\sqrt{-3}]$に入ることを示しました簡単これで$p=x^2+3y^2$に関する議論が素元分解整域であるところの$\Z[\zeta_3]$でできるわけです


そういえば艦これ五話まあ悪い話じゃなかったけれどおもしろくはなかったしかしそれがこのアニメのあるべき姿なのかもしれないとも思うまあ悪い話じゃなかった三話四話が悪い話だったという認識の上で

0206

昨夜はHaskell勉強会の準備をすこししましたとりあえず教科書まとめ半分くらい思ったより時間がかかるけどまあ丁寧に準備するってのはそういうことかなともあとはこれをどこまでコンパクトにまとめられるかですね
あと発表用のツールが必要かなと思いますここまでコード主体になるとkeynoteは無理がある気がする理想としてはmarkdown-likeに書けてシンタクスハイライトがつくやつwebでありそうだよねなければ作る……時間はちょっとないけど


朝起きて仕事に行こうと思ったのだけど意味不明に具合が悪かったので休みましたなんだこれ熱もないけど寒気がするしちょっと吐き気もあるなんだこれまあ風邪でしょうが

半日寝てたけどどうもしっくり来ませんうーんせっかくの週末なのになあ明日くらいにはよくなってほしい

0207

ずっと寝ているけれどまだ具合はよくなりません精神の状態も悪い


僕は結局二十歳くらいで人間として終わってしまったんだなあという感覚がのしかかっていますあの頃はまだ人と会ったり話したりすることはすこし楽しいことだったような気がする自分ひとりでぼんやりしているよりも楽しいこといまはもうそうではない誰かのためになにかをすることへの異常な抵抗感と独りではどうしようもない寂しさを両方抱えて僕はどうすればいいのだろう


さてこれからシャワーだけ浴びてあとちょっとアニメを観たりしてそれからまた寝ましょううーんあと一日しか残ってないうーん……

0208

風邪はあまりよくなりませんこういうときもう一生よくならないんじゃないかってよく思いますそれは経験的には偽と知れているけれど多くの人の人生には死ぬまで治らなかった病気が最後に現れるのだから僕もいつか死ぬまでよくならない病気にかかる可能性は低くはないですいやその事実から言えることは特にないのだけどただそういうことを連想します


そういえばバレンタインが近いのですね艦娘のみなさんがチョコレイトを差し出している絵を頻繁に目にして僕もチョコレイトが食べたくなったりしました買ってきた


さて今夜のうちによくなってくれないと困るのだけど……

0209

朝起きて仕事にゆく準備はしたのだけど腹痛がひどくて結局休みました動けなくはないだけに妙な罪悪感がありますここで罪悪感を覚えるのは明らかに誤りなのだけど誤っているからって無視できるわけでもない不便なものです

また半日寝ていたけれどなんだかまた具合が悪くなってきてしまったなんだこれ金曜日と今日休んだだけでもだいぶ状況に支障が出ていることと思われるし明日は勉強会の発表なのだがまだ準備が終わっていないまあそれに関してはあと少しなので悲観はしていない僕はどうしたらいいんだ

僕以外の人間も風邪で何日も寝込んだらこんなにつらい気持ちになるのだろうかこんなに心細く世界中の楽しみがすべて自分の手の届かないところにいってしまったようなそして自分が迷惑を掛けた人々がどれだけ迷惑しているかが自分の心の中に忍び込んできてしくしくと僕を責めるようなきっとそこまで迷惑してるってわけじゃないはずだだけどそんなの僕にはわかりようがないそして今日でさえそうなのに明日も治らなかったら明日はどんなにか迷惑をかけることになるだろうというプレッシャこれらのものに心を支配されて僕は気が狂いそうになるいや気が狂っているからこそそんなものに心を支配されてしまうのかもしれない

そういえばドラマなどのフィクションで登場人物が怒られたり怒られそうになったりしている状況で過剰に不安な気持ちになるのは発達障害者の特徴だ自分と他人の区別をうまくつけられていないらしいとTwitterで見かけたことがあるその真偽はともかくとして僕は小さいころはそうだった登場人物の行動が明らかに後に誰かに怒られるようなものだと僕だけが気づいているとき僕はそわそわしてしまって僕が怒られるわけでもないのに部屋の隅に隠れたりしていたあの感じ誰かと比べたことはなかったけれどたぶん普通ではないのだろうそれとも小さい頃は誰でもそうなのだろうかだからどうというわけではないしこれはただの連想でしかないけれど

とにかく医者にゆくべきだとは思う今日行かなかったのは失策だったしかし腹痛以外は大丈夫だと思っていたのだ明日はそうしよう治りかけかのようでも油断はできないのだ


今夜はこれからお風呂に入って勉強会準備を終わらせてそれから早く寝ます早く寝るそう早く寝るのが大事早く寝るのが正解早く寝るのが正解だから早く寝れば減点されることはない早く寝るという命題は正しい生活へと繋がっているはずだそうだろだからもう赦してよ助けてよお願いだから