トップ «前の日記(2002-09-12) 最新 次の日記(2002-09-15)» 月表示 編集

日々の流転


2002-09-13 [長年日記]

λ. exp(A,B)のvariance

exp(A,B)のvarianceが「(-,+)」(つまりexpは Cop×C → C のfunctor)だなんて当然じゃないか。何でこれまで理解できなかったんだ……。くやしいので、なんとなくにしてみる。

考えてみれば On Understanding Types, Data Abstraction, and Polymorphism での関数の type inclusion のルールも「s→t ≦ s'→t' iff s'≦s and t≦t'」だったし、ちゃんと符号してるんだなぁ。

Tags: 圏論

λ. Re: BASTARDのキャラクター名の綴

画集([haq:3098])と小説「悪魔の褥に横たわりて」とで綴りがあっていないことに気が付いた。

画集 小説
GARA GALLA
ARSHES・NEI ARSHESS・NEI
ABIGAIL AVIGALE
KALL=SU KAL=SU