メールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。「チャットAIで形式証明も自然言語混じりで書ける(はず)」において、形式証明のなかに自然言語によるヒント/キューが書けたら証明記述作業が格段に楽になる、と書きました。この方法を少し推し進めれば、書籍や論文の自然言語証明から形式証明を生成できるようになるでしょう。「チャットAIで形式証明も自然言語混じりで書ける(はず)」の事例を再掲します。よるヒント/キューを含む形式証明です。c`$この事例では、全体の構造や流れは人工的なキーワード(緑色)で示しています。全体の構造や流れも自然言語で書けます。証明開始の合図と締めの言葉は次のように書けます。