東京都板橋区に所在する、2019年設立・社会保険被保険者数1名のIT・ソフトウェア（受託開発）企業。
- 所在地
- 〒174-0072 東京都 板橋区 南常盤台１丁目１１－６レフア南常盤台１０１号室
- 法人番号
- 1011401022060
- 所在ビル
- レフア南常盤台(268 社)
東京都板橋区に所在する、2019年設立・社会保険被保険者数1名のIT・ソフトウェア（受託開発）企業。
法人向け（IT・ソフトウェア・教育・研修）行政向け
業種・対象顧客は公開情報をもとに AI が推定したものです。持株会社など グループ経営の会社では、主要な事業会社の業種を表示します。実態と 異なる場合はお問い合わせください。
株式会社ｐｒｏｏｆ ｎｉｎｊａは、形式検証ツール、関数型プログラミング言語、証明支援系を用いたソフトウェア検証・開発を主力事業とする。同社は、プログラムの性質や処理の正しさを数学的に証明する技術を開発工程へ組み込み、信頼性が重視されるソフトウェアの設計、実装、検証を手掛ける。形式検証を利用した開発に関する技術相談にも対応し、検証手法の選定や証明支援系の導入を支援する点に特徴がある。 このほか、証明支援系と関数型プログラミングを学ぶ技術セミナーや社員教育を実施する。ソフトウェア開発、技術コンサルティング、法人・研究機関向け研修を組み合わせ、専門技術を案件単位または教育サービスとして提供するビジネスモデルを構成する。主要取引先にはダイラムダ株式会社、名古屋大学、国立情報学研究所、株式会社Everforthがあり、民間企業に加えて大学や学術研究機関との取引実績を持つ。数学的証明に基づく検証技術と、開発実務から人材育成まで扱う専門性が強みである。
2026年9月13日 時点。この概要は AI を利用して公開情報から抽出しています。事実と異なる箇所がある場合は お問い合わせください。
無料登録すると、各データの中身を表示できます
収録データなし: 決算・組織再編・公共調達・知的財産権・ニュース・ネガティブ情報・所属団体
社会保険被保険者数
1人 · 2026年10月
35期分（2023/12〜2026/10）
被保険者数 前年同月比
0人 · 2026年10月
前年同月 1人（2025年10月）→ 1人（0人）
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、株式会社ｐｒｏｏｆ ｎｉｎｊａの決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る解放した会社と並べて比較できます
同地域・同業種で選定
他の27社
同業種の企業を読み込み中
おすすめ書籍（PR）10冊 →
チームトポロジー
マシュー・スケルトン
図解即戦力 ソフトウェア業界のしくみとビジネスがこれ1冊でしっかりわかる教科書
山本一将
ソフトウェア・ファースト
及川卓也
エンジニアリングマネージャーのしごと
ジェームズ・スタニエ
Measure What Matters 伝説のベンチャー投資家がGoogleに教えた成功手法 OKR
ジョン・ドーア
LEAN IN 女性、仕事、リーダーへの意欲
シェリル・サンドバーグ
親と子の「伝える技術」 : 子どもの「表現する力」を楽しく育てる3つの習慣
三谷,宏治
学びを結果に変えるアウトプット大全
樺沢紫苑
起業の天才! : 江副浩正8兆円企業リクルートをつくった男
大西,康之,1965-
小倉昌男経営学
小倉,昌男,1924-2005
社会保険被保険者数
1人 · 2026年10月
35期分（2023/12〜2026/10）
被保険者数 前年同月比
0人 · 2026年10月
前年同月 1人（2025年10月）→ 1人（0人）
所在地を問わず同業種で選定
