Micro HDMI

小型ノートパソコン（GPD Pocket）の画面を、大きなディスプレイに表示させたいと思いました。 ただし、通常のノートパソコンと比べても、半分ぐらいの長さですので、映像出力端子が違います。 これまでのパソコンだと、VGA端子やHDMI端子...