資格試験ドットコム資格試験ドットコム

技術士第一次試験 専門科目情報工学部門 R01再

問題 3 / 35

出典: 令和元年度技術士第一次試験問題 (再試験) 情報工学部門

次のラムダ式をβ簡約することによって得られるβ正規形として最も適切なものはどれか。

((λxy.xy)(λx.xy)λz.z)((\lambda x y. x y) (\lambda x. x y) \lambda z. z)

①xx
②yy
③λx.x\lambda x. x
④λy.y\lambda y. y
⑤λz.z\lambda z. z

当サイトでは、ユーザー体験の向上を目的としてCookieを使用しています。サイトの利用を継続することで、Cookieの使用に同意したものとみなされます。