2009-6-7(日)(13:00-18:00) 神奈川県 (慶應大学矢上キャンパス創想館6F)テキスト： P. Selinger, "A survey of graphical languages for monoidal categories" 5. Traced categories 付近？から (http://www.mscs.dal.ca/~selinger/papers/graphical.pdf) 交…

https://www.green-japan.com/lp/jobs/engineerのトップページに載ってる画像。 「Web・モバイル・オープン系システム開発」にMLとかMirand○とかπ-calcなんちゃらとか使うの…?? いや、つ、釣られないぞ！※ 私は引用元のサイトと一切無関係です。なんかあって…

めっきりノートPCで音楽を聴くことが多くなったんですけど、そうするとLet's noteのモノラルスピーカーが激しく不満に思えてきてしまいまして。なので、今まであんまり好きではなかったオーバーイヤー型の室内用ヘッドフォンを買うことにしました。 というか…

３年ぶりのxyzzyタグとか。バッファに行番号を付加するっての、確か昔どっかでそういうコードを拾った記憶があって、実際昔書いたドキュメントに使ってたりするんだけど、今日やろうと思ったら手元にもネットにも見当たらず。 なので、このへん参考に適当に…

しりとりの圏がいろいろ盛り上がっている（？）さなか、特に先日入れたツッコミ以降、ひらがなの集合の圏としりとりの圏の対応を考えててふと「これモナドになるんじゃね？」と思い立ちました。 以下参考： しりとりの圏における全単射と同型（＝同等） - た…

これが集合論となると、全単射が存在する二つの集合は同等とみなすことができ、しりとりを一点集合同士の写像とすればあらゆる写像は単射かつ全射=全単射であり、集合論的にはしりとりの各文字は同等となるのだという。これは集合論と圏論では物の見方が違う…

2009-5-10(日)(13:00-18:00) 東京都 (ミラクル・リナックス セミナールーム)テキスト： P. Selinger, "A survey of graphical languages for monoidal categories" 3.4 Balanced monoidal categories から (http://www.mscs.dal.ca/~selinger/papers/graphic…

こないだから気になってたのだけど、Googleカレンダーの入力方式がなんかおかしい気がします。例えば（Googleカレンダーの入力例にもあるとおり）「19:00に水族館で待ち合わせ」と入れると、以前は予定の開始時間が19時に設定されて、予定の名前が「水族館で…