我々の TDPE： 全体像

p: プログラム, s: 入力の一部, d: 残りの入力

p と s の式

preprocess? preprocess

?d. p(s, d) の式?

eval? eval

?d. p(s, d) の値?

reify? reify

ps の式

・@ や + などを・@? や +? などで・おきかえる

・静的に型つけ・された言語では・tag をつける

Previous slide

Next slide

Back to first slide

View graphic version