Katayama Integrated Development
片山総合開発
技術と人間性の調和を追求する
Business
事業内容
形式検証を核として、ソフトウェアの正しさを支える技術の研究開発と実務適用に取り組んでいます。
形式検証
数学的な証明にもとづき、ソフトウェアが仕様どおりに動作することを保証する技術の研究開発を行っています。
品質保証
重要なソフトウェアシステムを対象に、設計から運用まで一貫した品質保証の仕組みづくりを支援しています。
データ科学
厳密さを重視したデータ解析と、その基盤となるシステムの設計・構築に関するコンサルティングを提供しています。
Philosophy
私たちの考え
正しさは、信頼の基盤です。私たちは、証明にもとづくソフトウェアづくりを通じて、安心して使える技術を社会に届けることを目指しています。