物質の最小単位、素粒子。そのふるまいを説明する「標準理論」は、20世紀物理学の到達点とされている。だが、この理論で説明のつかない実験データが8月、米国の研究所からもたらされた。物理学の常識を覆す世紀の大発見となるのだろうか。 完成したはずの「標準理論」 いきなり難しい単語が並んだので、簡単に説明しよう。まず「素粒子」。身の回りのモノは「原子」という小さな粒でできている。その原子は「陽子」「中性子」「電子」というもっと小さな粒に分けられる。だがこれが最小ではない。陽子と中性子は三つのさらに小さな粒で構成される。それが素粒子だ。 この三つも含め、素粒子には17種類ある（電子もその一つ）。2012年に17番目の素粒子「ヒッグス粒子」が見つかり、最後のピースが埋まった。 ヒッグス粒子の発見で完成をみたのが「標準理論」だ。素粒子のミクロな動きや相互作用をほぼ矛盾なく説明できる強力な理論で、それで説明

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

定理証明支援系とは、数学の定理証明を支援するソフトウェアのこと。数学者のツールとして、そしてソフトウェア開発のツールとして、近年注目を集めています。 直近では、「Proof Summit 2019」というイベントも開催されます。募集を開始して早々に席が埋まってしまったとのことで、関心の高さがわかります。https://proof-summit.connpass.com/event/141191/ 2018年4月に発行された、『Coq/SSReflect/MathCompによる定理証明』（萩原学、アフェルト・レナルド著）は、定理証明支援系の代表格であるCoqとその拡張言語SSReflect/MathCompの初となる解説書です。以下に、同書の第1章から抜粋します。「定理証明支援系って何？」「何ができるの？」ということに興味がある方は、ぜひご一読ください。 ＊＊＊ Coq/SSReflect/

問題に感じた箇所や改善すべきと思った点など、コメントいただけますと幸いです。レビューに貢献していただいた方には、感謝の印として、本書に名前を記載させていただく予定です（もちろん、同意のある方のみです）。下記のように、レビューアの方の名前をクレジットとして掲載する予定です。 左は『ゼロから作るDeep Learning ❷』、右は中国語に翻訳された『Deep Learning 2』なお、本のタイトルに「❺」とありますが、前作までの知識がなくても読める内容になっています。前提条件としては、Pythonと数学の基本的な知識が必要になります。数式も多く登場します。ちなみに、本書の概要は次のとおりです。 人気シリーズの第5弾。今回のテーマは「生成モデル」です。本書では「正規分布」から「拡散モデル」に至るまでの技術を繋がりのあるストーリーとして展開します。読者は小さな学びを積み重ねながら、ステップバイ

命の設計が進んでいます。 米国のニューヨーク大学の医療部門ランゴン・ヘルス（NYU Langone Health）で行われた研究によって、全ゲノムの50%以上が人工合成DNAである酵母が作成されました。 人工合成されたDNAは、コンピューター上で設計され、数千カ所の変更を加えた上で、実験室で1塩基ずつ人工的に組み立てられています。 研究者たちは残りの50%についても1年以内に人工合成DNAに置き換えることを目指していると述べています。 もし実現すれば、完全に無から組み立てられたDNAを持つ、最初の真核生物（合成酵母）となるでしょう。 研究内容の詳細は2023年11月8日に『Cell』をはじめ複数の論文にて同時公開されてました。 Debugging and consolidating multiple synthetic chromosomes reveals combinatorial g

前回のブログ記事は、論文紹介という地味なテーマだったにしてはだいぶ話題を呼んだ*1ようで、個人的にはちょっと意外な感があったのでした。確かに、今をときめくTransformerにも苦手なものがあるという指摘は、NN一強の現代にあってはセンセーショナルなものと受け止められても不思議はなかったかと思います。 しかし、それは同時に「データセットが持つ本質的な性質」と「データ分析手法の性質」とのミスマッチと、それが引き起こす問題とについてこれまであまり関心を持ってこなかった人が多いということなのかもしれません。そして、そのミスマッチは冗談でなく古来からある程度定まった類型があり、データ分析業界の古参なら「そんなの常識だよ」というものばかりだったりします。 ところが、最近僕の周囲でもそういうミスマッチが深刻な実問題を招いているケースが散見され、思ったよりもそれは常識ではないのかな？と思わされることが

チラ裏編集長🐧 @chiraura_yrc オートバックスのDMにある「新しいオートバックス会員制度リニューアル」QRコードにアクセスしたらカード情報等入力画面になったので入力したら海外サイトに登録したことになってて調べてる間に決済されてしまいました。 pic.twitter.com/iJJPiLJpss 2023-11-10 20:19:15

子どもの勉強のサポート、資格取得や仕事のスキルアップのための勉強…。毎日忙しくて、勉強に費やす時間がたっぷり取れないからこそ、効率を上げてインプットの質を高めたい。自分に合った勉強法は、必ずある。勉強のコツが詰まった、おすすめの本を5冊選びました。 1． 『私は合格する勉強だけする』 著者／イ・ユンギュ 実は、あなたは勉強の方法を知らなくて損をしているかもしれません。 たった9カ月で司法試験に合格し、韓国YouTubeで受験生の聖地と呼ばれる登録者数約35万人のYouTubeチャンネル「DreamSchool　イ・ユンギュ」を運営する著者。 やみくもに勉強しても点数は伸びません。必要なのは、自分が受ける試験に合った勉強法を見つけること。でも、その勉強法を見つけるのが難しいのです。 この本では、「合格者の手記を読む」ことから始まり、「教科書を丸暗記するにはマーカーをどう引けばいいのか」「試験