Kiro で始める Property-Based Testing：想定外を炙り出す
これは豆蔵デベロッパーサイトアドベントカレンダー2025第17日目の記事です。 1. はじめに：なぜ今、PBTを試すのか # プロパティベーステスト（以下 PBT）は、仕様から抽出された「満たすべき性質（property）」を任意の入力・状態・操作系列に対して検証するテスト手法です。PBT は、従来の事例ベーステストと相互補完的な関係にあることが知られています[1]。 正直、この説明だけでピンと来る人は多くないのではないでしょうか...
記事を読むコピペで始める：Amazon Q Developer × Spec Kitで始めるAI駆動開発
本記事は、以下イベントで講演した内容の文字起こし版です。 超実践 AI駆動開発 ～生成AIを活用したシステム開発の効率化・品質向上の最前線～ --> Information2025年11月17日より、Q Developer CLIは正式名称「Kiro CLI」となりました。本記事では執筆時点の名称「Q Developer CLI」で説明していますが、コマンドや機能は同じです。今後のアップデートで q コマンドが kiro コマンドに変更される可能性があります...
記事を読む「アテンションが全て」ではなかった？GPT2 small(124M)から学ぶLLMの仕組み
この記事は夏のリレー連載2025 3日目の記事です。 --> Information本記事は、次のような読者層を想定しています。 パラメーター数とLLM性能の関係を直感的に理解したい方 Transformerの仕組みを概観し、学習の足がかりを得たい方 詳細な理論解説ではなく 「全体像の把握」 を目的としています。より深い学習を希望される場合は、本文中で紹介する参考文献をご参照ください...
記事を読む
