人気ブログランキング | 話題のタグを見る

λ演算子

意味論でλ演算子とかι演算子が出てくると拒絶する学生がいる。全く受け入れないのである。ただ、どのようなテキストにもあまりうまく説明がなされていないから、教える方の問題でもある。いきなりλが出てきたらギリシャ文字に慣れていない人たちは、どう読むのかもわからない。λは単純に変数ですよと言っているだけである、一方、ιはこれは定数ですよと言っているだけなのである。λ演算子は集合を表す時に、すべてをリストする方法では大変なので内包的表現で関数で表す時に使われます。つまりλは変数を表していますという意味だけです。

(1)
a. 〚student〛=[λ x : x ∊ D e . x is a student]

(1a) は〚student〛は eタイプの領域にある学生である集合という意味です。

λ演算子_b0356108_11583610.jpg

by miyakmae | 2017-09-21 08:25 | 言語 | Comments(0)

言語学と猫のブログ    HP「英語と日本語の窓」は    http://miyak.web.fc2.com


by miyakmae