健康診断

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

先日、定期健康診断を受けてきました。お陰さまで、全ての項目で悪い所見はないとのことで、一安心しました。

いま、仕事仲間のHさんが怪我で入院されており、しきりに「健康第一!」とおっしゃるので、今回は、胃の検査をバリウムではなく、思い切って胃カメラに切り替えて、徹底的に調べて頂きました。結果は良好とのことでした。良かったです。

しかし・・・胃カメラは何度やっても苦しいですね。毎年は辛いので、次は3年後くらいにしたいと思います。

Hさんが早くお元気になれるよう祈っております。2/1にお見舞いに行ってきます。寒波で寒い日が続いておりますので、みなさまもご自愛ください。

WWS2018に参加してきました。

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

1/18~1/19に開催されたWWS2018(ウインターワークショップ2018・イン・宮島)に参加して発表を行いました。

タイトルは「モデル検査コンテストについて」です。

モデル検査コンテスト(MoCCon : Model Checking Contest)は、トップエスイープロジェクトが主催する、モデル検査の技術力を競うコンテストです。私はコンテスト課題の作題と、審査委員を務めています。

私が発表したセッション「T4: 形式手法-導入支援と技術教育-」では、13名の方が参加され、9件の発表がありました。7つのセッションのうち、参加者数では2番目に多かったようです。形式手法に興味を持っている方や、既に利用されている方とお話ができて、とても楽しいセッションでした。

次は、ソフトウェアエンジニアリングシンポジウム2018(9/5~9/7 東洋大学)で、形式手法のセッションを立ち上げる予定です。みなさまのご投稿、ご参加をお待ちしております。