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'」だったし、ちゃんと符号してるんだなぁ。
λ. Re: BASTARDのキャラクター名の綴
画集([haq:3098])と小説「悪魔の褥に横たわりて」とで綴りがあっていないことに気が付いた。
| 画集 | 小説 |
|---|---|
| GARA | GALLA |
| ARSHES・NEI | ARSHESS・NEI |
| ABIGAIL | AVIGALE |
| KALL=SU | KAL=SU |
[ツッコミを入れる]
