外乱を伴う離散時間システムの到達可能性解析 | Synapse