ファイアフライアルゴリズム、確率的テスト関数および設計最適化 | Synapse