^{* 13} ユーザに対して設定情報をたずねるか、 デフォルト値を設定する