8万9800円PCをメディアプレイヤーとして使い倒す（関連情報）：工人舎のミニPCを再検証