ift("if-then")文とifte("if-then-else")文を使うことによって後置条件式を実現できる。