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

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

問題 4 / 35

出典: 令和7年度技術士第一次試験問題[専門科目情報工学部門] III-4

次のラムダ式をβ簡約することによって得られるβ正規形として、最も適切なものはどれか。((λxy. xy(λxy. y))(λxy. y)(λxy. x))((\lambda x y.\, x y (\lambda x y.\, y)) (\lambda x y.\, y) (\lambda x y.\, x))

①x
②y
③λxy.x
④λxy.y
⑤λxy.xy

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