半値→ヴィルは多分素のヴィルを知ってもそのままいけそうな気はするけど、問題はヴィルからの方だよなぁ……