TAG 演算実行条件