Proof Checker PRO導入事例：西尾市役所 様を公開。