株式会社 proof ninja

proof ninjaは証明支援系Coqや関数型プログラミング言語OCamlを使って、確かなソフトウェアを提供します。

業務内容

ソフトウェア検証/開発

関数型プログラミングと証明支援系の技術で高信頼ソフトウェア開発を実現します。

コンサルティング

証明支援系を使った高信頼ソフトウェア開発に関してご相談ください。

セミナー/社員教育

証明支援器や関数型プログラミングを習得する技術セミナーを行います。

会社概要

会社名 (英文表記)

株式会社proof ninja (proof ninja, Inc)

代表取締役

今井宜洋 プロフィール詳細

所在地

〒174-0072 東京都板橋区南常盤台1-11-6

設立

2019年09月02日

資本金

1100万円 (資本剰余金含む)

主要取引先

取引金融機関名

  • GMOあおぞらネット銀行
  • 三菱UFJ銀行

お問い合わせ

contact@proof-ninja.co.jp