ウッキウキの一変数未知関数とその導関数からなる等式