汎関数微分方程式の理論はどこまで進んでいますか?