証明を読む力は必要なのかat MATH証明を読む力は必要なのか - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1:１３２人目の素数さん 26/05/22 10:52:39.43 zwBJZtEv.net 読みやすい証明を書くべきでは？ 2:１３２人目の素数さん 26/05/22 11:04:14.39 YSGsCvd7.net プログラムのソースコードが正しいかを頭の中で検証する必要が無いように、数学の証明も頭の中で検証する必要は無い。 証明の正しさは証明支援系が検証する。 筆者は、主要概念を定義や補題として抽出し、詳細を意識せずに読めるように書くべき。 3:１３２人目の素数さん 26/05/22 11:26:39.50 GR3D677+.net 行間がない本だらけになったら、ゼミってどうするんだろうねw 4:１３２人目の素数さん 26/05/22 11:27:10.02 o93WFaTW.net AI関係のネット記事を読んでたら survey paper を調査論文と訳していた バカばっかだこの国 5:１３２人目の素数さん 26/05/22 11:42:40.57 sQy/aUsr.net 「バカもいる」と 「自分もその一人」には同意 6:１３２人目の素数さん 26/05/22 11:52:26.86 o93WFaTW.net 俺は情報関係の連中がいかにいい加減に論文を読んでいるかを知っている 一番ひどかったのは paper を紙と訳したやつ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch