ウォーキングのすすめ ～普段リモートワークで運動習慣0の自分が1日1万2000歩歩いた結果～
これは豆蔵デベロッパーサイトアドベントカレンダー2025第25日目の記事です。 ※本件はテック系の記事ではありません。 食事を気にしていても週一でバーガーキングのワッパーは食べる石原です。 デベロッパーの皆さん、歩いてますかー！ 本件は普段の生活の中で以下が思い当たる方を対象としています...
記事を読むKiro × Sphinxで効率化するプロジェクト開発手法
これは豆蔵デベロッパーサイトアドベントカレンダー2025第24日目の記事です。 はじめに # AWSは2025年11月18日、AIエージェント型IDEKiro(https://kiro.dev)の一般提供を発表しました。 筆者は以前プレビュー版を使ってのレビュー記事を執筆しました。 それ以来Kiroのファンとなり、現在は実業務でKiroを使用しています。 AIエージェント型IDE「Kiro」の登場により、個人開発やプロトタイピングの速度は劇的に向上しました...
記事を読むAWS認定12冠から3年後 - 更新と新認定区分について
これは、豆蔵デベロッパーサイトアドベントカレンダー2025第23日目の記事です。 はじめに # 2022年12月12日に「AWS認定資格を12個すべて取得したので勉強したことなどをまとめます」という記事を投稿してから3年が経ちました。 この記事では、その後の3年間でどのような変化があったか、そして新しく追加された認定区分についてまとめます。 --> Information秘密保持契約（NDA）があるため、詳細な試験内容については触れることができませんので、ご了承ください...
記事を読む【脱ブラックボックス】AWS Control Tower Account Factory & AFC の裏側を徹底解剖！
これは豆蔵デベロッパーサイトアドベントカレンダー2025第22目の記事です。 こんにちは！AWSの世界を探求する皆さん。 突然ですが、AWS Control Tower 使っていますか？ 今私が携わっているプロジェクトにおいてAWS Control Tower（以降Control Tower）を導入したアカウント運用の話があり、個人ではあまり使う機会が少ないサービスだと感じたので、この機会に使っていく中で判明した挙動について書き留めておこうと思います...
記事を読むロボット開発にもクリーンアーキテクチャを。美膳®が実現する中食工場の自動化
少し公開が遅くなってしまいましたが、これは豆蔵デベロッパーサイトアドベントカレンダー2025第15日目の記事です。 はじめに # 豆蔵は長年にわたり、ロボットシステム開発の支援およびコンサルティングを行ってきました。 オリジナルロボット「BEANus」シリーズなどで培ってきた技術力は、単なるメカニクスの制御にとどまらず、高度なソフトウェア技術との融合にあります。 今回、三井化学株式会社と共同開発した中食（なかしょく）工場向け食品盛り付けロボット美膳®（びぜん）は、まさにその結晶です...
記事を読むユーザー部門のあなたに送る - 「『情シスはテストしたのに…』と言わせない！クマに学ぶ“ユーザーテスト”のホントの意味」
これは豆蔵デベロッパーサイトアドベントカレンダー2025第19日目の記事です。 こんにちは＆はじめまして、教育グループのやさぐれ豆ぱんだこと、おのでらです。 ユーザー部門（ビジネス部門）の皆様、ユーザーテスト（受け入れテスト）の依頼が来るたびに、正直、こう思ったことはありませんか？ 「情シスがちゃんとテストしたはずなのに、なんで私たちが改めてテストしなければいけないの？」 忙しい業務の合間を縫ってのテスト作業...
記事を読むよりよい方法を見つけだそうとし続けている： アジャイルに必要な知恵はすべて鮨屋のカウンターでも学んだ
これは豆蔵デベロッパーサイトアドベントカレンダー2025第18日目の記事です。 はじめに # 生成AIの進歩等により、人間にはますます知識よりも知恵が必要だと感じるビジネスソリューション事業部アジャイルグループの岸本大輔です。 アジャイル開発宣言が公開されてもうすぐ四半世紀。人によっては「まだまだこれから」「もうあたりまえ」あるいは「今となっては古い」など様々な意見があるようですが、重要なのは「よりよい方法を見つけだそうとし続けている」ことだと思います...
記事を読むKiro で始める Property-Based Testing：想定外を炙り出す
これは豆蔵デベロッパーサイトアドベントカレンダー2025第17日目の記事です。 1. はじめに：なぜ今、PBTを試すのか # プロパティベーステスト（以下 PBT）は、仕様から抽出された「満たすべき性質（property）」を任意の入力・状態・操作系列に対して検証するテスト手法です。PBT は、従来の事例ベーステストと相互補完的な関係にあることが知られています[1]。 正直、この説明だけでピンと来る人は多くないのではないでしょうか...
記事を読むGitHub Spec Kit (Gemini) でインフラストラクチャを作成してみる
これは豆蔵デベロッパーサイトアドベントカレンダー2025第16日目の記事です。 1. はじめに # 9月にKiroを使った仕様駆動開発の記事を執筆してから、約3か月経ちました。 その間に、生成AIを取り巻くエコシステムやツールは驚くべき速度で進化を続けています。 最近話題のGeminiも、リリース当初と比べると、業務利用を視野に入れられるレベルまで急速に成熟していると感じています...
記事を読むAWSで読み替えるGoogle Cloud入門
これは豆蔵デベロッパーサイトアドベントカレンダー2025第12日目の記事です。 --> Information記事の内容に不正確な記述が含まれていたため 2025/12/15 に追記・修正を行いました はじめに # ビジネスソリューション事業部の塚野です。現在、私がアサインされている案件ではパブリッククラウドとして Google Cloud を利用しています。 もともとは AWS を業務や個人開発で使っており、インフラ構成もサービス選定も「AWS の考え方」を土台にしてきました...
記事を読む記事の大半をAIが書く時代：Amazon Q DeveloperとVSCodeで挑む協働執筆
これは豆蔵デベロッパーサイトアドベントカレンダー2025第11日目の記事です！ はじめに # この記事は、Amazon Q Developerと人間の協働による実験的な取り組みです。 最初からネタばらしですが、「この記事、ほとんどAIが書いています。」 AIを“使う側”から“協働する側”へ。Amazon Q Developerで開発と執筆の常識が変わると思います...
記事を読む最適化ライブラリCeresSolverを使って非線形最小二乗問題を解いてみよう
本記事は豆蔵デベロッパーサイトアドベントカレンダー2025第10日目の記事です。 0. はじめに # ロボット制御や画像処理の分野では、最適化問題を解く必要に迫られる場面が多々あります。 最適化問題といっても、線形計画法や組合せ最適化など、その種類や解法は多岐にわたります。 その中でも、実用上特によく扱われるのが「最小二乗問題」です。 これは、下記のような目的関数 F(x)F(\boldsymbol{x})F(x) を最小化するパラメータ x\boldsymbol{x}x を求める問題です...
記事を読むSpring Boot 4で標準採用！JSpecifyによるnull安全性
これは 豆蔵デベロッパーサイトアドベントカレンダー2025 第9日目の記事です。 先月の11月に、Spring Boot 4 と Spring Framework 7 がリリースされました。 Spring Boot 4ではnull安全性（Null-Safety）の強化が図られ、JSpecify が標準採用されました。 そこで今回は、Spring Boot 4によるJSpecifyについて記事にしたいと思います...
記事を読むヘキサゴナルアーキテクチャの“違和感“を徹底解剖！3つの疑問と本質を図解でスッキリ理解
これは豆蔵デベロッパーサイトアドベントカレンダー2025第8日目の記事です。 ヘキサゴナルアーキテクチャ（Ports & Adapters）って、なんとなくわかった気はするけど、どこか腑に落ちないところありませんか？私の場合はだいたい次の3点でした...
記事を読むModeling Forum 2025参加レポート - AI エージェント時代のシン・モデリングを展望！
これは豆蔵デベロッパーサイトアドベントカレンダー2025第5日目の記事です。 はじめに # 先月26日 UMTP 主催の Modeling Forum 2025 が開催されました。 https://umtp-japan.org/event-seminar/mf2025/76554 今年は「AI時代のシン・データモデリングとは？」というテーマで多くの講演やパネルディスカッションが行われました。 筆者も当日 Zoom 参加して視聴させていただきました...
記事を読むスクラムマスターのAI活用を考える - 導入
これは豆蔵デベロッパーサイトアドベントカレンダー2025第4日目の記事です。 はじめに # アジャイルグループの石田です。 近年、生成AIの進化は目覚ましく、私たちの働き方を大きく変えようとしています。豆蔵デベロッパーサイトでも、設計、実装、テストといったシステム開発の各工程で生成AIを活用する記事が豊富に投稿されています。（ご興味があれば #生成AI や #AIエージェント のタグもご覧ください）...
記事を読む【Agent Skills】「あの雰囲気」を VSCode に。Markdown プレビューを Anthropic テーマにしたいんだ！ - brand-guidelines 完全ガイド -
これは豆蔵デベロッパーサイトアドベントカレンダー2025第 3 日目の記事です！ はじめに # Anthropicの公式ページをみたことがありますか？ https://www.anthropic.com/ 配色の雰囲気が美しくて大変好きです。 さらに、最近 Claude Code とペアプログラミングをすることが多くなり、マークダウンファイルをプレビュー表示することが非常に多くなりました。要件定義やADR、技術記事の執筆などなど...
記事を読む変化の波を乗り越えろ！予測不能な時代を生き抜く「考え直す力」とは - 書籍「Think Again」
これは豆蔵デベロッパーサイトアドベントカレンダー2025第 2 日目の記事です！ はじめに # 書籍 Think Again 僕がとても好きな書籍です。 この書籍では、考え直すことの重要性について書かれています。 本書の目次を以下に示しました...
記事を読むElectron アプリを Tauri 2.0に移植する PoC をやってみた
これは豆蔵デベロッパーサイトアドベントカレンダー2025第1日目の記事です。 はじめに # 昨年9月に Tauri 2.0 の RC を触って記事を書いていました。 /blogs/2024/09/22/try-tauri-v2-rc/ 当時も2年ぶりぐらいに Tauri を触ったのですが、この時からまた1年以上が経ってしまいました。月日が経つの早いですね。 Tauri 2.0 は昨年10月に正式リリースされ、現在のバージョンは 2.9.3 です...
記事を読むコピペで始める：Amazon Q Developer × Spec Kitで始めるAI駆動開発
本記事は、以下イベントで講演した内容の文字起こし版です。 超実践 AI駆動開発 ～生成AIを活用したシステム開発の効率化・品質向上の最前線～ --> Information2025年11月17日より、Q Developer CLIは正式名称「Kiro CLI」となりました。本記事では執筆時点の名称「Q Developer CLI」で説明していますが、コマンドや機能は同じです。今後のアップデートで q コマンドが kiro コマンドに変更される可能性があります...
記事を読む
