01 / 10ページ

DeepTechプレA自動運転形式手法

数理論理学で自動運転の安全性を証明する

DG Daiwa Venturesリード・国立情報学研究所発スピンアウト

1.4億円

プレシリーズA 2026-06-01

自動運転・フィジカルAIの安全性を数学的に証明する形式手法検証基盤

02 / 10ページ

Contents

会社概要

04 / 10ページ

Business Model

ビジネスモデル

05 / 10ページ

Strategic Insights

課題とソリューション

06 / 10ページ

Strategic Insights

市場機会

07 / 10ページ

Competition

競合分析

	イミロン（SpecForge）	Mathworks（Simulink Design Verifier）	dSPACE	Vector	欧米の形式手法スタートアップ
形式手法の深さ	◎	○	○	△	◎
実務への適用性	◎	◎	◎	○	△
LLM統合	◎	△	×	×	○
自動車業界実績	○	◎	◎	◎	×
導入障壁の低さ	◎	○	○	○	△

差別化ポイント

世界トップクラスの理論計算機科学（蓮尾教授の論文200編超、文部科学大臣表彰受賞）と自動車業界の実務知見（足立CEOのデンソーR&D経験）の融合。LLM×形式手法という最新アプローチで、従来は専門家しか使えなかった形式手法を実務レベルで民主化。

MOAT

技術MOAT（データ×ネットワーク効果の複合）: 蓮尾教授のJST ERATOプロジェクトで蓄積された10年超の基礎研究が参入障壁。自動車業界での実装データが蓄積されるほど形式仕様ライブラリが充実し、横展開が加速するデータMOATが構築。ティア1サプライヤーへの導入が進めば、サプライチェーン全体で標準化されるネットワーク効果も発生。

08 / 10ページ

Evaluation

投資評価

TOTAL SCORE

★4.3

26 / 30

市場性

★★★★★

フィジカルAI市場CAGR36%、政府50兆円投資。TAM144兆円超の巨大市場で、自動運転・産業用ロボット・医療機器など規制対応必須の全領域が対象。市場タイミングが完璧。

?

ビジネスモデル

★★★★☆

エンタープライズSaaS＋コンサルティングのハイブリッド。高粗利率が期待できるが、ミッションクリティカル領域への導入には長期の実証・信頼構築が必要。初期は高単価案件でLTV確保。

?

Why Now

★★★★★

2026年フィジカルAI元年。規制強化と説明責任要求で形式手法が必須化。国際基準策定が進み、セーフティケースが事実上の標準に。時代が技術を求めている状態。

?

チーム

★★★★★

デンソーR&Dヘッド×NII教授（論文200編超）×オックスフォード博士。Founder-Market Fit完璧。顧客課題の深い理解と世界最高峰の技術を創業チームで完結。

?

プロダクト

★★★★☆

形式手法の民主化は革新的だが、実績蓄積はこれから。技術的優位性は明確で、EdgeTech+ AWARD優秀賞が業界からの評価を示す。LLM統合が差別化要因。

?

調達シグナル

★★★☆☆

DG Daiwa Venturesリードは好材料だが、調達額1.4億円はプレA標準レベル。シード6,000万円からの順調な積み上げだが、爆発的なシグナルではない。今後の成長次第。

?

09 / 10ページ

Strategic Insights

3つの戦略的示唆

10 / 10ページ

References

参照情報・用語解説

公式・記事

参照記事を見る: PRTimes 公式サイトを見る

投資家

DG Daiwa Ventures三菱UFJキャピタルごうぎんキャピタルAbelia Capital

出典ソース (8件)

イミロン株式会社公式サイト

イミロン株式会社

プレシリーズAラウンド資金調達のお知らせ

PR TIMES

蓮尾一郎教授プロフィール

国立情報学研究所

自動走行システムの安全性評価フレームワーク

経済産業省

自動運転車の安全性に関する国際基準

日本自動車工業会

フィジカルAI・AI基盤モデル開発支援（令和8年度予算）

経済産業省

イミロン企業情報（INITIAL）

INITIAL

イミロン企業情報（STARTUP DB）

STARTUP DB

用語解説 (8件)

PMF ピーエムエフ startup

Product Market Fit（プロダクト・マーケット・フィット）の略。顧客が本当に欲しがるプロダクトを、適切な市場に提供できている状態。スタートアップの最重要マイルストーンで、PMF達成前後で成長曲線が劇的に変わる。

Founder-Market Fit ファウンダー・マーケット・フィット startup

創業者の経験・専門性・ネットワークが、参入する市場と完璧に合致している状態。顧客のペインを体験的に理解し、業界の深い知見と人脈を持つ創業者は、PMF到達確率が圧倒的に高い。

MOAT モート startup

競合優位性・参入障壁のこと。城の周りの「堀」に由来し、技術特許、ネットワーク効果、ブランド、規制、データ蓄積など、競合が簡単に追いつけない構造的優位性を指す。持続的成長にはMOATの構築が不可欠。

PSF ピーエスエフ startup

Problem Solution Fit（プロブレム・ソリューション・フィット）の略。顧客の課題（Problem）に対して、提供するソリューション（Solution）が適切にフィットしている状態。PMFの前段階で、まず課題とソリューションの整合性を検証する。

形式手法けいしきしゅほう industry

数理論理学に基づいてソフトウェアやシステムの正しさを数学的に証明する手法。自然言語の曖昧な仕様ではなく、論理式で厳密に記述し、自動検証ツールで矛盾や不具合を検出できる。航空宇宙・自動運転など安全性が最重要の領域で必須技術。

STL（信号時時相論理）エスティーエル（しんごうじじそうろんり） industry

Signal Temporal Logicの略。時系列データの振る舞いを論理式で記述する形式言語。自動運転やロボットなど、連続的な信号データを扱うシステムの仕様記述・検証に適しており、形式手法の中核技術の一つ。

セーフティケースせーふてぃけーす industry

システムが安全であることを論理的・体系的に論証した文書。自動運転車など安全性が最重要のシステムでは、規制当局への説明責任として作成が義務化されつつある。形式手法による数学的証明が、セーフティケースの信頼性を高める。

DevSpecOps でぶすぺっくおぷす industry

イミロンが提唱する、形式仕様を中心に据えた開発・運用プロセス。設計・実装・運用・改善の全フェーズで一貫した仕様を活用し、デプロイメントギャップを解消する。従来のDevOpsに仕様駆動の概念を統合した新しいアプローチ。

本記事はClaude (Anthropic) を用いてPR TIMES公開情報・公開市場調査をもとにAIが自動生成したものです。投資助言ではありません。事実関係は必ず一次情報をご確認ください。

生成日: 2026-06-03

数理論理学で自動運転の安全性を証明する

目次

会社概要

ビジネスモデル

課題とソリューション

市場機会

競合分析

投資評価

3つの戦略的示唆

参照情報・用語解説

公式・記事

投資家

出典ソース (8件)

用語解説 (8件)