カテゴリー: math

アクチュアリー領域の 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月9日 by 774

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

2026年9月7日 by 774

AI が正しい文章やコードを生成できることと、その成果物が正しいと確定できることは別の問題である。生成結果がもっともらしく見えること、過去より正答率が高いこと、別の AI が正しいと評価したことは、いずれも成果物そのもの … 続きを読む

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

AI の出力を評価するとき、「評価が上がった」と「性能が上がった」は同じ意味に見えやすい。強化学習では、望ましい出力へ高い報酬を与え、その報酬が大きくなる方向へモデルを更新する。評価が正しさを十分に表しているなら、この方 … 続きを読む

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

AI が生成したものを人間が評価し、問題がなければ使う。生成 AI の利用を考えるとき、この役割分担は分かりやすい。文章やコードでは、少なくとも多くの場合、外部へ作用させる前に内容を確認できるためである。ところが、AI … 続きを読む

2026年8月30日 by 774

情報という言葉は、しばしば「何が記録されているか」という内容と結び付けて考えられる。文章なら文字列、計算機ならビット列、DNA なら A、T、G、C の塩基配列である。この見方では、情報を保存するとは内容を失わずに保持す … 続きを読む

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

細胞内のある場所に脂質の蛍光が見えないとき、その場所に脂質が存在しないとは限らない。対象となる脂質が少ない場合もあれば、狭い領域にだけ集まっている場合もある。脂質を検出するプローブの結合が弱く、存在している脂質を十分に捉 … 続きを読む

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

暗黒物質は光を放たず、通常の物質ともほとんど反応しない。その正体を実験室で探るには、暗黒物質が電子や原子核へ及ぼす極めて弱い作用を、装置が読み出せる変化へ変換する必要がある。2026 年 6 月に『Physical Re … 続きを読む