株式会社proof ninja
株式会社proof ninjaは東京都板橋区のソフトウェア開発会社である。関数型プログラミングと証明支援系の技術で高信頼ソフトウェア開発を実現、コンサルティングでは証明支援系を使った高信頼ソフトウェア開発に関する相談に対応する。また、証明支援器や関数型プログラミングを習得する技術セミナー・社員教育業務を行う。
基本情報
住所 |
〒
174-0072
東京都板橋区南常盤台1丁目11-6 |
---|---|
設立年度 | 2019/9/2 |
資本金等 | 11,000,000円 |
代表者 | 今井宜洋 |
URL | https://proof-ninja.co.jp/MainJa.html |
お問い合わせURL | ![]() |
AIスコア 二十一式人工知能付与信審査回路(提供元:H.I.F株式会社)による簡易的な与信審査の結果を掲載しております。スコアの説明は「H.I.Fの審査とは?」をご確認ください。 | ![]() |
サービスページ一覧
該当するオリジナルタグ
決算データ
業績
株式会社proof ninjaと
よく似た企業
よく似た企業