<< Declarative Intraprocedural Flow Analysis of Java Source Code | ホーム | 休み >>

No Image

読了。アブダクションは演繹、帰納のどちらでもない第 3 の推論。「B である、A ならば B である、よって A は真らしい」という形。

タグ :



コメント追加 トラックバック送信