東京都千代田区に所在する、2024年設立・従業員（被保険者）4名のIT・ソフトウェア（AI・データ分析）企業。
- 所在地
- 〒101-0041 東京都 千代田区 神田須田町２丁目３番地１２
- 法人番号
- 3010401184685
- 所在ビル
- KTCビル(17 社)
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-05-31 に AI が公開情報をもとに生成しています。 対象イベント 3 件。 事実と異なる箇所がある場合は お問い合わせください。
純利益
-4,821万円
総資産
3,744万円
従業員数（被保険者）
4人 · 2026年8月
23期分（2024/10〜2026/08）
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 種類のツールを提供。
接続方法を見る株式会社ｅＭｉｎｄ
株式会社eMindは、「人々の心と体の健康を支援し社会へと貢献する」をミッションに掲げ、メンタルヘルス領域におけるデジタルトランスフォーメーション（DX）を推進…
株式会社ジースポート
株式会社ジースポートは、バイオメカニクスとAIをコアテクノロジーとし、ヘルスケアITソリューションを提供する研究開発型ベンチャー企業です。同社は、身体機能をデー…
レプリスクジャパン株式会社
レプリスクジャパン株式会社は、ビジネス行動リスクに関する透明性を提供し、より良い意思決定を促進することで、ポジティブな変化を推進することをミッションとする企業で…
株式会社ディライト
株式会社ディライトは、AIを活用した電話自動化ソリューション「DELIGHT」を提供する企業です。同社は、インバウンドおよびアウトバウンドの電話コミュニケーショ…
株式会社Ｓｉｎｇｕｌａｒ Ｐｅｒｔｕｒｂａｔｉｏｎｓ
株式会社Singular Perturbationsは、「世界の悲しい経験を減らす」というビジョンのもと、コンピューターサイエンスがもたらす知能で安全に関わる全…
株式会社ミエルカ防災
株式会社ミエルカ防災は、地震の主要動の到来を事前に精度よく速報することで、顧客の生命と財産を守ることを目指す防災ソリューション企業です。同社の主要事業は、気象庁…
株式会社ディートレーダー
株式会社ディートレーダーは、コンピュータシステム開発およびインターネット情報提供サービスを主要事業とするIT企業です。同社は「より良く、お客様のために」をモット…
ブロードバンドジャパン株式会社
ブロードバンドジャパン株式会社は、ヘルスケアとAI技術を融合させ、働く人々の健康と企業の成長を支援するソリューションを提供しています。同社の主要事業は、ヘルスケ…
Ｄｒｅａｍｔｏｎｉｃｓ株式会社
Dreamtonics株式会社は、ボーカルプロダクション、音声技術、コンピューターミュージック、および電子音楽に特化した東京を拠点とするスタートアップ企業です。…
株式会社Ｈａｋｏｂｕｎｅ
株式会社HAKOBUNEは、「テクノロジーで、事業の可能性を拡張する」をミッションに掲げ、AI開発・システム構築・SEOコンサルティング・SaaSプロダクトの提…
株式会社ＭＯＶＩＭＡＳ
株式会社MOVIMASは、「モバイル技術を活用して社会インフラを豊かにする」を企業理念に掲げ、IoT/M2M分野に特化したコンサルティングおよびソリューション提…
スジテク合同会社
スジテク合同会社は、人工知能研究を基盤に、音声合成システムや自然言語処理に関する技術開発を手がける企業である。同社はSujitech, LLC.と連携する日米拠…
株式会社ＧｅｅｋＡｃａ
株式会社GeekAcaは、AIソリューション開発、外国人人材の育成、有料職業紹介を事業内容に掲げる企業である。同社は機械学習アルゴリズムの研究開発、LLMや生成…
ＡＩＣＲＯ株式会社
AICRO株式会社は、医療とAIの融合を通じて、新薬開発の臨床試験・治験を支援するCRO業務のデジタルトランスフォーメーションをミッションとする企業です。共同代…
ビッグデータ・ビジネス
鈴木,良介
データ活用ビジネスの全体像
株式会社イミロンは商標2件を保有しています。商標は電子機器・ソフトウェア（第9類）の分野が中心です。
商標
2件
ＳｐｅｃＦｏｒｇｅ
電子機器・ソフトウェア・IT・研究開発・デザイン · 登録2026
イミ∞ｉｍｉｒｏｎ
電子機器・ソフトウェア・IT・研究開発・デザイン · 登録2025
データ基準日: 2026年8月6日確認分
