Amazon Web Services ブログ

Category: Public Sector

第 45 回 医療情報学連合大会 (JCMI 45th) 出展レポート

2025 年 11 月 12 日（水）～ 11 月 15 日（土）の 4 日間、兵庫県姫路市のアクリエひめじにて第 45 回医療情報学連合大会が開催されました。大会テーマは「医療 DX がもたらす医療情報新時代」。参加登録者数は 3,800 名を超え、現地では 2,900 名が参加されました。AWS は本大会において、スポンサードセッション「生成AIとヘルステックの融合が拓く、次世代の医療サービス」と展示ブースでの情報提供を通じて、医療関係者・研究者の皆様と医療 DX と生成 AI 活用の最新動向を共有する機会をいただきました。本ブログでは、セッションの登壇内容と展示ブースでの取り組みについてご報告します。

【寄稿】障害原因分析AIエージェントの開発とガバメントクラウド運用業務への導入

株式会社アイネスでは、自治体システムのガバメントクラウド移行義務化によって、100 を超える AWS アカウントの管理が必要になったことを背景に、Amazon Bedrock AgentsでAIエージェントを実装し、障害調査の効率化を図っています。

Kiro : コードは仕様と一致していますか？ 〜プロパティベーステストで「正しさ」を測定する〜

Kiro は 7 月にローンチした際に仕様駆動開発（Spec Driven Development、以下、SDD）を導入したエージェント型 IDE です。SDD では、Kiro のエージェントがコードを書く前にソフトウェアの完全な仕様を作成します。これにより、開発前にエージェントと繰り返しやり取りしながら、アプリケーションの要件を完全に捉えられているか確認できます。Kiro はその要件ドキュメントを実行して Spec （仕様）に変換し、生成されたコードが仕様に準拠しているかをチェックします。Kiro はこの実行可能な仕様を使ってプログラムをテストしますが、その際にプロパティベーステストと呼ばれる手法を使用します。私たちはこの手法は、バグ発見により効果的であると考えています。

← Older posts