カテゴリー: 情報検索

コンピュータが数学の定理を自動的に証明する!!？

投稿日: 2024年10月19日投稿者: root

以前、講習会で九大の溝口佳寛先生による、コンピュータによる定理証明支援系　Coqのお話を聞いたことを書きました。最近、　Coq とは別の証明支援系（theorem prover）である、Leanというのが特に話題になっ…

投稿日: 2024年10月17日投稿者: root

午後、PubMedで検索しようとしたら、エラーがでて検索できませんでした。今夜になってもまだ検索できないので、Europe PMCを使っています。https://europepmc.org/ 検索できないで困っている方は…

投稿日: 2024年10月15日投稿者: root

Open Shelfというサイトには様々なオンラインで無料で読める本が公開されています。 https://open-shelf.appspot.com/ 例えば：小泉八雲の『怪談』 https://open-shelf…

今日は午後、息子から連絡があり、すばる望遠鏡のライブ中継をやっていてもうすぐ紫金山・アトラス彗星が現れるところがYouTubeでみられると教えてもらいました。さっそくFireTVでYouTubeを奥さんと二人でみました。…

投稿日: 2024年10月13日投稿者: root

Mathematicaを使って高校生が学会発表しているという話を聞いたことがあります。Mathematicaを販売しているWolfram Japanの動画をみてその概要がわかりましたので動画を紹介しておきます。今日は、依…

投稿日: 2024年10月10日投稿者: root

よくみかけるCC BY　4.0などの表記の意味をWikipediaなどで調べても素人には何が書いてあるのかわからないと思います。やさしい解説が日本物理学会誌のバックナンバー（無料で読めます）にあるので読んでみてください。…

私のノーベル賞受賞者の予測は半分外れました。AlphaFoldの二人はあたりましたが、もう一人は相分離生物学の人ではなくてRosettaの開発者でそれを使って任意の立体構造をとる蛋白質を新規に設計する研究をしている人でし…

投稿日: 2024年10月8日投稿者: root

今日のノーベル物理学賞は機械学習の基礎を築いた二人に授与されましたね。Hopfield先生は91歳とのことですが、生物物理学の受賞歴もある、生物物理学者のようです。アメリカ物理学会の会長も務めたことがある人で、2022年…

MITのオープンコースウエアでMathematics for　Computer Science という教科書が読めるのを今年初め(1月17日）に紹介しました(末尾にリンクを埋め込んでおきます）。その記事内の教科書へのリン…

以前も何度か紹介した東京大学の立川裕二先生のサイトの紹介です。 (以前の記事の一つを末尾にペーストしておきます）先生のサイトには学生向けに書かれた記事や、講演動画や解説記事その他いろいろな役立つ記事がありますので是非参…