このブログの更新は Twitterアカウント @m_hiyama で通知されます。 Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
しばしば「クロージャ」って言葉を見かけますが、皆さん、どんな意味で使っているんだろう?単に無名関数(ラムダ式)をクロージャと呼んでいるのかな? それとも、無名関数とそこに出現する(ローカルでない)変数の束縛(環境と呼ぶんだったかな)を一緒に…
長男が、算数で線分図とかテープ図とかを習ったらしい。「なんでこんなのかくんだ? めんどくさい」とか言っている。いやっ、図は描くべきだぞ!例えば昨日出した長い論理式: (dom(p) = x ∧ cod(p) = a)∧(dom(q) = x ∧ cod(q) = b) ∧ ∀y:Obj.∀f:Mor.∀g:Mor.…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。