yoriyuki is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
yoriyuki @yoriyuki

某誌に載る予定の原稿の校正刷りを見ていたのだけど、最後の最後になっても間違いがいろいろあってつらい。だいたいタイポだけど、ちょっと条件をつけ間違えているところがあって、2文ほど削除する予定。

やはり数学の論文もCoqなんかで検証してから提出することを義務付けるべきかもしれないね。

· Web · 0 · 0