English
日本語
株式会社 proof ninja
proof ninjaは数学的に証明されたソフトウェアを開発します。
業務内容
ソフトウェア検証/開発
関数型プログラミングと証明支援系の技術で高信頼ソフトウェア開発を実現します。
コンサルティング
証明支援系を使った高信頼ソフトウェア開発に関してご相談ください。
セミナー/社員教育
証明支援器や関数型プログラミングを習得する技術セミナーを行います。
会社概要
会社名 (英文表記)
株式会社ｐｒｏｏｆ ｎｉｎｊａ (proof ninja, Inc)
代表取締役
今井宜洋
プロフィール詳細
所在地
〒174-0072 東京都板橋区南常盤台1
設立
2019年09月02日
資本金
1100万円 (資本剰余金含む)
関連会社
主要取引先
取引金融機関名
お問い合わせ
contact@proof-ninja.co.jp