目次
自動運転・フィジカルAIの品質保証を加速
株式会社イミロンは、株式会社DG Daiwa Venturesをリード投資家とし、三菱UFJキャピタル株式会社、ごうぎんキャピタル株式会社を引受先としたプレシリーズAラウンドの資金調達を実施したと発表しました。調達総額は1.4億円となっています。

同社は、自動運転車やロボットといったAIが物理世界で動作する「フィジカルAI」領域において、システムの安全性や論理的な説明責任を担保する基盤技術を開発しています。従来の自然言語による仕様書では、設計と実装の間にギャップが生じやすく、AIシステムの品質保証において大きな課題となっていました。
Ms.ガジェット自動運転などのミッションクリティカルな分野において、数理論理学を基盤とした品質保証の重要性が高まっているということですね。
次世代AIシステム検証プラットフォーム「SpecForge」
イミロンは今回の資金調達を機に、数理論理学を土台としたフィジカルAI向け次世代AIシステム検証プラットフォーム「SpecForge(スペックフォージ)」の研究開発と事業展開を加速させるとしています。「SpecForge」の主な特徴は以下の通りです。

- AI支援による「形式仕様」の民主化:独自開発言語「Lilo」とLLM(大規模言語モデル)の活用により、習熟が困難だった形式仕様記述を効率化します。
- 仕様がそのまま「検証・監視ルール」に:論理的で矛盾のない仕様により、設計品質の向上と運用時の自動検証を実現します。
- SpecDevOpsの実現:設計から実装、運用、改善までの一貫した継続的品質保証を可能にします。
Ms.ガジェット「形式仕様」という専門的な概念を、LLMの支援で効率化するというアプローチは非常に興味深いですね。
グローバルトップティアのエンジニア採用を強化
同社は今回の調達資金を活用し、グローバルトップティアのエンジニア採用を強化する方針です。同社のプラットフォーム構想は「EdgeTech+ AWARD 2025」においてAI設計支援優秀賞を受賞するなど、業界内でも高い評価を得ています。
代表取締役の足立正和氏は、今回の資金調達について「形式手法・数理論理学を産業実装し、より安全にAIが使える世界の実現に挑んでまいります」と説明しています。今後、国内外での事業展開を含め、フィジカルAI時代のシステム開発を支えるインフラを目指すとのことです。
Ms.ガジェット研究知見と産業実装の経験をあわせ持つチームが、AI時代の開発課題にどのように切り込んでいくのか注目されます。

イミロン、プレシリーズAで1.4億円の資金調達を実施
最後までお読みいただきありがとうございました!
- 本記事の評価は当サイト独自のものです。
- 特段の表示が無い限り、商品の価格や情報などは記事執筆時点での情報です。
- この情報が誤っていても当サイトでは一切の責任を負いかねますのでご了承ください。
- 当サイトに記載された商品・サービス名は各社の商標です。
- 本記事で使用している画像は、メディアユーザーとしてPR TIMESより提供されたプレスリリース素材を利用しています。
