福岡県福岡市中央区に所在する、2024年設立・社会保険被保険者数2名のIT・ソフトウェア（サイバーセキュリティ）企業。
- 所在地
- 〒810-0041 福岡県 福岡市中央区 大名２丁目６番１１号
- 法人番号
- 2290001107706
Google ワンタップ・30 秒 ／ ログイン
福岡県福岡市中央区に所在する、2024年設立・社会保険被保険者数2名のIT・ソフトウェア（サイバーセキュリティ）企業。
法人向け（IT・ソフトウェア・金融・保険）
業種・対象顧客は公開情報をもとに AI が推定したものです。持株会社など グループ経営の会社では、主要な事業会社の業種を表示します。実態と 異なる場合はお問い合わせください。
Ｉｎｆｅｒａｒａ株式会社は、形式手法を用いて重要なデジタルシステムや金融システムの安全性・信頼性を検証するソフトウェア開発・技術コンサルティング企業である。同社は、システム設計段階でアーキテクチャ、実行セマンティクス、運用上の前提条件を調査し、静的コード解析、ASTモデリング、リンク解決、型推論、データフロー解析、制御フロー解析、定理証明、モデル検査を組み合わせて技術的リスクを特定する。CoqやTLA+を専門領域とし、WebAssemblyなど低レベル実行環境の制約にも対応。形式手法とゲーム理論に基づき、プログラムの正しさだけでなく、分散システムや金融プロトコルにおける参加者の行動、インセンティブ、重大な不変条件も評価する。主な顧客は、障害や脆弱性が重大な損失につながるソフトウェア開発組織、金融インフラ事業者、ブロックチェーン関連の技術・リスク・セキュリティ部門である。 受託サービスでは、対象範囲の設定、リポジトリなどへの一時的な読み取り専用アクセス、仕様・コード・設計の詳細分析、経営判断に利用できる評価報告、アクセス権の失効という工程を採る。成果物には、アーキテクチャの耐障害性、実装状況、トレードオフ、優先度付きの改善施策、現実の参加者行動を踏まえたシステム挙動の分析を含む。製品事業では、コードの性質を記述して形式的に証明できるオープンソース言語「Inference」を中核に、SorobanスマートコントラクトをWASMからRustへ復元する「Stellar Soroban Decompiler」、脆弱性情報・監査・ガバナンス資料を扱う「Soroban Security」を展開する。加えて、証明のデバッグと自動補完を行う「Inference Studio」を開発し、文書作成、表計算、プレゼンテーション作成、ウェブ調査を自律実行する法人向けAIアシスタント「Haruno」を販売する。オープンソース製品による技術普及と、機密性を重視した有償評価、商用ソフトウェアを組み合わせた事業構成に特徴がある。
2026年8月27日 時点。この概要は AI を利用して公開情報から抽出しています。事実と異なる箇所がある場合は お問い合わせください。
社会保険被保険者数
2人 · 2026年9月
20期分（2025/02〜2026/09）
被保険者数 前年同月比
+1人 · 2026年9月
前年同月 1人（2025年9月）→ 2人（+1人）
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、Ｉｎｆｅｒａｒａ株式会社の決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る解放した会社と並べて比較できます
同地域・同業種で選定
同業種の企業を読み込み中
所在地を問わず同業種で選定
株式会社Ａｃｏｍｐａｎｙ
株式会社ショーケース上場
イー・ガーディアン株式会社上場
グローバルセキュリティエキスパート株式会社上場
ＨＥＮＮＧＥ株式会社上場
ダイワ通信株式会社上場
株式会社フーバーブレイン上場
ｅ－Ｊａｎネットワークス株式会社
