随伴もあまりピンと来ない概念だけど、よく見る 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日、「技術者／プログラマのためのラムダ計算、論理、圏」セミナーに行ってきた。で、自分なりにわかったこと、わからなかったことをメモしてみる。 ウソ、間違いがあるはずなので、ご指摘いただけると大変ありがたいで…
普段の人付き合いではなかなか感じとれないことをいろいろ痛感した週末だった。 ようするに、みんな自分がかわいいんだな。
最近解いてる。 むちゃくちゃ簡単な計算なのに1週間ぐらいかかってしまった。 例えばcosの評価を間違えてたり。ダメダメ。
なんかきてるなぁ。しばらく書かないとこういう目にあうんだろうか。
基調講演 Larry。 Perl6は many languages と。パーサを拡張することができて云々とかいう話をしてたと思う。 ベースとなる言語の構文とか意味とかとの相性問題はどうなるんだろう絶対衝突おきてハマるよなー、それでも拡張を許すとなるとベースは構文も意味…
携帯型のアレから。
してねぇ。寝てる間も忘れちゃだめだ。
これ書いてる頃稼動っぽい。
数年ぶりにやってみた。まずい。 普通じゃない量の野菜を食べたが、嫌いになりそうだ。 何か工夫をしないと。
会社の人と雑談してて アレってリアルタイム? とか聞かれてそーじゃないよとか答えたんだけど、もしそっちの方に発展したらすごいなあとかこわいなあとか。
えらいもんが出てきたなー。 今の部屋はエリアから外れてるけど、なぜか実家はバッチリとられてた。辺鄙さ加減は似たようなもんだとおもうけど。 つか、実家丸見え。洗濯物(たぶんおやじのももひき)がしっかり撮影されてた。謝罪と賠(ry
暑すぎたので、ついサーバールームに長居してしまった。
