andante

2015-02-01

0131

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

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


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


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

0201

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


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


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