Amazon Web Services ブログ
Category: Public Sector
Kiro : コードは仕様と一致していますか? 〜プロパティベーステストで「正しさ」を測定する〜
Kiro は 7 月にローンチした際に仕様駆動開発(Spec Driven Development、以下、SDD)を導入したエージェント型 IDE です。SDD では、Kiro のエージェントがコードを書く前にソフトウェアの完全な仕様を作成します。これにより、開発前にエージェントと繰り返しやり取りしながら、アプリケーションの要件を完全に捉えられているか確認できます。Kiro はその要件ドキュメントを実行して Spec (仕様)に変換し、生成されたコードが仕様に準拠しているかをチェックします。Kiro はこの実行可能な仕様を使ってプログラムをテストしますが、その際にプロパティベーステストと呼ばれる手法を使用します。私たちはこの手法は、バグ発見により効果的であると考えています。
東京大学 松尾・岩澤研究室主催の AI エンジニアリング実践講座にて、1400 名を超える受講者に AWS 上でのクラウド開発を体験していただきました [ 後片づけ編 ]
本ブログシリーズでは、2025 年 4 月から 7 月にかけて実施した東京大学 松尾・岩澤研究室の AI エンジニアリング実践講座において、 AWS クラウドを活用した実践的な学習環境を用意し、1400 名を超える受講申し込み者に対して、個別のAWSアカウントを提供する大規模なオンライン講義を開講した取り組みを全 3 回に分けてまとめたものです。
3 回目は、環境の後片付けの実施方法とそこで得た知見について共有します。
東京大学 松尾・岩澤研究室主催の AI エンジニアリング実践講座にて、1400 名を超える受講者に AWS 上でのクラウド開発を体験していただきました [ 演習、運用編 ]
本ブログシリーズでは、2025 年 4 月から 7 月にかけて実施した東京大学 松尾・岩澤研究室の AI エンジニアリング実践講座において、 AWS クラウドを活用した実践的な学習環境を用意し、1400 名を超える受講申し込み者に対して、個別のAWSアカウントを提供する大規模なオンライン講義を開講した取り組みを全 3 回に分けてまとめたものです。
2 回目は、各受講生に割り当てる AWS アカウントに対する権限の適用と管理方法について詳しく説明します。
東京大学 松尾・岩澤研究室主催の AI エンジニアリング実践講座にて、1400 名を超える受講者に AWS 上でのクラウド開発を体験していただきました [ 準備、構築編 ]
本ブログシリーズでは、2025 年 4 月から 7 月にかけて実施した東京大学 松尾・岩澤研究室の AI エンジニアリング実践講座において、 AWS クラウドを活用した実践的な学習環境を用意し、1400 名を超える受講申し込み者に対して、個別のAWSアカウントを提供する大規模なオンライン講義を開講した取り組みを全 3 回に分けてまとめたものです。
1 回目は、講義に参加する受講生にAWSアカウントを準備し、受講者情報と紐づける方法について詳しく説明します。
【開催報告】 第2回 自治体事業者向け AWS ガバメントクラウドワークショップ 2025 in 大阪
2025 年 10 月 31 日に「第 2 回 自治体事業者向け AWS ガバメントクラウドワークショップ 2025 in 大阪」を開催しました。
本ブログでは、イベント内容を簡単にご紹介しつつ、当日のセッションやワークショップの様子を共有いたします。
D2L が Amazon Quick Sight のビジュアルデータ準備を使用して教育分析を変革した方法
本ブログでは、D2L が Amazon Quick Sight の新しいデータ準備機能を活用し、Performance+ パッケージの Brightspace Analytics 機能を強化した事例をご紹介します。この取り組みにより、教育機関全体でデータインサイトが民主化され、技術的な専門知識を必要とせず、シンプルなクリック操作だけで教育者や管理者が生データを実用的なインサイトに変換できるようになりました。QuickSight の新しいデータ準備エクスペリエンスは、データ変換のための視覚的でローコードなインターフェースを提供することで、技術的な障壁を取り除き、あらゆるスキルレベルのユーザーがデータを直接扱えるようにし、D2L の教育分析アプローチに革命をもたらしました。
AWS を活用した公共部門向け大規模言語モデルの構築
このブログ記事では、公共部門での活用を想定したカスタム大規模言語モデル (LLM) の開発について、科学的アプローチと定量的な成果評価を軸に、そのライフサイクル全体を解説します。
初等中等教育の課題解決、および教育DX促進に向けた包括的支援プログラム「AWS ITトランスフォーメーションパッケージ教育版(ITX for Education)」を公開
アマゾン ウェブ サービス ジャパン(以下、AWS)は、官公庁・教育・医療といった公共機関の大規模なクラウド移 […]
[AWS Summit Japan 2025] 生成 AI を用いた自治体向けソリューションデモのご紹介
自治体においては、労働人口減少に伴い職員数の確保が難しくなっていることや住民へのインターネットの普及率の向上か […]
日本のヘルスケア・ライフサイエンス業界における戦略的ビジョン「Journey for 2030 データがつながる、価値を生む」を発表
データの分断を超えて、革新的な患者体験へ ヘルスケア・ライフサイエンス業界はセキュリティが極めて重要な業界であ […]








