インスタンス化の定義中のバグ修正とその他追加
比較のパターン不足解消
Show型クラスのインスタンス化
dec関数として一部分離