新着記事
全ての記事を見る
-
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、技術記事の執筆などなど...
記事を読む
先週の人気記事