尿路結石の形成に関わる3種類のタンパク質の可視化技術を名市大などが開発