vocabulary Panda {
パンダ
レッサーパンダ
ジャイアントパンダ
}
context Now for Panda {
パンダ := ジャイアントパンダ
レッサーパンダ := レッサーパンダ
_ := パンダ
}
context Old for Panda {
パンダ := レッサーパンダ
_ := ジャイアントパンダ
_ := パンダ
}
context Strict for Panda {
パンダ一般 := パンダ
レッサーパンダ := レッサーパンダ
ジャイアントパンダ := ジャイアントパンダ
}
- パンダ＠Old = レッサーパンダ＠Panda
- ジャイアントパンダ＠Old はエラー
- パンダ＠Now = ジャイアントパンダ＠Panda
- パンダ一般＠Strict = パンダ＠Panda
vocabulary 多様体 {
境界を許す広義多様体
境界を許さない狭義多様体
}
context OldStrict for 多様体 {
多様体 := 境界を許さない狭義多様体
_ := 境界を許す広義多様体
}
context Extended for 多様体 {
多様体 := 境界を許す広義多様体
境界無し多様体 := 境界を許さない狭義多様体
境界有り多様体 := 境界を許す広義多様体 ∧ ￢境界を許さない狭義多様体
}
context Anbig for 多様体 {
多様体 := 境界を許さない狭義多様体
多様体 := 境界を許す広義多様体
}
- 多様体＠OldStrict = 境界を許さない狭義多様体＠多様体
- 多様体＠Extended = 境界を許す広義多様体
- 境界無し多様体＠OldStrict はエラー
- 多様体＠Anbig は不明（決定不可能）
