以前、講習会で九大の溝口 佳寛先生による、コンピュータによる定理証明支援系 Coqのお話を聞いたことを書きました。最近、 Coq とは別の証明支援系（theorem prover）である、Leanというのが特に話題になっ…
The Nomura Institute of Glycosciece Blog
野村一也 「科学を学ぶ人のために」 九大野村研ホームページの拡張版です
以前、講習会で九大の溝口 佳寛先生による、コンピュータによる定理証明支援系 Coqのお話を聞いたことを書きました。最近、 Coq とは別の証明支援系（theorem prover）である、Leanというのが特に話題になっ…
午後、PubMedで検索しようとしたら、エラーがでて検索できませんでした。今夜になってもまだ検索できないので、Europe PMCを使っています。https://europepmc.org/ 検索できないで困っている方は…
Mathematicaを使って高校生が学会発表しているという話を聞いたことがあります。Mathematicaを販売しているWolfram Japanの動画をみてその概要がわかりましたので動画を紹介しておきます。今日は、依…
今日のノーベル物理学賞は機械学習の基礎を築いた二人に授与されましたね。Hopfield先生は91歳とのことですが、生物物理学の受賞歴もある、生物物理学者のようです。アメリカ物理学会の会長も務めたことがある人で、2022年…
以前も何度か紹介した東京大学の立川裕二先生のサイトの紹介です。 (以前の記事の一つを末尾にペーストしておきます） 先生のサイトには学生向けに書かれた記事や、講演動画や解説記事その他いろいろな役立つ記事がありますので是非参…
このブログでたびたび紹介している国立情報学研究所のオンラインシンポジュウム 【第81回】 大学等におけるオンライン教育とデジタル変革に関するサイバーシンポジウム「教育機関DXシンポ」（10/3 オンライン開催）の動画が公…
先日は「イシューからはじめよ」という本が、研究を進めるのに役立つという話をしました。今日は研究の進め方について、国立情報学研究所の佐藤竜馬先生が機械学習若手の会2024で招待講演をされた時のスライドを公開しておられますの…
慶応義塾大学教授をされている安宅和人さんの名著「イシューからはじめよ」の改訂版が出版されました。アマゾンで予約していた本が今朝とどいて、さっそくながめてみました。この本の初版は、私たちの研究室に配属された学生さんへの一番…
Interpretable Machine Learning A Guide for Making Black Box Models Explainable という機械学習を使うときに知っていた方がよい大事な注意点に焦点…
自分が研究しているタンパク質の立体構造をAlphaFoldで推定します。推定結果がでたら次にやってみたいことは、その立体構造と似たタンパク質がないか調べることではないでしょうか。PSI-BLASTなどの相同性検索でアミノ…