フィジカルAIの安全性検証を数理論理で支える──イミロン、総額1.4億円を調達
法人番号 3010401184685
事業概要
事業概要
- 株式会社イミロンは、論理学を活用したデータ解析ソフトウエア、設計支援ソフトウエアの開発などを行う企業。 同社は、自動運転や生成AI(人工知能)をはじめとする先進的情報技術に対し、論理学に基づくセーフガード技術や論理的説明技術を用いたソフトウエアの開発などを行う。生成AIとは、大量のデータを学習し、画像や文章、音楽などさまざまな分野で新しいコンテンツを生み出すことができるAI技術。同社は、『製品開発ライフサイクルを一気通貫する要求仕様の形式記述・解析技術』や、『数学的証明に基づく、高度自律システムの安全性論証技術』などのサービスを行う。
代表者
代表者
- 足立正和
住所
住所
- 東京都千代田区神田須田町2丁目3番地12
設立
設立
- 2024年8月20日
スタートアップの詳細データはKEPPLE DBへ
STARTUP NEWSLETTER
スタートアップの資金調達情報を漏れなくキャッチアップしたい方へ。
1週間分の資金調達情報を毎週お届けします。
※登録することでプライバシーポリシーに同意したものとします
※配信はいつでも停止できます
