2022-12-25から1日間の記事一覧
英語で書かれた数学の証明を、自動翻訳で日本語にして読む。あるいは日本語で書いた証明を、チャットウィンドウに貼り付けて英語にする。厳密性が要求される文章でそんなことをするなんて、五年前なら絶対にやってはいけなかったことだ。けれどもいまでは、…
英語で書かれた数学の証明を、自動翻訳で日本語にして読む。あるいは日本語で書いた証明を、チャットウィンドウに貼り付けて英語にする。厳密性が要求される文章でそんなことをするなんて、五年前なら絶対にやってはいけなかったことだ。けれどもいまでは、…