ある日の ISO 8601 の週番号を知りたいことがあります 先週とか今週を HTML の time 要素でマークアップする時です 2020-08-12 の日記で今週をマークアップする時は、2020年の33週目なので <time datetime="2020-W33">今週</time> になります HTML の 2.4.5.8 Weeks と ISO 8601 の週番号は異…