トイレから戻る。中断していた作業を再開、気が済むまで進める。

FOUR CURSES(アルファ版) パンデモニウムをどこまでも突き進む。 ヘリオン二頭が嫌過ぎる。毎回こいつらとの戦闘直前にセーブする。

2:30 あまり進まないがゲームも中断する。麻雀の練習。

3:20 消灯。就寝。

7:05 起床。納豆とレーズンロール六個を食らう。歯を磨く。出勤。

7:45 現場。資源ゴミを搬出する。ゴミを片付ける。館内を家庭用掃除機で掃き出す。 草むしりで時間調整。だいぶ気温が上がってワイシャツの上にポロシャツを着用するのが無理になる。

10:10 撤収。

10:20 ビッグエー墨田京島店。470 円。

  • チョコチップメロンパン
  • カレーヌードル
  • ポテチ塩
  • サラダミックス (2)
  • レーズンロール (6)

イトーヨーカドー曳舟店。体温チェック。

曳舟の部屋。洗濯。PC を開く。気分転換に FFmpeg 調査。 Twitter にアップロードするとファイルサイズが小さくなるのは本当か。それを検証する。 18 日にアップロードしたビデオが明らかにサイズが異なるので、オリジナル版共々検体とする。 アップロード版を Twitter からダウンロードする。youtube-dl が壊れているので

11:20 洗濯物を干す。圧縮調査に戻る。まず、次のようにして差分を得ることを考える:

diff <(ffprobe -show_streams -show_format original.mp4) <(ffprobe -show_streams -show_format uploaded.mp4)

出力はこう:

15,16c15,16
< sample_aspect_ratio=1:1
< display_aspect_ratio=16:9
---
> sample_aspect_ratio=N/A
> display_aspect_ratio=N/A
19,22c19,22
< color_range=unknown
< color_space=unknown
< color_transfer=unknown
< color_primaries=unknown
---
> color_range=tv
> color_space=bt709
> color_transfer=bt709
> color_primaries=bt709
36c36
< bit_rate=732239
---
> bit_rate=410815
53a54
> TAG:creation_time=2023-03-17T17:34:17.000000Z
55c56
< TAG:handler_name=VideoHandler
---
> TAG:handler_name=Vireo Eyes v2.9.1
56a58
> TAG:encoder=AVC Coding
77,79c79,81
< duration_ts=996660
< duration=22.600000
< bit_rate=128713
---
> duration_ts=1001472
> duration=22.709116
> bit_rate=128403
82c84
< nb_frames=975
---
> nb_frames=978
96a99
> TAG:creation_time=2023-03-17T17:34:17.000000Z
98c101
< TAG:handler_name=SoundHandler
---
> TAG:handler_name=Vireo Ears v2.9.1
102c105
< filename=dtp23a-20230318.mp4
---
> filename=1636783030806392834.mp4
108,110c111,113
< duration=22.700000
< size=2466672
< bit_rate=869311
---
> duration=22.709116
> size=1549374
> bit_rate=545815
112,117c115,118
< TAG:major_brand=isom
< TAG:minor_version=512
< TAG:compatible_brands=isomiso2avc1mp41
< TAG:title=FOUR CURSES(アルファ版)      F4:画面変更 / F8:情報変更
< TAG:artist=Microsoft Game DVR
< TAG:encoder=Lavf58.76.100
---
> TAG:major_brand=mp42
> TAG:minor_version=0
> TAG:compatible_brands=mp42mp41iso4
> TAG:creation_time=2023-03-17T17:34:17.000000Z

どうも映像データが再エンコードされているように見える。

12:00 おやつ。

12:45 歯を磨く。掃除機をかけていて思い出せなかったことを調べる。 real analysis - Proof of convergence for reciprocal of convergent sequence - Mathematics Stack Exchange: 数式をいったん目にするとそうかそうかという気になる。しかしこれが怖い。

収束列同士の極限に関する基本定理各種の証明を己の頭に叩き込む

14:50 Gist に保存する課程で GitHub からログイン手続き厳格化に関するメールに気づく。 ああ面倒だ。

15:15 二段階認証の設定を完了する。これでログインが楽になるのか逆に辛くなるのか。

16:00 就寝。

20:15 起床。メール着信をチェック。また不採用。外出。

20:45 コモディイイダ東向島店。466 円。

  • スナックサンド完熟トマト
  • タルタルフィッシュバーガー
  • サラダチキンハーブ

曳舟の部屋。風呂。

PC に戻る。晩飯。

【スーファミ】北斗の拳5 出だしから目が離せない!【前編】 - YouTube: 別チャンネルで概要は知っているが、ひどいオープニングだ。 このチャンネルなら北拳5を紹介しこなせるだろう。 前編後編構成で次回予告は初めてのような気がする。

22:10 歯を磨く。OS が重い。

【調子次第②】ARENA or ノーツレーダー詰め or Hydrogen†一桁狙い【音ゲー / beatmania IIDX / RESIDENT / DOLCE.】 - YouTube: ARENA をやり込んでいるところから視聴。

22:40 まだ重い。仕方がないから予定を変更して昼間の続きをする。 気になる差分を拾っていく。

19,22c19,22
< color_range=unknown
< color_space=unknown
< color_transfer=unknown
< color_primaries=unknown
---
> color_range=tv
> color_space=bt709
> color_transfer=bt709
> color_primaries=bt709

素人なのでこの差がファイルサイズに影響するか判断できない。後回しにする。

36c36
< bit_rate=732239
---
> bit_rate=410815

映像ビットレイト -b:v だと思うが、もしそうならばファイルサイズと相関があるので要調査。

23:15 排便。

55c56
< TAG:handler_name=VideoHandler
---
> TAG:handler_name=Vireo Eyes v2.9.1

twitter/vireo: Vireo is a lightweight and versatile video processing library written in C++11: Twitter はこのライブラリーを使ってアップロードされた MP4 を再エンコードするものと思われる。

77,79c79,81
< duration_ts=996660
< duration=22.600000
< bit_rate=128713
---
> duration_ts=1001472
> duration=22.709116
> bit_rate=128403
82c84
< nb_frames=975
---
> nb_frames=978

これらは誤差の範囲内と信じていたい。

98c101
< TAG:handler_name=SoundHandler
---
> TAG:handler_name=Vireo Ears v2.9.1

上述のとおり。

108,110c111,113
< duration=22.700000
< size=2466672
< bit_rate=869311
---
> duration=22.709116
> size=1549374
> bit_rate=545815

音声ビットレイト -b:a に対応する値だと思うが、全然違う。

112,117c115,118
< TAG:major_brand=isom
< TAG:minor_version=512
< TAG:compatible_brands=isomiso2avc1mp41
< TAG:title=FOUR CURSES(アルファ版)      F4:画面変更 / F8:情報変更
< TAG:artist=Microsoft Game DVR
< TAG:encoder=Lavf58.76.100
---
> TAG:major_brand=mp42
> TAG:minor_version=0
> TAG:compatible_brands=mp42mp41iso4
> TAG:creation_time=2023-03-17T17:34:17.000000Z

メタデータだからどうでもいいはずだ。差分の検証はこんなところか。 結局何をどうすればファイルサイズが Twitter と同じになるかわからぬまま終わる。