774::Blog

アクチュアリー領域の AI モダナイゼーションで数理モデルの同一性を検証する

2026年9月18日 by 774

生成 AI や AI エージェントは、既存コードの読解、別言語への変換、設計資料の整理、試験コードの生成を高速化できる。モダナイゼーションで本当に難しいのは、変換そのものより、変換後のシステムを何を根拠に「同じ業務を実行 … 続きを読む

2026年9月17日 by 774

楕円曲線の有理点を調べたいとき、最も直接的な方法は、有理数の座標を持つ点を探すことである。しかし、有理数には分子と分母の大きさに上限がない。探索時に分子や分母へ上限を設ければ有限個の候補を調べられるが、その範囲を越えて有 … 続きを読む

2026年9月16日2026年9月16日 by 774

原子核の「魔法数」は、2、8、20、28、50、82、126 のような整数の一覧として説明されることが多い。この表だけを見ると、魔法数とは原子核にあらかじめ備わった特別な数字であり、研究の進展によって 32 や 34 の … 続きを読む

2026年9月15日2026年9月15日 by 774

AI が研究を自動化できるかという問いは、ひとまとまりの能力について尋ねているように見える。しかし研究の実務を分解すると、性質の異なる工程が連続している。文献を探し、既知の結果を整理し、仮説を作り、コードを書き、実験を行 … 続きを読む

2026年9月15日2026年9月14日 by 774

ゲノム編集という言葉からは、DNA の狙った場所を書き換える技術がまず想像される。CRISPR-Cas9 が広く知られるようになったことで、ガイド RNA の配列を変更すれば、Cas9 が認識する DNA 配列も変更でき … 続きを読む

2026年9月15日2026年9月13日 by 774

リチウムは、現代の蓄電技術を支える重要な元素である。スマートフォン、ノート型計算機、電気自動車、定置型蓄電池は、いずれもリチウムイオン電池の発展と深く結びついている。電池が移動、通信、電力調整、非常時の電源確保を支える基 … 続きを読む

2026年9月12日 by 774

ある遺伝子の発現量が、細胞の状態遷移の初期には低く、中盤で大きく上がり、終盤には再び低くなったとする。初期と終盤だけを取り出せば、両者の発現量はほとんど変わらない。二つの時点だけを比較する検定では、この遺伝子は「大きく変 … 続きを読む

2026年9月11日 by 774

人は、観測できた事実だけを使って判断しているわけではない。明日の天気を予測するときには、現在の気温や雲の状態から、その後の変化を推定する。設備の故障を調べるときには、異音や温度上昇から、内部で起きている異常を推定する。相 … 続きを読む

2026年9月10日 by 774

AI の性能は、多くの場合、与えられた入力に対してどのような出力を返したかで評価される。質問応答なら正答率、分類なら適合率や再現率、文章生成なら人間評価や別の評価指標を使える。この方法では、評価対象となる問題文や資料が最 … 続きを読む

2026年9月9日 by 774

モダナイゼーションでは、旧システムと新システムのコードが一致していること自体を正しさの基準にはできない。言語、フレームワーク、アーキテクチャ、データ構造、実行環境を変えるなら、同じ業務を実現していても実装構造は変わる。一 … 続きを読む