フェルマーの大定理の短証明を査読してみた - INTEGERS
アマチュアの方などが、第一級の数学者が長年取り組んでも解決できない問題（フェルマーの大定理*1の初等証明、コラッツ予想、リーマン予想、ふたご素数予想、P=NP問題、etc.）を解いたと主張して論文や本として発表されることは、ありふれたことのように思います。 あなたがプロの数学研究者だとしましょう。 あなたはそれらの原稿を読みますか？ 普通は読まないと思います。なぜなら、 「読まない段階では、その原稿が正しい可能性がある」 ということは、それはそうなのですが、 「その原稿が間違っている可能性の方が圧倒的に大きい」 ということの方が、読むかどうかを検討する側には重大だからです。 定理証明支援系などが更に発展して、近い将来には数学の正しさを効率よく客観的に判定できるようになるかもしれません。 ですが、今のところは、数学の原稿を査読するにはそれなりの時間がかかります。 時間をかけて読んでも間違って
ソフトウェアエンジニアなら3秒で理解できる NFT 入門 - Okapies' Archive
はじめに NFT って何ですか？ ブロックチェーン上に記録された一意なトークン識別子をその保有者のアドレスと紐付ける情報、およびそれを状態変数として保持するスマートコントラクトのこと。 以上。 え、それだけ？ はい。 「デジタル資産に唯一無二性を付与するインターネット以来の革命」なんじゃないの？ これを読んでください: speakerdeck.com なるほど。ところで、この記事は何？ いま話題の NFT について、NFT の標準仕様である EIP-721 の仕様書と、それを実装しているスマートコントラクトのソースコードから読み解けることを解説する。一般向けの解説とは異なる視点から光を当てることで、ソフトウェアエンジニアに「あ、NFT って単にそういうことだったのか」と理解してもらえるようにすることを狙っている。 また、NFT がソフトウェアとして具体的にどう実装されているかを知ることは、
「涼宮ハルヒの憂鬱」のおかげで25年解けなかった数学の難問が解決されるかもしれない - GIGAZINE
by engelene 海外の掲示板「4chan」での議論が、数学者を25年以上悩ませてきた「The Minimal Superpermutation Problem(最小超置換問題)」という難問を解決するかもしれないと、世界中の数学者から大きな関心を集めています。解決の糸口となったのは、テレビアニメ「涼宮ハルヒの憂鬱」のエピソードの視聴順についてでした。 /sci/ - The Haruhi problem (lower bound) - Science ＆ Math - 4chan http://boards.4chan.org/sci/thread/10089701/the-haruhi-problem-lower-bound An anonymous 4chan post could help solve a 25-year-old math mystery - The Verge
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
