図：探索合成用インターフェース