(仮称)型推論部分で設計ミスに気付く。引数を持たないようなClosedFunctorialExpressionはsubstitutionによって引数を増やすことが出来ない......。コンパイラ構成論レポートは木曜まで。東方妖々夢ようやくプレイ。ミスディレクション楽しいですね。あと、アンディレクティッド・レーザーもいい感じ。代替スタイルシートOpera7で具合いが悪いようなので、代替スタイルシートを全部外してみました。subtyping)とvarianceなるほど。FAQだったのですね。FAQ,日本語訳)でしたか。ふむふむ、理論的な解決をしているわけではなく、コンパイラによるチェックまたは実行時の例外という扱いなのですね。それから、Satherはこの場合contravarianceなのか。14:00)ハートだらけ青ピンクべたー、という感じで全然見られずに居ました。04:35)やっぱダメでしたか。stylesheet"でtitle属性有りにするとうまくいくみたいだけど。16:40)こんな感じで指定していました。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。