複数辞典一括検索+

n. 【論理・電算】 ラムダ計算式 《関数の表し方, 組み合わせ法の形式化》.🔗🔉

n. 【論理・電算】 ラムダ計算式 《関数の表し方, 組み合わせ法の形式化》. lamb・da・cism /lmdsz/

研究社新英和大辞典 ページ 200852 での論理・電算単語。