2025-10-30

ほぼ自分の覚書です。講義の動画を撮って､後で学生に見せることがあります。以前はビデオカメラだったんですが、最近は便利なのでほぼiPhoneでとります。すると、ファイルサイズが大きい。標準機能でもある程度は小さくなるんですが、あまり実用的では...