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