陰関数
いんかんすう implicit function