我々の TDPE： 例

元のプログラム： f @ (n + (s + 2))

静的な入力： s = 1

動的な入力： f と n

?

?f. ?n. f @ (n + (1 + 2)) を強正規化したい

?

?f. ?n. f @’ (n +’ (1 +’ 2)) を eval して reify する

Previous slide

Next slide

Back to first slide

View graphic version