・Club3D、HDMI出力をUSB Type-C入力に変換するケーブル
https://pc.watch.impress.co.jp/docs/news/1362905.html

ミニやマイクロのHDMI入力端子を使うより、これを使ってUSB-C端子に接続するほうが楽かもね