ロボット開発にもクリーンアーキテクチャを。美膳®が実現する中食工場の自動化
少し公開が遅くなってしまいましたが、これは豆蔵デベロッパーサイトアドベントカレンダー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点でした...
記事を読む
