物理的制約に基づく論理構造の最適化フレームワーク | VOIDER