次のようなツイートを見かけたので、私なりの回答を。 初歩的な疑問だけど、untyped lambda calculusのbig-step semanticsってどう定義されるのだろう？計算が止まらない時にうまく定義できないように思うのだが。— yoriyuki (@yoriyuki) 2013, 11月 2 「計…