>>535
普通は設定メニューで変える。けど大抵の機種はHDMI入力端子毎に記憶してくれる