先日、「すでに"束縛されている変数"でパターンマッチングができる」と書いたとこにコメントをいただいたので補足。Erlangでは、変数は１度しか束縛できない。 値を一度しか代入できない。 なので当然、変数Xに対して、次のように まず1を代入、 次に2を代入…