\defにおけるオプション引数について