新世代プログラミング⑩_インファレンシャル・プログラミング