AT(オートマ)関連