少し公開が遅くなってしまいましたが、これは豆蔵デベロッパーサイトアドベントカレンダー2025第15日目の記事です。はじめに#豆蔵は長年にわたり、ロボットシステム開発の支援およびコンサルティングを行ってきました。オリジナルロ���ット「BEANus」シリーズなどで培ってきた技術力は、単なるメカニクスの制御にとどまらず、高度なソフトウェア技術との融合にあります。今回、三井化学株式会社と共同開発した中...

これは豆蔵デベロッパーサイトアドベントカレンダー2025第19日目の記事です。こんにちは＆はじめまして、教育グループのやさぐれ豆ぱんだこと、おのでらです。ユーザー部門（ビジネス部門）の皆様、ユーザーテスト（受け入れテスト）の依頼が来るたびに、正直、こう思ったことはありませんか？「情シスがちゃんとテストしたはずなのに、なんで私たちが改めてテストしなければいけないの？」忙しい業務の合間を縫っての...

これは豆蔵デベロッパーサイトアドベントカレンダー2025第18日目の記事です。はじめに#生成AIの進歩等により、人間にはますます知識よりも知恵が必要だと感じるビジネスソリューション事業部アジャイルグループの岸本大輔です。アジャイル開発宣言が公開されてもうすぐ四半世紀。人によっては「まだまだこれから」「もうあたりまえ」あるいは「今となっては古い」など様々な意見があるようですが、重要なのは「より...

これは豆蔵デベロッパーサイトアドベントカレンダー2025第17日目の記事です。1. はじめに：なぜ今、PBTを試すのか#プロパティベーステスト（以下 PBT）は、仕様から抽出された「満たすべき性質（property）」を任意の入力・状態・操作系列に対して検証するテスト手法です。PBT は、従来の事例ベーステストと相互補完的な関係にあることが知られています[1]。正直、この説明だけでピンと来る...

これは豆蔵デベロッパーサイトアドベントカレンダー2025第16日目の記事です。1. はじめに#9月にKiroを使った仕様駆動開発の記事を執筆してから、約3か月経ちました。その間に、生成AIを取り巻くエコシステムやツールは驚くべき速度で進化を続けています。最近話題のGeminiも、リリース当初と比べると、業務利用を視野に入れられる��ベルまで急速に成熟していると感じています...

これは豆蔵デベロッパーサイトアドベントカレンダー2025第12日目の記事です。 --> Information記事の内容に不正確な記述が含まれていたため 2025/12/15 に追記・修正を行いましたはじめに#ビジネスソリューション事業部の塚野です。現在、私がアサインされている案件ではパブリッククラウドとして Google Cloud を利用しています。もともとは AWS を業務や個人開発で...

これは豆蔵デベロッパーサイトアドベントカレンダー2025第11日目の記事です！はじめに#この記事は、Amazon Q Developerと人間の協働による実験的な取り組みです。最初からネタばらしですが、「この記事、ほとんどAIが書いています。」AIを“使う側”から“協働する側”へ。Amazon Q Developerで開発と執筆の常識が変わると思います...

本記事は豆蔵デベロッパーサイトアドベントカレンダー2025第10日目の記事です。0. はじめに#ロボット制御や画像処理の分野では、最適化問題を解く必要に迫られる場面が多々あります。最適化問題といっても、線形計画法や組合せ最適化など、その種類や解法は多岐にわたります。その中でも、実用上特によく扱われるのが「最小二乗問題」です。これは、下記のような目的関数 F(x)F(\boldsymbol{x...

これは 豆蔵デベロッパーサイトアドベントカレンダー2025 第9日目の記事です。先月の11月に、Spring Boot 4 と Spring Framework 7 がリリースされました。Spring Boot 4ではnull安全性（Null-Safety）の強化が図られ、JSpecify が標準採用されました。そこで今回は、Spring Boot 4によるJSpecifyについて記事にした...