我々の TDPE: 全体像
p: プログラム, s: 入力の一部, d: 残りの入力
p と s の式
eval?? eval?
?d. p(s, d) の値
reify? reify
ps の式
Previous slide
Next slide
Back to first slide
View graphic version