文献管理ソフトZoteroとGoogleのNotebookLMが連携できたら便利です。Zoteroにあるpdfを一発で、NotebookLMにアップロードできたら自分専用の文献データで信頼できるハルシネーションなしのCh…
The Nomura Institute of Glycosciece Blog
野村一也 「科学を学ぶ人のために」 九大野村研ホームページの拡張版です
文献管理ソフトZoteroとGoogleのNotebookLMが連携できたら便利です。Zoteroにあるpdfを一発で、NotebookLMにアップロードできたら自分専用の文献データで信頼できるハルシネーションなしのCh…
話題の証明支援システム LEANについての本やサイトの紹介です。 望月先生のABC予想の証明の正しさをチェックするプロジェクトが使っているLEANについての本が評判になっています。The Proof in the Cod…
バイオインフォマティクスや統計解析に必須のプログラミング言語Rのよさそうなパッケージと本を紹介します。 26.07.30 公開 Rで解析：WebページやHTMLファイルの表をまとめてExcel化「html2excel」パ…
物理学に使える新しい画期的なAIが登場したそうです。Lanyon AIというものです。宣伝の文章が以下にのっています。このLanyon AIというのはMathematicaで有名なWolframの共同研究者でWolfra…
柳瀬先生の文系向けのVSCodeでAIエージェントを使う方法の解説です。 大変わかりやすい記事ですので理系の方にも入門記事としておすすめします。理系向けに付け加えるべき点のいくつかをGeminiにきいて追加してありますの…
昨日の記事でふれた、二階堂愛先生のバイオインフォマティクスの実践的教科書 『AIエージェントを使いこなす はじめてのバイオインフォマティクス開発作法』のv0.5.0が公開されました。これにともなって、pdfやEPUBの作…
柳瀬陽介先生の記事を紹介します。 『判断力批判』要約作成におけるエージェント型AI (Codex in VS Code) との協働記録 Yosuke YANASE （柳瀬陽介） https://nitter.net/i/…
前に創薬でプログラミング言語Rをどう活用するかについての動画を紹介したことがあります。R in PharmaというYouTubeチャンネルの動画です。 その最新動画シリーズR/Pharma GenAI Day 2026で…
ABC予想の証明を証明支援システムのLEANで検証しているLANAプロジェクトについて、先日紹介しました（末尾参照）。このプロジェクトのメンバーの加藤先生がでておられる動画が、とてもわかりやすくて おすすめです。さっきま…
7月18日のこのブログで、Bobさんの記事を紹介しました。 【Linux限定】ropenblasでRを楽々高速化 https://qiita.com/bob3bob3/items/5562c3eb84a9f89824d4…