■ AI関連の仕事をしております。学習記録として活用します。 定義、命題、証明などに誤りや不正確な点がございましたら、ご指摘いただけますと幸いです(2026年10月28日)。