テスト追加とasdファイル書き加え
formalizeの実装