小中学生向けエンタメ型プログラミング教材「デジタネ」を運営する、エデュケーショナル・デザイン株式会社（本社：静岡県静岡市、代表取締役：脇田　真太郎）は、「デジタネ」へAI教育要素も加え、会社としてもAI時代の新たなデジタル教育企業へと進化していくこと ...

であれば、LLMの都合だけを考えて設計されたプログラミング言語があってもいいのではないでしょうか。たとえば人間の可読性を無視してできるだけコンパクトにすれば、使用するトークンの量が減り、クラウドAIの利用料金を節約することができるでしょう。応答速度の ...

オムロン（本社：京都府京都市）は、工場・設備の制御システムにおいて、制御設計者が携わるPLC（プログラマブルロジックコントローラ）のコーディング作業を自動化する「PLC向け設計コード生成AI」を開発した。設計者が自然言語で指示するだけで、必要な技術情 ...

形式化とは、数学の証明の各ステップを、プログラミング言語に書き直すこと。当時、「凝縮数学」という革新理論を構想中のショルツ氏は、理論の中核をなす難解な定理に行き詰まった。半年ほどかけて証明したが、あまりの難しさに自信がなかった。

Suiは、「LLMが100%正確にコードを書ける」ことをコンセプトに作られた、LLMのためのプログラミング言語。名前は漢字の「粋」から取られており、洗練し、無駄を削ぎ落とす美意識に基づいて設計されている。LLMにSuiを覚えさせるためのプロンプトも用 ...

GMOインターネットグループは11日、GMOメディアが運営するプログラミング・Webデザインスクール検索サイト「コエテコキャンパス byGMO」が、生成AIを学べるスクールを4つの領域に整理した2025年版「生成AIスクール ...

株式会社スクウェア･エニックス（本社：東京都新宿区、代表取締役社長：桐生 ...

「質の高いIT教育を、すべての人に」をミッションに、4万5,000名以上の受講生を指導してきたプログラミングスクール「侍エンジニア」を運営する株式会社SAMURAIは、『2024年版 AI（人工知能）が学べるプログラミングスクールのカオスマップ』を公開しました。

東京, 2025年6月26日 /PRNewswire/ -- オープンソースAIのイノベーションに取り組むグローバルな非営利コンソーシアムである AI ...

【シリコンバレー=山田遼太郎】プログラミング支援の人工知能（AI）ツール「カーソル」を手掛ける米エニースフィアは6日、9億ドル（約1300億円）を調達したと発表した。ソフトウエア開発者に普及して売上高が伸び、創業わずか3年で企業価値は99億ドル ...

本コンテストを通じて、競技プログラミングに精通した皆様に当社の技術的挑戦をお伝えし、AI革命時代を共に牽引する仲間との出会いを創出します。 東京大学松尾研究室発のAIスタートアップPolaris.AI株式会社（本社：東京都文京区、代表取締役：徳永 優也 ...