研究社新英和大辞典 ページ 181066 での【論理変形推理における】単語。