Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2009-08-01から1ヶ月間の記事一覧

JSDeferredのソースを読むんでみて(おまけ)

以下の2つの書き方が超COOLでした。 コンストラクタの誤爆を防ぐ function Deferred () { return (this instanceof Deferred) ? this.init() : new Deferred() } (配列を)安全にforeachさせる for (var i in dl) if (dl.hasOwnProperty(i)) (function (d, i)…

JSDeferredの動きを追ってみた

JSDeferredを使ってみたメモです。動きがわかれば、使うときに気をつけなきゃならないツボがわかるようになります。なお、詳しい解説は本家をどうぞ。

層・圏・トポス P82の定理9

宿題の答です。 P82の定理9の証明で作った対応が、自然同型になるのか? 対応は書籍に出てる通りですので、この対応で本当にいいのか確かめます。 記号 図を書くのがめんどくさいので、色々記号をつける。 D:D→C 圏C^Dの対象 i.e. 圏DからCの関手 (書籍と同…

第八回「層・圏・トポス  現代的集合像を求めて」勉強会

第八回「層・圏・トポス 現代的集合像を求めて」勉強会に行ってきました。ようやくP78の定理8の証明が終わり、limの随伴の話に入ったとこです。定理9については、以下の記述が全く足りてないので、自分たちで補足しました。 lim関手は射をどう移すのか?*1 Δ…

当たり前だけど case文 で || は使えない

Test jQuery Form Deserialization Plugin version 0.35を使ってるんですが、以下のようなコードが。 switch(this.type || this.tagName.toLowerCase()) { case "radio": case "checkbox": // ... 略 ... break; case "select-multiple" || "select": // ...…

かんたんプログラミング CGI/Perl はとってもオススメ

ふと、本屋でかんたんプログラミング CGI/Perlって本を見かけたので、手にとって読んでみました。お、 use strict; してて珍しいなと思ったら、open もきちんと3引数だし、初学者向けのCGI本とは思えないくらいソースがモダン! しかも CGI.pm やら TT やら …

第一回層圏トポス合宿

第一回層圏トポス合宿へ行ってきました。写真はkuwataさんが撮ってくれてました。自分は二日目の途中(13:00-19:00)だけ居ました。以下、個人的なサマリです。自然変換のid:m-hiyamaさんの話が特に面白かったです。 域、余域、終域、始域、値域、定義域 p.b. …

層・圏・トポス P80 定理8 (3)→(1)の証明

みなさん合宿を頑張ってるはずですので、こちらも対抗して前回の宿題を終わらせました。*1 P80 3)から1)の証明で構成した関手Fは、射をどのように移すのか? *1:モニャドセミナーの帰りに考えていたのはこの問題のことです。

for...in の使い方

かなり有名な話っぽいですけど、JS初心者なのでメモっておきます。以下のような for...in のループを書いてはいけません。 var arr = ["One", "Two", "Three"]; var i; for(i in arr){ console.log( [i, arr[i]].join(",") ); } 例えば、 prototype.js を読…