新年度

こんにちは。株式会社フォーマルテックの早水です。

急に暖かくなってきて、いよいよ春本番ですね。今日は4月最初の平日で、官公庁や企業では新しい年度の始まりだと思います。

この一ヶ月ほど、新しい国産モデル検査ツールの開発で忙しく、記事を更新できませんでした。

開発中のモデル検査ツールは、これまでの事例適用で得たノウハウや、BDD(Binary Decision Diagram)の効率的な演算理論などを実装して、世界最速を目指しております。

現在、試作版まで完成しており、リリースにはもう少し時間がかかるのですが、早くお披露目できるよう頑張りたいと思います。

みなさま、今年度もどうぞよろしくお願いいたします。

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

日本語が含まれない投稿は無視されますのでご注意ください。(スパム対策)