開発ツール Rustの型安全性を一歩先へ進めるVerus――コードの正しさを証明する実践
Rustは安全だが、「正しい」とは限らないRustの型システムと所有権・借用規則は、メモリ安全性に関わる多くのバグをコンパイル時に排除します。データ競合や解放済みメモリへのアクセスを防ぎやすいことは、Rustを基盤ソフトウェアやセキュリティ...
開発ツール クラウド AWS Continuumが認証情報の事前検証に対応――侵入テストのスコープ漏れとやり直しを減らす
侵入テストで起きやすい「始めてから分かる」問題ペネトレーションテストでは、テストそのものの技術だけでなく、認証情報と対象範囲（スコープ）の設定精度が結果を大きく左右します。ところが従来は、テストを実行してから次のような問題が判明することがあ...
クラウド AIコーディングの評価軸を変える「委譲レベル」――JetBrainsのAIDEs Frameworkを実務で読み解く
AI開発ツールは「どれだけ賢いか」だけでは測れないAIコーディングツールを比較するとき、多くの開発者はモデルの性能、コード生成の精度、ベンチマーク結果、対応するIDEなどに注目します。しかし、実際の開発現場で重要なのは、AIが高性能かどうか...
クラウド Amazon SNSの1MiB対応で変わるメッセージ設計――S3退避・分割配信からの判断基準
Amazon SNSのメッセージ上限が256KiBから1MiBへAmazon SNSの最大メッセージサイズが、従来の256KiBから1MiBへ4倍に拡大されました。SNS StandardトピックとSNS FIFOトピックで、新しいMaxi...
クラウド ECS Express ModeでAWS Gravitonを使う：ARM64コンテナ移行の実践ポイント
ECS Express ModeがARM64に対応Amazon ECS Express Modeで、サービスのCPUアーキテクチャとしてARM64を指定できるようになりました。これにより、ARMベースのコンテナイメージをAWS Gravit...
開発ツール Kiroの100万トークン対応で何が変わる？ 大規模コードベースをAIに読ませる実践と限界
KiroのGPT-5.6が100万トークンに対応KiroのIDE、CLI、Webで利用できるGPT-5.6のSol、Terra、Lunaが、100万トークンのコンテキストウィンドウに対応しました。これにより、従来は複数回に分けたり、要約を挟...
クラウド 16件のCVEを修正したSpring Framework 7.0.8、Spring Boot利用者が確認すべき影響範囲と更新手順
Spring Framework 7.0.8が公開されました。今回のリリースは、通常の機能改善やバグ修正に加えて、16件のCVEを修正したセキュリティ重視のメンテナンスリリースです。WebSocket、Spring MVC、Spring W...
開発ツール LLMの本番品質はベンチマークでは測れない――モデル評価をプロダクト品質保証へ変える実践ガイド
ベンチマークの高スコアが本番品質を保証しない理由LLMを使った機能を開発するとき、まずモデルのベンチマークスコアや、少数のサンプルに対する正解率を比較するケースは少なくありません。プロトタイプの段階では、モデルの候補を絞り込んだり、アイデア...
AI AIエージェントを作って終わりにしないために――SMARTの実践事例から学ぶ現場起点の導入術
AIエージェント導入の成否は、モデルよりも「業務設計」で決まるファッション・アパレル業界6社、20名が参加した第一回ナレッジ共有会では、店舗業務支援AIエージェント「SMART」を起点に、現場での開発・導入事例が共有された。紹介されたのは、...
クラウド Dependabotの大量PRをどうさばく？GitHub Copilotで始める依存関係更新の一次トリアージ
DependabotのPRは「放置」も「全件手動確認」も難しいDependabotは、プロジェクトの依存ライブラリを最新状態に保ち、脆弱性対応を継続しやすくする仕組みです。一方で、開発規模が大きくなるほど、Dependabotが作成するプル...