局所変数なるものがありますが、局所関数というものはないのですか？
lambdaでなくて、letの中で定義してletの中でしか名前が有効でないものです。
ないすかね？？