週に一回は書きますよ 月に4つ記事を書けばノルマは満たされます。
上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
Types and Programming Languagesの15章 "Subtyping"の p. 206にて、

S→T1 ∧ S→T2 <: S→(T1∧T2)

とあります。この逆は成り立たないのでしょうか。反例が思いつきません。

T1∧T2=Botのときでしょうか。その際左辺はBotになり右辺はS→Botになる。本当かな。どうも∧についてよく理解していない予感。



追記8/24/2006:本のこの部分ではintersectionについて詳しく触れていないので、逆が成り立つ場合も成り立たない場合もある程度に適当に認識しておけばよいのでしょうかね。
スポンサーサイト
コメント
この記事へのコメント
コメントを投稿する
URL:
Comment:
Pass:
秘密: 管理者にだけ表示を許可する
 
トラックバック
この記事のトラックバックURL
http://gusmachine.blog49.fc2.com/tb.php/50-e9a394c6
この記事にトラックバックする(FC2ブログユーザー)
この記事へのトラックバック
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。