フルーリオ株式会社は、「数学で宇宙の謎を全て解く」というビジョンを掲げ、形式手法と最先端の数学理論研究を核とした事業を展開しています。同社の主要事業は、数学的証明に基づく厳密なシステム設計を提供する「形式手法によるシステム設計」です。これは、暗号プロトコル、分散システム、高い信頼性が要求されるソフトウェアに対し、実装前にバグや脆弱性を数学的に排除し、真の安全性を実現するものです。仕様を形式的に記述することで設計の透明性を高め、国際標準化や監査における説明責任を果たすとともに、長期的な信頼性と攻撃ベクトルの特定を可能にします。 また、同社は定理証明支援系LEANを用いた「数学理論研究」にも注力しており、フルーリオ数学における変分原理の形式化に成功した実績を持ちます。現在は、数学最大の未解決問題であるリーマン予想の形式化研究を進めています。LEANを活用することで、人間が書いた証明の正しさをコンピュータで厳密に検証し、論理的な誤りを完全に排除できる点が強みです。 さらに、同社はW3C諮問委員会メンバーとして、「AMATELUSプロトコル国際標準化」を推進しています。このプロトコルは、分散型識別子（DID）とゼロ知識証明（ZKP）を統合したもので、暗号学的完全性、信頼伝播の正当性、プライバシー保護の完全性、脆弱性の限定性を数学的に証明しています。これらの活動を通じて、同社はセキュリティクリティカルなシステムを開発する企業や、国際標準化に関わる組織、高度な数学的検証を求める研究機関などを主な顧客とし、最先端の数学的保証と形式検証技術を提供することで、社会の信頼性と安全性の向上に貢献しています。
売上高
1,250万円
純利益
-16万円
総資産
361万円
従業員数（被保険者）
1人 · 2026年5月
30期分（2023/12〜2026/05）
ROE_単体
—% · 2020年12月
1期分（2020/12〜2020/12）
ROA_単体
-4.3% · 2020年12月
1期分（2020/12〜2020/12）
自己資本比率_単体
-1.52% · 2020年12月
1期分（2020/12〜2020/12）
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、フルーリオ株式会社の決算公告・登記履歴・役員・関係企業・知財・政府調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る
