16/07/31 09:04:47.96 xuMLlix3.net
>>494
is-a関係は一般に存在しない
例外なのは同値関係と包含関係が数学的に定義できて無矛盾性が担保された
（＝直接証明されたか、より一般的な体系の無矛盾性に帰着できる）ケースだけだが
そんなのはｽｹﾞｰまれ
いっぱいあると感じるのは錯覚
不用意にis-a関係を導入することでクラス分けにあいまいさが紛れ込み、
プログラムの設計とか簡単に壊滅する
16/07/31 09:04:47.96 xuMLlix3.net
>>494
is-a関係は一般に存在しない
例外なのは同値関係と包含関係が数学的に定義できて無矛盾性が担保された
（＝直接証明されたか、より一般的な体系の無矛盾性に帰着できる）ケースだけだが
そんなのはｽｹﾞｰまれ
いっぱいあると感じるのは錯覚
不用意にis-a関係を導入することでクラス分けにあいまいさが紛れ込み、
プログラムの設計とか簡単に壊滅する