ちょっと忘れたが： http://d.hatena.ne.jp/m-hiyama-memo/20071231/1199053530

本編に書くつもりだ。

http://math.ucr.edu/home/baez/week136.html より： Now, strict ω-categories are great, but we need to weaken this notion. So, first Penon defines an "ω-magma" to be something exactly like a strict ω-category but without the axioms of type B…

イオンのプライベートブランド「トップバリュ」に『ヒートファクト』つうのがあるらしい。汗かいても冷えにくい。 男用のワコール『クロスウォーカー』 -- 歩行時の歩幅を拡げ運動になると。 赤めだか 本 買うか ← 買った。 キーワード 整理[できない]／片づ…

とりあえず、紙にメモすると散らばるから。 絵の描き方 上から下 f x と、左から右 抽象は右抽象 f^ タプリングは白丸 λも白丸（バブル） Applyは黒丸 タプルの抽象は、白丸と白丸を結ぶ ベキ（指数型）は二本線、逆向きの対 タプルのアリティ（項数）は、白…

http://www.megasoft.co.jp/mifes8/