カテゴリー: tech - ページ 2

数学の希少資源が答えから理解へ移り始めた

2026年9月21日 by 774

数学の未解決問題には、答えへ到達するまで何年、何十年とかかるものがある。時間を要する理由は、最終的な証明を書く作業だけにあるのではなく、その証明へ至る経路を見つけるまでに大きな探索が必要になるためである。どの定理を使うか … 続きを読む

2026年9月20日 by 774

ローカル LLM の性能を確認するとき、最初に目に入るのは、モデルを端末のメモリーへ読み込めるか、そして 1 秒間に何トークンを生成できるかという数字である。前者はモデルをその計算機で実行できるかを決め、後者は文章が返っ … 続きを読む

2026年9月21日2026年9月19日 by 774

2026 年 9 月 15 日、TypeSafe AI は最初の System One Model として Jev を公開した。同社は Jev を、文章を逐次生成する従来の LLM とは異なり、ソフトウェアから直接利用で … 続きを読む

2026年9月21日2026年9月18日 by 774

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

2026年9月9日 by 774

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

2026年9月21日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年10月15日2026年8月23日 by 774

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

2026年8月21日 by 774

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