数学ごっこ

epi 射 ならば全射

「全射ならば epi 射」はいいとして,「epi 射ならば全射」が結構難しいよねえ. 対偶の「全射でないならば epi 射でない」を示す. となる が存在しないような が存在したとする.いま,写像 を次のように定める: ,.任意の に対して, より .しかし, で…

酔歩の√

寝て起きて,ちょっと圏論やって,寝て起きて,卵焼いて食べて,寝て起きて,酒を飲んだら一日が終わった. 閑話休題.原点から2次元離散型ランダムウォークをしていって,n 単位時間後の原点からの距離の平均が √n になるらしい.なんかあんまり直観的じゃ…

* と ?

* と ? のような,パターン検索するときに使う文字のことを一般的に「ワイルドカード」と呼ぶと思っていたら,若干違うらしい.Wikipedia だとそう書いているっぽいのだが… ワイルドカード (情報処理) - Wikipedia その筋に詳しい人(?)によると,要するに「…

モナド理解史

小さい方のゼミ最終回.モナドの話題なので盛り上がるかと思いきや…発表者が正直だったので特に炎上も盛り上がりもなく終わった.教員が質問モードではなく解説モードに入っていたのも大きい気がする. モナド=箱,というメタファーはやっぱりよくわからん…

名無し項に直しているだけ

なんか 1 日中寝ていた気がする. 単純型付きラムダ計算の CCC (Cartesian Closed Category) の意味論が,地味に Semantics of Programming Languages: Structures and Techniques の圏論の章に載ってて,読み直しているんだけど, Var と Abs と App しかな…

手巻き寿司2回目

2017 年 12 月 31 日に続いて,手巻き寿司 2 回目.今回は人が多くてたいへんに賑やか.やっぱりトロがないと満足度がかなり下がるな. 閑話休題.情報幾何とか,話だけ聞くと面白そうなんだけど,統計とか機械学習系統の素養がないので結構道のりが遠そうな…

ダメな発表は聞かないのが正しい

今度から「これはダメだな」と思った発表は聞かないようにしよう.聞いてるから「言うべきか言わないべきか…」と悩むのであって,聞いてなきゃこころ穏やかに過ごせる. 閑話休題. 上の順序関係 を, で定義する. の Hasse 図を書け,という問題が話題にな…

冷や汗

引越しまであと 1 日だがまだ家は汚いということで,いよいよ冷や汗をかいてきた.ただ,冷蔵庫と壊れたプリンタは持ってってもらえたし,あとは細々としたものしかないので,最悪でも,とりあえずそのままダンボールに突っ込んでおいて,移動先で整理すれば…

子供科学相談室に電話したい

家からは諸事情で追い出されているので,実質家なき子状態.うーん….その勢いで本を 2 冊ぐらい買ってしまった以外に特に書くことがない. ところで, が成り立つという話面白いな.要するに が成り立つというのは本質っぽい.これと同じような理屈で, と…

事務手続きめんどい

諸々の書類準備に潰される.事務手続きを一個倒そうと思っていたが,昼寝が長引いてしまって倒せず.明日だな. しかし,この手の事務手続きめんどいな.性格の問題もあるだろうが非常に疲れる.まあ事務手続きが好きな人など少ないだろうが,万が一,その手…

互除法っていう手があるのね

今日はなんだか一日中どうでも良い作業をしていたような気がする.この時期はこういう苦手な事務作業が多くて困る…. 夜ごろに謎のチーズを食べる会が開かれる.今日はちゃんとした青カビチーズで,くさい.が,うまい.言い方は悪いが,こんなものを美味し…