北半球の AWS Summit はほぼ終了しましたが、地球のそれ以外の地域にいる私たちにとって、楽しみと学習はまだ終わっていません。先週の AWS Summit Mexico City と AWS Summit Jakarta では、コミュニティ、お客様、パートナー、AWS 従業員が学習とネットワーキングの 1 日を満喫しました。 撮影: Nelly Andrade (AWS Summit Mexico City) 撮影: Shafraz Rahim (AWS Summit Jakarta) 8 月 4

クラウド時代の「ワークフロー自動化」がもたらす価値 クラウドコンピューティングの発展により、現在では多くの企業がクラウドを活用するようになりました。クラウドは、必要なときに必要なだけリソースを確保できる「弾力性」や、主要 […]

はじめに こんにちは、2025 年新卒で ABEMA の広告配信システム開発チームに所属している戸田 ...

みなさん、こんにちは。ソリューションアーキテクトの根本です。 今週も 週刊AWS をお届けします。 アップデートの前に一つ宣伝させてください。 AWS Innovate の次回開催が決まり、登録ページが公開されています。今回は、マイグレーション＆モダナイゼーションがテーマで、実践手法とそれを支えるAWSテクノロジーを学ぶことができる内容となっています。ご調整の上、ぜひご参加ください！ AWS Innovate: Migrate and Modernize 2025 年 9 月 18 日 | 13:00 –

前回に引き続きローカルLLMを活用したチャットボットを作成していきます。今日はRAGを作っていきます。 RAGとは RAG（Retrieval-Augmented Generation） とは、ナレッジと言われる外部の知 […]

テスト工数の削減と品質確保の両立は、ソフトウェア開発における永遠の課題です。 特に、複数の条件が絡み合う複雑なシステムのテストでは、すべての組み合わせをテストする「全件テスト」が現実的ではなく、効率的なテスト設計手法が求められます。 そこで注目されているのが、ペアワイズ法（オールペア法）です。 今回はテストケースを大幅に削減しながらも、高い網羅性を保つことができるこの手法について、その概要から具体的な手順、メリット、そして注意点まで、詳しく解説します。 import haihaiInquiryFormCl

8 月 6 日、 AWS re:Invent 中にプレビューした 新しい Amazon Bedrock のガードレール ポリシーである自動推論チェックの一般提供が開始されたことをお知らせします。自動推論チェックは、 基盤モデル (FM) によって生成されたコンテンツの正確性をドメインの知識に照らして検証するのに役立ちます。これは、AI のハルシネーションを理由とする事実誤認を防ぐのに役立ちます。このポリシーは、数学的ロジックと形式検証の手法を用いて正確性を検証し、AI の応答の正確性をチェックするための明

AWS は、業界で最も先進的な 基盤モデル (FM) の提供に努めており、業界をリードする AI イノベーターによる画期的なモデルをより幅広く採用できるように注力し続けています。これにより、常に最新の進歩を活用してビジネスの成長を促進することができます。 8 月 5 日、 Amazon Bedrock と Amazon SageMaker JumpStart で 2 つの新しい オープンウェイトの OpenAI モデル が利用可能になったことを発表できることを嬉しく思います。OpenAI gpt-oss-

デザインに潜む「魔法の数字」 この記事では、なぜ現代のUIデザインにおいて「8の倍数ルール」と「12カラムシステム」が最適解として広く採用されているのか、その謎を紐解いていきます。この二つのルールを理解することは、デザインの品質を向上させるだけでなく、その背後にある「なぜ」を知ることで、より本質的なデザイン思考を身につける助けとなるでしょう。 すべての土台にある「2のべき乗」という考え方 UIデザインの話をする前に、まずそのUIが表示される媒体、すなわちコンピューターの根本的な仕組みに触れる必要があります

帰納的な推論 と 発見的な推論(アブダクション) は、私たちがソフトウェア開発の現場/実務で（知らず知らずにでも）駆使している思考の形です（それどころか日々の暮らしでも使っています）。 それほど“自然な”思考の形ですが、どんな考え方で、どんなところに注意すると質の高い思考ができるのか、基本知識を押さえておくと実務のレベルアップにつながります。 ＜実務三年目からの発見力と仮説力　記事一覧＞ ※クリックで開きます 【第1回】見つけるための論理【連載初回、全文公開中】 【第2回】 “共通項”を見つけ出す 【第3

はじめに こんにちは、2025 年新卒で ABEMA の広告配信システム開発チームに所属している戸田 ...

init_mathjax = function() { if (window.MathJax) { // MathJax loaded MathJax.Hub.Config({ TeX: { equationNumbers: { autoNumber: "AMS", useLabelIds: true } }, tex2jax: { inlineMath: [ ['$','$'], ["\\(","\\)"] ], displayMath: [ ['$$','$$'], ["\\[","\\]"] ],

こんにちは。 電通 総研クロス イノベーション 本部3年目の宮崎博寿です。 現在、 2025 Japan AWS Jr. Champions に選出された当社グループのメンバーにインタビューを行い、これまでの取り組みや今後の抱負などについて語ってもらう企画を実施しています。 今回、私がインタビューさせていただいた方は、 電通 総研セキュアソリューションの三浦 杏之介さんです。 自己紹介 ――現在の所属と業務の内容を教えて下さい！ ICTサービス事業部 ICT3部に所属し、 クラウド セキュリティ領域を中心

Innovation技術部の加藤です。皆さんは形式手法ってご存知でしょうか。 形式手法は、システムの仕様や動作を数理モデルとして記述し、その正確性を機械的に検証する技術です。専門的であり、まだ実社会での応用はそれほど多くありませんが、並行性や非同期処理の不整合検出に優れており、高信頼性が要求されるシステムの検証に有用であり、今後はシステム開発に不可欠な技術となっていくかもしれません。 今回、私たちは、自社で形式手法を適用できる可能性を探るため、短期間で検証を行いました。そして、その成果を国立情報学研究所(

帰納的な推論 と 発見的な推論(アブダクション) は、私たちがソフトウェア開発の現場/実務で（知らず知らずにでも）駆使している思考の形です（それどころか日々の暮らしでも使っています）。 それほど“自然な”思考の形ですが、どんな考え方で、どんなところに注意すると質の高い思考ができるのか、基本知識を押さえておくと実務のレベルアップにつながります。 ＜実務三年目からの発見力と仮説力　記事一覧＞ ※クリックで開きます 【第1回】見つけるための論理【連載初回、全文公開中】 【第2回】 “共通項”を見つけ出す 【第3