東京都千代田区に所在する、2024年設立・社会保険被保険者数4名のIT・ソフトウェア（AI・データ分析）企業。
- 所在地
- 〒101-0054 東京都 千代田区 神田錦町２丁目２番地１
- 法人番号
- 3010401184685
- 所在ビル
- 神田スクエア(81 社)推定
Google ワンタップ・30 秒 ／ ログイン
東京都千代田区に所在する、2024年設立・社会保険被保険者数4名のIT・ソフトウェア（AI・データ分析）企業。
法人向け（製造業）
業種・対象顧客は公開情報をもとに AI が推定したものです。持株会社など グループ経営の会社では、主要な事業会社の業種を表示します。実態と 異なる場合はお問い合わせください。
株式会社イミロンは、国立情報学研究所およびERATO MMSDにおける先端研究を基盤に設立されたテクノロジースタートアップであり、大規模かつ複雑なシステムの安全性と信頼性向上に特化した事業を展開しています。同社は、理論計算機科学における世界クラスの時相論理と形式検証の研究成果を活用し、システムのあるべき振る舞いを数学的に厳密な形式仕様として表現し、自動検証するための革新的なツールと技術を開発しています。特に、予測不能性や不透明性を持つAIコンポーネントを組み込んだシステムにおいて、安全性、高信頼性、そして説明責任を確保するという喫緊の課題に対し、「仕様駆動型エンジニアリング」という新しいパラダイムを提唱し、その実現をサポートしています。 同社の主要事業は、システム開発に関わるコンサルティング、データ解析ソフトウェアの開発、そして設計支援ソフトウェアの開発です。これらの事業の中核をなすのが、AIを活用した形式仕様記述・分析ツール「SpecForge」です。SpecForgeは、開発者が自然言語で記述された要求から数学的に厳密な形式仕様を生成するのを支援し、設計段階での論理的な矛盾や冗長性を早期に発見・修正することを可能にします。これにより、曖昧な要求仕様に起因する手戻りや開発効率の低下を防ぎ、システム品質と生産性の向上に貢献します。また、STLに基づくDSLを用いて、連続時間やアナログ信号を扱うシステムの仕様記述に適しており、最先端の形式分析・検証機能を提供します。 SpecForgeの活用事例としては、実際のデータやシミュレーション結果との照合による信頼性の高い仕様検証、テストシナリオの自動生成、稼働中のシステムから得られるリアルタイムデータを形式仕様と照合する継続的なストリームデータ監視、新機能開発における仕様間の競合検出と冗長性排除による効率化、データ駆動型システムの動作を説明可能な形式仕様として推論・特徴付け、そしてALMや設計ツールとの連携による設計資産の一貫した活用が挙げられます。同社は、自動運転システムやファクトリーオートメーション、医療機器といったAIを搭載した組込みシステムやミッションクリティカルシステムを主要な対象顧客としており、T2との共同プロジェクトを通じて自動運転の安全性検証にも取り組むなど、実績を積み重ねています。2025年にはSpecForgeがEdgeTech+ AWARD 2025 AI設計支援 優秀賞を受賞しており、その技術力と革新性が高く評価されています。同社は、論理学に基づくセーフガード技術と論理的説明技術を通じて、人間中心の安心・安全な情報化社会の実現に貢献することを目指しています。
2026年4月30日 時点。この概要は AI を利用して公開情報から抽出しています。事実と異なる箇所がある場合は お問い合わせください。
株式会社イミロンの直近の動向として、2025年6月13日に複雑なシステム開発を支える形式仕様記述・分析ツール「SpecForge」をリリースしました。続く2025年8月5日にはT2との自動運転の安全性を形式手法で論証する共同プロジェクト開始を公表し、同年8月22日には「SpecForge」を商標出願しています。
社会保険被保険者数は2025年2月から2026年5月にかけて4名のまま推移しており、概ね横ばいとなっています。
プロダクトのリリース、外部企業との共同プロジェクト立ち上げ、商標出願を数ヶ月のうちに連続して進めており、「SpecForge」を軸とした事業展開が中心となっています。
この要約は 2026年5月31日（JST）生成時点の公開情報に基づく AI 要約です。数値は生成時点の情報で、ヘッダやKPIの最新値とは異なる場合があります。 対象イベント 3 件。 事実と異なる箇所がある場合は お問い合わせください。
純利益
-4,821万円
総資産
3,744万円
社会保険被保険者数
4人 · 2026年9月
24期分（2024/10〜2026/09）
被保険者数 前年同月比
0人 · 2026年9月
前年同月 4人（2025年9月）→ 4人（0人）
ROE単体
-377.65% · 2025年7月
1期分（2025/07〜2025/07）
ROA単体
-128.78% · 2025年7月
1期分（2025/07〜2025/07）
自己資本比率単体
34.1% · 2025年7月
1期分（2025/07〜2025/07）
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、株式会社イミロンの決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る解放した会社と並べて比較できます
同地域・同業種で選定
同業種の企業を読み込み中
純利益
-4,821万円
総資産
3,744万円
所在地を問わず同業種で選定
株式会社ジーデップ・アドバンス上場
セカンドサイトアナリティカ株式会社上場
株式会社ＦＲＯＮＴＥＯ上場
株式会社みらい翻訳
株式会社バカン
株式会社ライトアップ上場
株式会社ＲｅｖＣｏｍｍ
Ｒａｐｙｕｔａ Ｒｏｂｏｔｉｃｓ株式会社
株式会社イミロンは商標2件を保有しています。商標は電子機器・ソフトウェア（第9類）の分野が中心です。
商標
2件
ＳｐｅｃＦｏｒｇｅ
電子機器・ソフトウェア・IT・研究開発・デザイン · 登録2026
イミ∞ｉｍｉｒｏｎ
電子機器・ソフトウェア・IT・研究開発・デザイン · 登録2025
データ基準日: 2026年8月6日確認分
