カテゴリー: ソフト

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

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

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

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

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

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

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

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

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

このブログでたびたび紹介している国立情報学研究所のオンラインシンポジュウム【第81回】大学等におけるオンライン教育とデジタル変革に関するサイバーシンポジウム「教育機関DXシンポ」（10/3 オンライン開催）の動画が公…

化合物情報をコンピュータで扱うケモインフォマティクスの分野でよく用いられるライブラリにRDKitというのがあります。このRDKitはPythonで使うライブラリで、その導入方法、使い方についてのよい記事があったので紹介し…

昨日紹介したAlphaFold DatabaseでのFoldseekの使い方をスクショを交えて説明してみます。こちらをクリックしてみてください。https://alphafold.ebi.ac.uk/entry/P06…

自分が研究しているタンパク質の立体構造をAlphaFoldで推定します。推定結果がでたら次にやってみたいことは、その立体構造と似たタンパク質がないか調べることではないでしょうか。PSI-BLASTなどの相同性検索でアミノ…

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

Open AIのChatGPT有料版で使える新しいモデルOpenAI o1とOpenAI o1-miniが発表されました。o1のほうは京大や東大の入試問題の数学を合格レベルの正答率で解くことができるようになっているそうで…

投稿日: 2024年9月11日投稿者: root

YouTubeのおすすめに以下の動画がでてきました。TogoTVの最新の動画です。『Metascapeを使って遺伝子リストの生物学的解釈をする』 https://youtu.be/WqkIM_i55CM?si=iByX…