挙げているものは、全て要求スペックを満たしています。
後は、それぞれの特徴を把握して、どの機種にするかですね。
個人的には、
HP OmniBook 7 Aero 13-bg1000AU スタンダードモデル
ThinkPad E14 Gen 7 ILL(バッテリーを増量したもの)
のどちらかがお勧めです。
教材としての利便性(軽量コンパクト)を重視するなら、
◆HP OmniBook 7 Aero 13-bg1000AU スタンダードモデル
これが一番軽量コンパクトです。
ただし、バッテリー容量が小さいので、モバイルバッテリーの併用が必要になる場合があります。
バッテリーの持ちを最重視するなら、
◆ThinkPad E14 Gen 7 ILL
ですね。
少々重くなり、1.3kg後半となります。
カスタマイズできますが、バッテリーを64Wh(+1100円)にしておかないと、バッテリー容量が小さい(標準48Wh)ので、バッテリーの持ちは然程では無くなります。
以下のようにカスタマイズすることをお勧めします。
ディスプレイ:標準→2.8K液晶
指紋センサー:無し→有り(必要な場合)
キーボード:バックライトの有無はお好みで
バッテリー:48→64Whr
◆Yoga Slim 7i Gen 9 (14型 Intel)
は、有機ELパネルを採用しているので、非常に色鮮やかなのですが、画素配置が独特なため、100%表示時に文字(テキストデータ)が見にくくなるという欠点も抱えています。
◆HP OmniBook 7 14-fs0016TU ベーシックモデル
これは一番重く(1.4Kg台)、そしてバッテリーの持ちも一番よろしくないでしょう。
その分、価格は一番安いですが。