ジーニアス英和大辞典 ページ 49771 での【数学・コンピュータ論理】単語。