■

microHDMI（M）⇔miniHDMI（F）の変換アダプタを買った。手持ちのminiHDMI（M）⇔HDMI（M）ケーブル、それから、HDMI（F）⇔DVIコネクタの変換アダプタと組み合わせて出力した。
Nokiaのように何か専用ソフトがいるわけでなく、そのまま大画面に出力。そもそも、画面サイズが「意外に巨大」なのでOKなのだ。