AIにコードを書かせること自体はすでに珍しくありませんが、最近は書いたコードを自分で実行し、その結果を見ながら修正まで進めるAIツールも登場しています。こうしたAIの支援を受けながらソフトウェア開発を進める考え方が「エージェントエンジニアリング」です ...

フランスのAIスタートアップのMistral AIが、数学的証明やソフトウェア仕様の検証などを支援するAIモデル「Leanstral」を公開しました。Leanstralは形式証明ツール「Lean 4」に対応したオープンソースのAIエージェントで、数学やプログラムの正しさを厳密に検証する「証明エンジニアリング」を支援することを目的としています。

Googleは19日(米国時間)、開発者ツールの「Google AI Studio」を強化し、バイブコーディング(vibe ...

会員（無料）になると、いいね！でマイページに保存できます。 AIと新開発新手法「バイブ・コーディング」、セールスフォースが示す実践例 ソフトウェア開発の世界で新たなパラダイムシフトが起きている。OpenAIの共同創設者アンドレイ・カーパシー氏が ...

Michael WegmüllerはAI分野で20年以上の経験を持つ。Artifact SAの共同創業者であり、広く知られたAIビジネスの専門家である。 クライアント向けのライブワークショップ中、私たちのアンケートアプリケーションが突然動作を停止した ...

その理由はこうだ。技術開発チームは通常、ビジネスリーダーが設定したロードマップに沿って動いており、どのプロジェクトが実現するかは経営幹部の優先順位によって決まる。その結果、経営層がイノベーションの門番（ゲートキーパー）として機能してしまうことがある。

本コーナー「開発者と読み解くAIの世界」では、AIアプリ開発に携わるエンジニアより寄稿いただき、開発者目線でみる生成AIの面白さや活用法、開発現場のリアルをお伝えします。 「GitHub Copilot」（2021年）の登場により、AIがソースコードを補完・生成する ...

非エンジニアでもアプリを作りたい！という欲求が止まらない。 企業ではエンジニアが生成AIを活用して大幅な生産性向上を実現している。毎日自分の好きなアプリをAIで作っているという知人もいる。筆者も作りたいものがあるので、彼らが羨ましすぎて ...

2026年1月に会社員からフリーランスへ転身、30代・子育て中のWebクリエイター「ぽんず」は、生成AIとの対話開発（Vibe Coding ...

2025年、開発者に最も強く影響を与えたのはAIコーディングツールの進化だろう。AI支援機能を組み込んだ開発ツールは、もはや多くの開発者にとって不可欠な存在となっている。Stack Overflowの「2025 Developer Survey」では、84％の開発者が開発プロセスでAIを使用 ...

会員（無料）になると、いいね！でマイページに保存できます。 バイブコーディングに潜む「構造的リスク」 多くのメリットがあるバイブコーディングだが、その一方で、セキュリティ上のリスクが問題となっている。AIはコードの生成は速いが、安全面で ...

プログラミング教育事業・アパレルブランド事業を展開するミチガエル（東京都渋谷区）の今西航平代表（@03Imanyu）は4月16日、特許庁に申請中だった「AI Coding」の商標登録出願を取り下げると、自身のXで発表した。出願に対しては「一般化した用語だ」とし ...