andante

2014-11

1101

13
そういえばすべFのドラマ冒頭で真賀田博士は7が孤独な話はしたけどBとDには言及してなかったような気がする伏線が除去された


お酒を飲んだわけでもないのに夕方まで寝ていましたやっぱり消耗しているっぽいです今夜も数学をやりつつアニメを観ますお酒は飲まない飲みたい


そういえばiMac 5Kのレビューを探したりしました買うならデュアルディスプレイになるのでGPUはちゃんと盛ったほうがいいのかも買うかどうかは未定でもほしいから時間の問題っぽい感じはある

1102

実在性ミリオンアーサー観ましたすごい正解って感じがする

あんまり関係ないけど予想外に対する興奮と予想通りに対する興奮ってのがあってたとえば音楽なんかは完全に後者なのだけどそして笑いというのは前者なのだけど実は後者の要素もあるのかなみたいなことを思いましたまあそうなるよねがその通りに来る感じ


最近オリジン弁当で弁当を買うことを覚えたので食生活が多少まっとうになる期待がありますそういえばソイレントのことをちょっと調べたけど現時点では輸入がいささか面倒のようですねふうむ


今夜もアニメを観て数学を勉強しますそういえばiOSのテスト駆動開発に真剣に取り組まないといけないなあと思ったので本を買うかも勉強しなくてはね

1103

文化の日ですが文化の日ってなんなんでしょうかそんな漠然とした日があっていいのなら上下の日とか左右の日とか同値性の日とかもあっていいのではいやまあ


ちょっと数学をやりました圏の話は定義だけなら何度か見たことがあって慣れているけれどちゃんと具体例を確かめながら進むようにしたいなやっぱり素振りをしないと上手くならないそして僕は時間が掛かっても上手くなりたいと最近は思う人生は長いのだ


明日はまた仕事ですデザイナさんとデザインの相談をするのとあとは不具合対応かなー改修仕様がまとまってたら設計の検討かもでもいまいち気乗りがしないにゃあ

あと夜にa,ßと会います一年ぶりかな楽しみだ

1104

お昼から仕事ぼんやりバッテリー消費が激しい問題をちょっと調べたけどInstrumentsとニラメッコしてるだけではよくわかりませんでしたただバックグラウンドなのに描画関係でCPUを使っているらしいので次はそのあたりの調査をしようと思いますとはいえ心当たりがあまりないただバックグラウンドで起きているだけでも不可避的に起こるのでは


夜はa,ßとご飯を食べました誘ってくれたのはßだったけど僕はaと数学の話ばっかりしていたすみません最近米田の補題って読んだんだけどこれどうつかうと便利なんとか極限ってあんまり極限感ないけどどうなんとか訊いた米田の補題は僕が読んだところまでだと関手で飛ばしたSetsの対象がその関手にまつわる自然変換の集合と同型って話だったけどある2つの対象についてそれぞれ対象を固定して別の対象からHomを作る関手Hom(X,-)とHom(Y,-)の同型を言えればXとYとの同型が言えるという使いかたが多いそうですあとHom(X,-)にしたほうが対象がちょっと具体的っぽくなるのでわかりやすくなるみたいな話もしていたような気がするけどこの説明も僕の理解もあまり正確ではないでしょうとにかくめっちゃ使うそうですあと数論の教科書を薦めてもらったのでいま読んでる本の次に読もう

自分より頭の良い人と話すのは楽しいなあと思う


今夜はお風呂に入って髪が乾くまで録画してあるはずのすべFを観ましょうあと米田の補題の証明メタメタしくってよくわからないのでちゃんと絵を描いて確かめよう

1105

朝起きた瞬間あっこれはだめだなと思ったので迷った末に会社を休みました結局一日寝ていたしまあ正しい判断だったのでしょういまはそれほど忙しくないし問題ないはず……


そういえば就職して一年になります率直に言っていろいろなものへの失望ばかりの一年でした次の一年はどうしようもっと外向きに出力してゆかないといけないのかなあ怖いし億劫だけど閉じこもっててもいいことなんにもない気がしてきたもっと外で褒められなくては


ぐんにょりしてるので今夜はもう寝ます明日はよくなっていてくれないと困る

1106

昨晩は早めに寝たけど結局夜中に目が醒めてしまってただ布団の中で鬱々としているのも嫌だったので起き上がって数学の勉強をしました米田の補題の証明の補完とか双対圏が入ってくると余分に頭がこんがらがる
随伴関手はどう随伴なのかいまいちピンとこないいやそもそも随伴ってナンゾヤという感じではあるけど


今日も具合が悪いです会社には行ったけどわりと死んでたまた風邪が胃に来ている感じなのかなウー
そういえばバッテリー消費の件ある程度調べたけれどやっぱり加速度計のせいのようですGraphic Activityってカウントされてるけど加速度計を切るといなくなるから誤検出の類でしょう長時間観察もしてみましたが特に異常な挙動はなしただ四時間くらい経ったところでいきなり落とされてたっぽくてそれはちょっと調べないといけないかもなんでだろう


数学を勉強するのに手を動かしていろいろ確認しようと思ったら紙がいるなと思ってノートを買いましたこれまではコピー用紙に書いたりしていたのだけどそれだと散逸してしまうしあまりないことだけど持ち運びにも不便なのでちゃんとした冊子がほしかったのですでもいいなと思ったものは方眼が入ったりしていて使ってみればたいして気になるまいと思って買ったけど使ってみたらけっこう気になる僕はあれに記述が制約を受けるのが好きじゃないのです無地のノートが必要


さて気がつくともう週末です三連休の神髄は三日続く休日ではなく四日で終わる平日にあるとは誰の言葉だったかな僕ですしかも昨日も休んだからなんかアッサリ済んでしまった感がある明日こそ体調が戻ってほしい

1107

風邪の具合はちょっとよくなってきた感じがあります


お昼から仕事なにしたっけ検索API叩いたのだっけあとはフローの改修が確定してからだなー


仕事をしていたら会社のメーリングリストに高純度なノーガード自己顕示欲みたいなものが送られてきて精神の具合が悪くなったこういう人実在すること自体ごく最近知るようになったからいまだにうまく扱うことができませんうーん……


さてアニメを観つつ数学をしつつ

1108

鼻風邪度が上がってきましたうーむ


随伴関手の性質をぷちぷちと証明しています教科書の証明が嘘っぽかったから自分で別証明したりとかちょっと強くなった感じでもなかなか進まないのはちょっとあれですね焦ってはいけない

1109

昨日は数学が捗ったけれど今日はいまいちでした教科書の議論が不明瞭で苦労しましたでもなんかちょっとずつ慣れてきている感じはよいですただ随伴の気持ちはいまだにイマイチわかりません具体例が不足しているのかしら


身体の調子はいまいちですいまいちでなかったことなどあったのかも思い出せませんなんなんだこの人生

1110'

オッカムとハンロン対の剃刀が必要なんだ……なのにここには同じ剃刀が二枚あるだけ……


会社にテレビ局の取材が来ました会議風景を撮るだけだと思っていたらわりとインタビューされたので心配ですたぶん使われないのだと思うのですが
自分の顔がテレビで流れるとか今の時代はとりあえず全部録画してる人とかもいるしどこでどう使われるかわからないので嫌ですねあと単純に自分の容姿にコンプレックスがあるのも大きいですけど
自分と紐付いていて容易に変えられないもの名前と顔はきちんと管理しなければと思います期待値で扱ってはいけないリスクがそこにあるのだ

それはそうとインタビューアというのはずいぶんと不快な物言いをするものだなと思いましたがあれが不快に思える僕のほうが狂っているのかもしれない世界はどこまで行っても世界でしかない


具合が微妙なので早く寝なくてはと毎晩言っているけれど別段早く寝ている様子もないし具合も良くなりません最近ちょっとだけ野菜を食べるようになったのだけどそんなくらいで見逃してくれるほど健康ってのは甘くないらしい


直積をとる関手と冪対象をつくる関手とが随伴になっていること随伴概念の手頃な例と思ってよいのだろうかよくわからないけれどそれよか随伴が極限を保つからいろんな概念を極限として定義しておくと便利ってのは楽しかったへえ
圏の章は今夜くらいで終わらせたいけどなんだかんだ手間取って無理かもその次はトポスの章ですどうでもいいが北千住にトポスというディスカウントストアがあるらしいどうでもいいが


追記:そういえばモナドは単なる自己関手の圏におけるモノイド対象だよ何か問題でもの意味がやっと三割くらいわかったのですがすくなくともモナドの定義がそういうものだってことはわかったなんでHaskellでモナドが偉そうな顔をしているのかとかモナドの他の使い途とかあとライプニッツのモナドとの関連とかはまだわかりませんというかライプニッツのモナドを借用したのって普通に批判されるべきなのではという気がちょっとするのですがそれは誤解かもしれませんwikipediaをちらっと見るとなんか偉い概念っぽいしあとライプニッツのモナドのことも別に知らないし