を聞いた。反吐がでそう。

9日の土曜日に開催された層・圏・トポス勉強会に行ってきた。 レポートや反応等は既に 報告：第一回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記 Diary?::2009-05-09 しりとりの圏は「全単射でも同型とは限らない」の例になりそう - 北…

今から。気が重い。

ちょっと前に行った飲み屋のお通しで、トリュフチョコが出た。 初めて食べたがかなりおいしかったので銘柄を聞いてみたら、スーパーで買った普通のやつだそうだ。 トリュフチョコってのは普通のでもそんなにおいしいのかと思って買ってみた。そのうち食べる。…

ちゃんとした酒を久しぶりに買った。高い。いつ空けるかな。

というのを初めてしてもらった。劇的に体が軽くなったとかはないが、確かに気持ちいい。 内ももが張ってて、内臓が弱ってるかもとか言われたが、ホンマかいな。

親の名前で検索したら、写真つきでヒットした。実家の写真も。怖い怖い。

洗濯のみ。

随伴もあまりピンと来ない概念だけど、よく見る Hom(X×A, Y) ⇔ Hom(X, Y^A)って例は、よく見ればカリー化/逆カリー化そのものだった。へー。

オート三輪が走っているところにたまに遭遇する 給食に鯨肉 テレビのチャンネルは、ひねるもの テレビの上にペラペラのアンテナが乗っている。

立っていたビットがすべて倒れ、新しいビットが立った。

林晋つながりでhttp://www.shayashi.jp/HistorySociology/IAmHistorian.htmlというのを見つけたので読んだ。これがかなり面白かったので、ゲーデル 不完全性定理 (岩波文庫)を買って読んでみた*1。 これがめっぽう面白い。論文の翻訳以外の歴史解説と論文解…

2月の檜山セミナーの懇親会で、ここらへんにいる人たちは何をきっかけに圏論とかに興味を持つようになったのだろうという話が出た。 なので、思い出話をすこし。 初めて圏論を知ったのは、数学セミナー1994年5月号の「代数学の0時限」という特集だと思う。な…

23日に開催されたモニャドセミナーに行ってきた。 しりとり圏 直積が定義できるかちょっと考えてみて、できそうにないなと思っておしまい。懇親会で檜山さんに質問したら無理やりくっつけるとかはできるけどそのままじゃ無理とのことで納得。 あいうえおしり…

しりとり圏の初出の時に読んで理解したと思っていたけど、自分で書いてみると発見があるもんですね。 不十分な点は、合成した射がいつ等しくなるかということについて何も決めていないところ。 檜山さんのしりとり圏では、「射は文字列」としているので、射…

しりとりの圏を書くのが流行っているようなので、便乗。どこが不十分かはここで。 できるだけ省略したくないので、文字はあ行に限定。あいうえおしりとりの圏。 定義 対象: あ行の各文字 (「あ行の各文字の集合」、「あ行」ではない) 射: まず、 恒等射 id(…

普段は寝ると直るんだけど、昨日からのはちょっと引きずっててかなり不愉快。 頭痛薬飲むと鼻炎薬飲めないしなーとか悩みつつ、時間差で飲んでごまかす。

普段あまりサインインしない人が入ってきたりしてて、ああ現実逃避してるなあとか想像できてちょっとおかしかった。

雪も降ってこんなに寒いのに飲み。 週なかなのでごく軽く。 しかし最近よく飲んでるなぁ。

この次期に来るかと。寒い。 積もると確実にすべるので今から気が重い。

寿司食べたい欲が一週間ほどくすぶってたところに偶然「すし食おー」というメールが来たので迷わず食べた。ディープな話をした気がする。

某本屋に行ったらhttp://www.amazon.co.jp/dp/B000J8DG18があった。昨日ALGOL 60がどうのこうのという話を見かけたし、1979年初版初刷のものが新刊書店にあるのもレアだし、著者が米田信夫というのもグッと来たので衝動買いした。 中は全然読んでないが、「…

ああああああああああああっ

% cat * | wc -l 2316 % grep new *.cpp | wc -l 48 % grep -h delete *.cpp delete a,b,c; % grep -h -A1 ^class *.h class A { public: -- class B { public: -- class W { int n; // total of ... -- class F { int t; // ...個数 -- class C { public: -…

うっかり参加してしまった。 向かいが文殊堂さん、となりがたけをさんでびびった。で、斜め向かいが太田さんが大変よく笑うのでびびった。 案の定、びっくりするほどしゃべれなかった。永遠の課題。

えらく時間がたってしまったが、1月24日、「技術者／プログラマのためのラムダ計算、論理、圏」セミナーに行ってきた。で、自分なりにわかったこと、わからなかったことをメモしてみる。 ウソ、間違いがあるはずなので、ご指摘いただけると大変ありがたいで…