24日に発表が終わり、そこからいろいろ事務処理や家事にドタバタしていたら週が明けた。今日はいままでやったこととやってないことを整理しておいた。とりあえずまた明日以降。

http://www.iij-ii.co.jp/lab/techdoc/category/このタイトルは圏論の有名な本「Categories for the Working Mathematician」から本歌取りしていると思う、きっと。こんな記事書けたらいいな、と思っていたら池渕さん*1に書かれてしまったので、ぼくは「Cons…

とりあえずWebにアップする発表概要と、スライドの草稿は完成。草稿なので完成も何もないのだが・・・スライドでも論文でもちょっと整理された文章を書こうとすると格段に時間がかかる。ここにブログをホイホイと書くようには、いかない。まずバーッとかいて…

発表準備をはじめる。明日には概要をWebにアップロードして、プレゼン用のスライド初稿を完成させなければならない。どうせ「できていないものはできていない」というところは変わらないので、いまさらどうこうするのをやめて、やったことを地道にまとめる、…

Awodeyのcategory theory(2nd edition)を読みながらexponentialについて考えていたのだが、そこに書いてあった書評からhttp://nineties.github.io/category-seminar/#/ という資料を見つけた。おそらく現存する圏論の（プログラミング寄りの）説明のなかで、…

この２日野暮用もあってあまり活動できなかったが、久々にAgdaをさわった。Agdaでいろいろ書いていると、作業が漠然としなくてよい。ぼちぼち発表の準備をせなあかんわけでもあるが、ほかの同期もそんなに研究が進んでいるわけでもないという話を聞いて安心…

コーディングを支える技術 ~成り立ちから学ぶプログラミング作法 (WEB+DB PRESS plus)作者: 西尾泰和出版社/メーカー: 技術評論社発売日: 2013/04/24メディア: 単行本（ソフトカバー）この商品を含むブログ (37件) を見るそういえば図書館に入れてもらってこ…

categoryがcartesian closed categoryであることを示すにはどうすればよいか？というのを調べていた。wikipediaに出ていた日本語論文とかいろいろ見てみたが、いろんな人が同じ内容を書いているのを複数読むというのは理解が深まってよいと思った。いま自分…

OCamlをさわりつつ、 http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/?ST=system の6回ぐらいまで写経していた。写経はなんであれ自分が打ったものが動くので楽しい。本当の写経というのも、そういう精神性を持つものかもしれない。

基本的に毎日やったことを、日付が過ぎても書いておくことにする（いまこれを書いてるのは金曜日）。そのほうが精神的に落ち着く。水曜日は午後から来客があった。木曜日は特に何にもなかったような気がするが家に帰った16時以降やることがいろいろとあって…

今日は 先月あった圏論の集中講義の復習 Programming in Martin-Löf's type theory 読解 をした。圏論圏論と言われて1年ぐらい経過したにもかかわらず大したことは喋れないのだが、これが圏ですよ、というのぐらいは言えるようになった。そして、圏論に関係…

前回書いた記事がたいへんなアクセス数を記録したので、次からちゃんとしたものを書かなあかんというプレッシャーからブログをさぼること約１か月。このあいだに第一子となる娘が生まれて毎日病院通って妻子ともに退院してとドタバタはしていたのだが、それ…