適当に15kくらいのWindows機を中古で買ってしまおうかな（どうせ持ち歩くつもりもないし、電池がヘタってても困らないだろうし