タグ

2023年11月11日のブックマーク (2件)

  • フェルマーの大定理の短証明を査読してみた - INTEGERS

    アマチュアの方などが、第一級の数学者が長年取り組んでも解決できない問題(フェルマーの大定理*1の初等証明、コラッツ予想、リーマン予想、ふたご素数予想、P=NP問題、etc.)を解いたと主張して論文やとして発表されることは、ありふれたことのように思います。 あなたがプロの数学研究者だとしましょう。 あなたはそれらの原稿を読みますか? 普通は読まないと思います。なぜなら、 「読まない段階では、その原稿が正しい可能性がある」 ということは、それはそうなのですが、 「その原稿が間違っている可能性の方が圧倒的に大きい」 ということの方が、読むかどうかを検討する側には重大だからです。 定理証明支援系などが更に発展して、近い将来には数学の正しさを効率よく客観的に判定できるようになるかもしれません。 ですが、今のところは、数学の原稿を査読するにはそれなりの時間がかかります。 時間をかけて読んでも間違って

    フェルマーの大定理の短証明を査読してみた - INTEGERS
    kura-2
    kura-2 2023/11/11
  • 本州唯一「クマなし県」千葉なぜ 全国で被害相次ぐ 地理的条件要因か 一安心?将来的にもリスク低く 県立中央博物館下稲葉研究員

    クマが街に出没して人が襲われるなどの被害が全国で相次いでいるが、実は州で唯一、千葉県はクマが生息していない「クマなし県」であることをご存じだろうか? かつては千葉、茨城の両県にクマがいないとされていたが、NGOの約10年前の調査報告で茨城の出没例が確認され、晴れて千葉のみとなった。それにしても、もっと都会のイメージがある東京都や大阪府でも出没例があるのに、千葉にいないのは意外な気もする。そこで、千葉になぜクマがいないのか、今後クマが千葉にやってくる可能性はあるのか、専門家に聞いてみた。 国内にいるクマは2種類で、北海道はヒグマ、州以南にはツキノワグマが生息している。環境省とNGO「日クマネットワーク」が公表しているツキノワグマの分布図によると、州の広い範囲で生息が確認されるが、関東では北部と西部に限られる。なお、九州ではかつて生息したが、今は絶滅したとされる。 2004年の環境省の

    本州唯一「クマなし県」千葉なぜ 全国で被害相次ぐ 地理的条件要因か 一安心?将来的にもリスク低く 県立中央博物館下稲葉研究員
    kura-2
    kura-2 2023/11/11
    ほんとにいないの?くまなく探したか?