実装関連-smt