* テストパターン追加
* atomの変換にterm_to_binaryを使っていた問題を修正