形式手法について調べてみる