ソフトウェアの開発を楽にし、不具合を可能な限り排除すること
Linterやソフトウェアの静的解析に関わるにつれて、多くのソフトウェア開発で生じる不具合は、もっと機械的に減らせるはずだと考えるようになりました。型理論やソフトウェア解析、形式手法などを学び、産業界で利用しやすいソフトウェアを開発したいです。
要望、不具合報告、使いづらい点や感想など、お気軽にお寄せください。
いただいたご意見は、今後のサービス向上に活用させていただきます。
なお、このフォームは受付専用のため、返信を行っておりません。
返信を希望する場合はお問い合わせよりご連絡ください。