従来の TDPE の問題点

• 適用できる言語（??,?,+）が限定

  ? 再帰型や動的型を持つ言語
  

• 与えられた型に盲従

  ? PE の処理と結果の両方が冗長
  

• SDPE との関係が不明確

  ? 従来の技術の応用が困難
  

Previous slide

Next slide

Back to first slide

View graphic version