こんにちは😸 カスタマーサクセス部の山本です。 前提 エラー 原因 対策 CodeBuild で実施可能な対策 まとめ おまけ 余談 前提 複数の CodeBuild プロジェクトが CodeCommit のリポジトリにあるソースコードを同時に クローンする構成があるとします。 エラー 私の検証では、CodeBuild プロジェクトを 7, 8 個同時に実行したあたりから、いくつかのプロジェクトで以下のようなエラーとなりました。 エラーは、CodeCommit からのクローンに失敗したという趣旨のものです

2025 年 6 月 25 日、26 日の 2 日間に渡り、AWS Summit Japan 2025 が開催されました。私の所属する流通小売消費財のチームでは、 「The Future of Retail – AWS の提案するリテールの少し先の未来」 をテーマに展示を行い、e コマースサイトと実店舗を融合させ、パーソナライズされた、フリクションレスなショッピング体験を多くの方に体験いただきました。 その展示の一つとしてご紹介したのが、仮想試着、Virtual try-on です。オンラインショッピング

はじめに こんにちは、クラウドエースの岸本です。 今回は、2025年 4 月に Google Cloud Next で発表された Agent Development Kit（以下、ADK）と LINE の接続方法を解説しようと思います。 最後には、LINE から、Cloud Run 上で動作する ADK の Google Search エージェントを呼び出してみます。 使用する主要技術 本記事で活用する主要な技術スタックは以下の通りです。 LINE Developers: LINE Developers

こんにちは。メルペイ Payment Core Teamで2ヶ月間インターンシップをした@taichiです。 この記事は、 Merpay & Mercoin Tech Openness Month 2025 の22日目の記事です。 はじめに 私は4月の中旬から6月の中旬の間、 バックエンドエンジニアとしてメルペイのインターンシップに参加しました。今回はインターン期間中に取り組んだタスクを振り返り、 そこで得た学びをまとめたいと思います。 この記事が、 メルペイのインターンに挑戦してみたいと考えてい

Introduction Hello! I am Yamada, and I develop and operate in-house tools in the Platform Engineering Team of KINTO Technologies' (KTC) Platform Group. If you want to know more about the CMDB developed by the Platform Engineering team, please check ou

2025/7/16 更新：イベントが閉幕したため、イベント案内ブログを開催報告として更新しました。 6 月 25, 26日の 2 日間にわたり、幕張メッセにおいて AWS Summit Japan が開催され、会場では延べ 36,000人以上、オンラインも合わせると過去最高となる、延べ 69,000 人超の方の参加者を記録しました。基調講演、事例セッションをはじめとする各種セッションとともに、AWS Expo のエリアでは AWS サービス、ソリューションの最新活⽤事例や、実際に AWS を触れるワークシ

AWS Summit Japan 2025 が 6 月 25 日、26 日の 2 日間、幕張メッセにて開催され、会場とオンラインを合わせて過去最高となる延べ 69,000 人超の方にご参加いただきました。Industry Pavilion 流通小売消費財ブースでは「The Future of Retail – AWS の提案するリテールの少し先の未来 ( 参考ブログ記事 )」をテーマに展示を行い、本ブログではその中のデモ、「マルチ AI エージェントと 3D アバターによる新たな接客体験」についてご紹介し

CDK Migrateを使用し、CloudFormationからAWS CDKへの移行時にメタデータを除去する方法を詳しく解説。既存のリソース差分をなくし、安心して移行作業を進める方法を紹介します。

クロスプラットフォーム開発について、Flutter、Kotlin Multiplatform、React Nativeの3つの代表的な環境を比較し、それぞれの特徴や利点、学習コスト、パフォーマンス、コミュニティの活発さについて説明します。

本記事では、AWS Lambda、Amazon Bedrockを活用し、New Relic上に作成したAWSのコストに関するダッシュボードを紹介します。日々のコスト実績や月末の予測コスト、コストが増加しているサービスやリージョンを自動で集計・可視化。さらに、Bedrockによる状況の要約や具体的なコスト削減案も提示し、Slackへ通知することで、「月末に請求額を見て焦る」ということがなくなります。

アジャイル開発を進めるなかで、私たちは日々、さまざまな数値やメトリクスに囲まれて仕事をしています。 コード行数、GitリポジトリへのPull Requestの数、ベロシティ、バーンダウンチャート、NPS、従業員満足度などなど。 しかし、ふと立ち止まったときに、こんな問いが浮かぶことはないでしょうか。 「なぜ、我々はそれを測るのか？」 本記事では、Scrum.org™が提唱する「Evidence-Based Management（EBM）」の概念を紹介しながら、お客様の組織におけるアジャイル変革のCente

はじめに 認証や認可の実現方法は、システム開発における頻出の関心事の一つかと思います。そんな中、JSON Web Token（JWT）／OAuth2.0／Open ID Connect（OIDC）という言葉もよく耳にするところです。 しかし、「JWTって結局どう使うの？」「OAuth2.0やOIDCってJWTとどう関係するの？」「OAuth2.0とOIDCの違いって何？」という疑問を持つ方も多いのではないでしょうか。 また、JWTに「署名」や「検証」といったキーワードが絡んでくると、途端にハードルが上がっ

Innovation技術部の加藤です。この記事は「Proof Summit 2025 に登壇しました (前編)」の続きです。 前編では、形式手法とは何か、なぜ企業研究者が形式手法に取り組んだのか、その背景を述べました。 今回の後編では、TLA+を使って具体的にどういった検証を行ったかを紹介します。 例題: ロボットのすれ違い問題 図のように、倉庫の間にロボットを置いて、荷物を運搬することを考えます。 ロボットの制御はそれぞれで行い、互いに互いの動きや動作タイミングを知らないとします。 このとき、ロボット同

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

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