OpenCodeは、ターミナルやIDE(統合開発環境)、デスクトップアプリで利用できるオープンソースのAIコーディングエージェントです。任意のLLMプロバイダーを設定して使えるほか、OpenCode側が検証したモデル群を利用する「Zen」も用意されて ...

フランスのAIスタートアップのMistral AIが、数学的証明やソフトウェア仕様の検証などを支援するAIモデル「Leanstral」を公開しました。Leanstralは形式証明ツール「Lean ...

株式会社Acompany（アカンパニー、代表取締役CEO 高橋亮祐、以下Acompany）は、安全で秘密を守れるAI製品ブランド「Confidential AI Suite」の第二弾として、企業の機密ソースコードを保護しながらAIによるコーディング支援を受けられる「Acompany セキュアコード」のベータ版の提供を開始いたします。あわせて、先行導入企業の募集を開始いたします。 背景 Claude ...

OpenAIが2025年4月16日に、ターミナルから直接実行できるコーディングエージェントツールの「Codex CLI」をリリースしました ...

- Confidential AI Suiteの第二弾製品として、LLMへの送信データをインフラ事業者すら閲覧できない環境で処理。先行導入企業を募集開始 - 株式会社Acompany（アカンパニー、代表取締役CEO 高橋亮祐、以下Acompany）は ...

中国の AI スタートアップ DeepSeek（深度求索）は、2兆の英語と中国語のトークンに学習させた ChatGPT の競合で話題になったことがあるが、オープンソースの MoE（Mixture of Experts、タ […] Image credit: DeepSeek（深度求索） 中国の AI スタートアップ DeepSeek（深度求索 ...

株式会社ギブリー（本社：東京都渋谷区、代表取締役社長：井手高志、以下当社）が展開する国内No1*のコーディングテストツール「Track Test（トラック・テスト）」は、エンジニア候補者の思考やパーソナリティを知る手掛かりとなるソースコードレビュー ...

中国Moonshot AIは2026年1月27日、同社の最も強力なオープンソースモデルとなるKimi K2. 5をリリースした。 Kimi K2.5: Visual Agentic Intelligence 🥝 Meet Kimi K2. 5, Open-Source Visual Agentic Intelligence. 🔹 Global SOTA on Agentic ...

ソフトウェア開発者の多くは、新しいプロジェクトですべてのコードをいちから書くことはしない。そんなことをすれば時間がかかりすぎるうえ、問題の解決どころか新たな不具合を生みかねないからだ。開発者たちは既存のライブラリやオープンソースの ...

普段スマホやPCで何気なく見ているWebサイトは、「ソースコード」と呼ばれる英語の文字列でコンピュータに指示を送ることで成り立っている。そのソースコードを作成する作業がコーディングだ。 Web業界に関わりがある人であれば、耳にすることも多い ...