ちなみに家には他にデスクトップ機、サーバー機
ノートパソコン、メンテンナンス用
Raspberry Piなどがある。