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

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

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

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

人工知能（AI）搭載のコードエディター「Cursor（カーソル）」。自然な言葉でアプリを構築する「バイブコーディング」の流行に乗り、つい最近まで驚異的な急成長企業と見られていた。直近の資金調達ラウンドでは評価額が約300億ドル（約4.7兆円 ...

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

2026年3月18日、日本オラクル株式会社は最新の長期進化版となるOracle JDK 26の提供開始を発表しました。新リリースは言語の簡素化と開発生産性の向上を軸に、AI連携と暗号化の強化を含む多数の改善を提供します。あわせて、ツールやフ ...

「Vibe Coding」がソフトウェア開発の新しい手法として注目を集めている。AIに指示しながらコードを生成し、アプリケーションを構築していくものだ。ユーザーがコーディングの詳細を理解していなくともプログラムが可能で、誰もが開発者になれる。

「Vibe coding」が急速に普及している。プログラミング初心者のみならず、プロの開発者も利用して、驚異的な成果を生み出している。しかしその一方、手軽すぎてコードの詳細を理解せずに開発を進められることから、新たなリスクの恐れがあるという。

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

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