カテゴリー: tech

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

2026年9月18日 by 774

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

2026年9月9日 by 774

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

2026年9月7日 by 774

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

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

RAG を設計するとき、最初に決めたくなるのは、文書をどの大きさで区切るかである。200 token なのか、500 token なのか、あるいは段落や節を単位にするのか。文書を短く切れば、一つの断片に含まれる話題が限定 … 続きを読む

2026年9月1日 by 774

テストがすべて通ったコードは、正しいコードだと言えるだろうか。人間がソフトウェアを開発してきた時代から、答えは「必ずしもそうではない」だった。ソフトウェアに求められる仕様は、入力と出力の対応だけではない。境界値で正しく … 続きを読む

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

生成 AI や AI コーディングエージェントを使って自由ソフトウェアを作る場面が増えている。そこで最初に浮かぶ問いは単純である。非自由な AI サービスを使ってコードを書き、その成果物を GPL などの自由なライセンス … 続きを読む

2026年8月21日 by 774

AI が正しい文章やコードを生成できることと、現実の仕事を最後まで完了できることは別の能力である。コード生成を例にすると、要求に合いそうな修正案を出した時点では、まだ既存コードとの整合性も、実行可能性も、変更後の挙動も確 … 続きを読む

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

ある計算機が別の計算機より速いと言うとき、その「速い」の意味は、測定対象と比較条件によって決まる。入力を受け取ってから答えを返すまでのどこを測定対象にするのか、同じ問題を解いているのか、得られた答えの品質は同じなのか、比 … 続きを読む

2026年9月1日2026年8月17日 by 774

Web ページを開いたまま、その内容を本質を保って要約する Chrome 拡張機能 web-digest を作った[1]。長い記事、技術文書、ブログ、ニュース、GitHub の README や Issue などを読んで … 続きを読む

2026年8月15日 by 774

AI コーディングエージェントへ一件の不具合修正を任せる場合、管理する状態は比較的少ない。対象を調査し、原因を特定し、コードを変更し、テスト結果と差分を確認する。途中で追加の問題が見つからなければ、依頼から確認までを一つ … 続きを読む