自分の思想に合った形式手法のツールを見つけたい