あまりに暑いので図書館へ避難、、
コンセントは無いけどノートパソコンのバッテリーの範囲でなら使用可、との事だったので、
ノートパソコンのバッテリーは2時間ぐらいしか持たないので1.2万円でUSB CのPD出力100Wのモバイルバッテリーを購入、ノートパソコンは65Wで、モバイルバッテリーだけで実測5時間ぐらいはパソコンが使える。
しかしこのモバイルバッテリーの充電もUSB CなのでUSB Cの充電器コンセントが必要、これも65W出力のもので2.5千円余計にかかった。。
USB Cは色々ややこしくて買い間違うと失敗するから怖いね。。😅