山形氏か数学くんいますか?