Press Release
グローバルなイノベーションエコシステムを通じて、ミッションクリティカルなAIシステム検証プラットフォームのエンタープライズ向けPoCを加速
自動運転やフィジカルAIの安全性を担保する基盤を開発するイミロン（東京都千代田区、代表取締役：足立正和、以下「イミロン」）は、グローバル・イノベーション・プラットフォームであるPlug and Play Japan株式会社（本社：東京都渋谷区、代表取締役社長：ヴィンセント・フィリップ、以下「Plug and Play Japan」）が主催するアクセラレータープログラム「Summer 2026 Batch」に採択されたことをお知らせいたします。
イミロンは、数理論理学と形式手法を活用し、機能仕様を数学的に厳密な「形式仕様」として記述・検証可能にするプラットフォーム『SpecForge』を開発しています。本プログラムへの参加を通じて、Plug and Play Japanが有する国内外の大手企業ネットワークを最大限に活用し、自動運転モビリティや製造業、ロボティクス領域のエンタープライズ企業とのPoC（実証実験）を加速させます。これにより、より安全で高信頼なフィジカルAIの開発環境を実現してまいります。
https://imiron.io/ja/specforge/
Plug and Play Japanについて
Plug and Playは、スタートアップ・大企業・投資家・アカデミア・官公庁/自治体をつなぐ世界最大級のイノベーション・プラットフォームです。シリコンバレーに本社を構え、東京・京都・大阪を含む世界60拠点以上に展開しています。 私たちはグローバル550社以上の大企業パートナーや官公庁/自治体に向けて、スタートアップ探索からトレンド調査、イノベーション戦略、事業化支援に至るまで、あらゆるステージにおける伴走支援を提供しています。またスタートアップ向けのアクセラレータープログラムとベンチャーキャピタル機能を活用し、さまざまな領域/業界のイノベーションの加速や、年間250社を超える世界のスタートアップへの投資を行っています。
Plug and Play Japanが提供するアクセラレータープログラムとは
Plug and Play Japanが提供するアクセラレータープログラムとは、大手企業と国内外のスタートアップを結び、イノベーションを創出することを目的としています。本プログラムを通し、大手企業は自社のイノベーションを加速させる国内外スタートアップとのマッチングが可能になり、スタートアップは幅広く大手企業との連携機会を得られます。国内だけでは得られないようなイノベーションに関する最新情報を取得できるほか、業界の垣根を超えた交流が生まれる場となっています。
数理論理学を活用し、AIでハードウェアが動く時代の継続的品質保証を加速
自動運転車やロボットがAIで動く際のセーフガード技術や論理的説明のための基盤を開発する株式会社イミロン（東京都千代田区、代表取締役：足立正和、以下「イミロン」）は、株式会社DG Daiwa Ventures（DGDV）をリード投資家とし、三菱UFJキャピタル株式会社、ごうぎんキャピタル株式会社を引受先としたプレシリーズAラウンドの資金調達を実施したことをお知らせいたします。
一般社団法人 組込みシステム技術協会主催のEdgeTech+ 2025にて当社SpecForgeが「EdgeTech+ AWARD 2025 AI設計支援 優秀賞」に選定されたことをお知らせします。EdgeTech+ AWARD は、組込み業界の発展と国内産業の競争力向上に寄与する製品・サービスを表彰するもので、出展社による応募から厳正なる審査により選定されます。
この度の受賞に際し、選考に携わってくださった皆様に心より感謝申し上げます。この受賞を励みに、組込み業界のさらなる発展の一助となるよう、一層努力してまいります。
受賞の概要
AI設計支援 優秀賞
- 製品名：SpecForge
- 製品概要：AIの普及により、市場投入後も進化を繰り返すシステムが増える一方で、品質と説明責任の担保が重要な課題となっています。SpecForgeは、ミッションクリティカルシステムの信頼性や説明性の問題を解決する「仕様駆動開発」プラットフォームであり、抽象的で曖昧な要求ではなく、「数学的に厳密な」仕様記述をサポートします。論理的で矛盾のない仕様は設計品質を向上させるだけでなく、そのままシステムの監視ルールとなり、運用時の振る舞いを自動検証可能にします。これにより、設計、運用、改善まで、一貫した仕様に基づくシステムの継続的品質保証を実現します。
- 受賞理由：本製品は、AIを活用してシステム設計における仕様策定を支援する革新的なツールであり、開発初期段階の効率化を狙った先進的な取り組みが特徴である。 形式仕様を自動的に生成・管理することにより、開発プロセスの整合性を高め、仕様変更やドキュメント管理にかかる負荷を大幅に軽減することを目指している。AIを設計者の支援ツールとして実運用に近い形で活用している点が注目された。審査委員会は、設計工程における“仕様定義”という最難関の課題に真正面から取り組んだ姿勢を高く評価した。 AI技術によってもなお自動化が難しい領域に対し、人とAIの協働による現実的な解決策を提示している点が評価のポイントとなった。 また、開発現場での活用可能性や社会的意義も大きく、AI時代における設計プロセスの新しい形を提示するものとして、今後の発展が期待される。
関連リンク
AIを活用した形式仕様記述・分析ツール「SpecForge（スペックフォージ）」を2025年7月より提供開始することをお知らせいたします。SpecForgeは、システムの要求仕様を数学的に厳密な「形式仕様」として記述・分析することで、複雑なシステム開発における品質、生産性、信頼性、そして説明性の向上に貢献します。
プロダクト紹介ページ: SpecForge
自動運転や生成AIをはじめとする、社会のあり方を大きく変える先進的情報技術に対し、論理学に基づくセーフガード技術や論理的説明技術を提供する株式会社イミロン（東京都千代田区、代表取締役：足立正和、以下「イミロン」）は、Abelia Capital 合同会社を引受先とし、シードラウンドで6千万円の資金調達を実施したことをお知らせします。イミロンは今回の資金調達により、更なる研究開発と人員拡大を進め、論理学を土台としたシステム高信頼化サービスのさらなる充実を目指します。
国立研究開発法人 科学技術振興機構における大学発新産業創出プログラム、JST START 起業実証支援の成果（課題名：ソフトウェア品質の論理的説明技術による、自動運転の本格普及の実現・研究代表者：蓮尾 一郎（大学共同利用機関法人 情報・システム研究機構 国立情報学研究所（NII））をもとに「株式会社イミロン」を設立しました。自動運転や生成AIをはじめとする侵襲的新情報技術（社会のあり方を大きく 変える情報技術）に対し、論理学に基づくセーフガード技術や論理的説明技術を提供することで、社会への受け入れ方を明示化し、人間中心の安心・安全な情報化社会の実現に貢献していきます。