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

一般社団法人Pythonエンジニア育成推進協会はコラム「AIコーディングが進化したらプログラミングは不要になるのか。」を公開しました。 こんにちは。Pythonエンジニア育成推進協会の吉政でございます。 最近のAI進化はものすごくて、人間がコンピューター上でできることはほぼできるような状態になっています。また、アウトプットも速く正確です。コーディングもしかりです。 このような状況もあり、セミナー参 ...

OpenAIは、Python開発者向け高速ツールを提供するAstralを買収することで合意した。高性能なコードチェックツール「Ruff」やパッケージ管理ツール「uv」を持つ同社の技術を、プログラミング支援AI「Codex」に統合する。開発ワークフロー全体を自動化するAIシステムの進化を目指し、オープンソースの既存ツールへのサポートも継続する。

ITエンジニア向け転職・就職・学習プラットフォーム「paiza（パイザ）」を運営するpaiza株式会社（東京都港区、代表取締役社長/CEO 舘康人）は、Python VTuberサプー氏と共同開発した新講座「バイブコーディング入門Codex編」の提供を本日より提供開始いたします。

株式会社SEプラスのプレスリリース（2026年3月17日 14時00分）AIを使ったアプリ開発体験など7つの研修を実施！IT研修イベント『SEcollege IT Festival 2026』開催レポート【延べ135名が参加】 ...

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

MetaとGoogle DeepMindの元従業員が立ち上げたAI開発企業のMistral AIが、同社初のコーディング用AIモデル「Codestral」を発表しました。Codestralはコーディングタスク専用に設計された生成AIモデルで、ソフトウェア開発者が高度なAIアプリケーションを設計するのに ...

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

従来のアプリ開発では、専門の知識を持ったエンジニアが、プログラミング言語を学び、ゼロからプログラムを作成するのが当然のことでした。プログラミング言語の習得を目指して、頑張ったものの、時間の制約などから、なかなか思い通りのアプリを ...

趣味で身の回りの不便を便利にするレベルのAI活用ではコードが動くか動かないか？だけでいいのであるが、少し難しくなってくると動かないものも出てくる。 とある準公的なAPIを取得するだけなのだがPythonでは取れるのに、PowerShellでは取れない。動く ...

AIコーディングに毎月いくら払っていますか？ こんにちは、しらいはかせです。突然ですが、皆さんは「AIコーディング」に毎月いくら払っていますか？ AICUの「生成AIクリエイター白書2025」(2025年11月)によると、コーディング支援を使っているアンケート ...

EdTech（Education＋Technology） スタートアップ企業のCodingKraftは2月26日、コーディング学習ゲーム『 CodeStrike – Python Practice Adventure Game ...