ソフトウェアエンジニアリングシンポジウム2018に参加しませんか?

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

ソフトウェアエンジニアリングシンポジウム(SES)2018に参加しませんか?

今年度もSESで形式手法ワークショップを開催します。岡山県立大学の横川先生と共同で討論リーダを務めます。

討論テーマ(1) : 形式手法-導入支援と技術教育-

参加区分は以下の3つです。

ポジションペーパー(論文)/プレゼンテーションのみ/議論への参加のみ

二日目(2018/9/6)の夜には懇親会が開催されますので、冷えたビールを飲みながら楽しくお話をしましょう。申し込みお待ちしております。

SES2018の討論テーマ

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

SES(ソフトウェアエンジニアリングシンポジウム)2018に提案していた討論テーマ「形式手法-導入支援と技術教育-」が採択されました。岡山県立大学の横川先生と共同で提案させて頂きました。

というわけで、今年も「形式手法ワークショップ」を開催いたします。サブタイトルは-導入支援と技術教育-としておりますが、形式手法に関することであれば何でも大歓迎なので、みなさま、是非、ポジションペーパーをご投稿ください。また、昨年度と同様に発表のみ、議論への参加のみ、聴講のみのご参加も可能とする予定です。

SES2018は9/5~9/7に開催されます。まだまだ暑い時期なので、懇親会でキンキンに冷えたビールで乾杯しましょう!

GW明け

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

ゴールデンウィークが明けましたね。みなさま楽しく過ごされたでしょうか。私は帰省して亡き父の墓参りに行って参りました。娘と息子がお墓の掃除を手伝ってくれたので、天国の父も喜んでいると思います。

今日から、気持ちをリセットして仕事に励みたいと思います。

新年度

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

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

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

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

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

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

設立記念日

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

昨日(3/3)は弊社の設立記念日でした。本日より8年目に突入します。企業の生存率が設立10年後で5%と言われているので、10年間生き残れるのは100社のうち5社ということになるようです。まだ、8年目が始まったばかりですが、是非5%に入れるよう、頑張っていきたいと思います。

これまでお世話になった皆様、本当にありがとうございます。今後ともどうぞよろしくお願い申し上げます。

確定申告

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

明日(2/16)から、申告書の受付が始まりますね。みなさん、されていますか?「確定申告」。私は、トップエスイーのモデル検査講義の講師料を給与として頂いていて、”2箇所以上から給与有り”に該当するので、毎年実施しております。

確定申告って難しい?ややこしい?と思っていらっしゃる方も多いと思いますが、最近はすごく簡単になりました。この時期になると、国税庁のWebサイトに「確定申告書等作成コーナー」というページが開設されて、パソコン上の簡単な操作で申告書を作成できます。

また、パソコンでの入力も面倒!という方は、都市部だと、申告書作成会場という便利なものが臨時開設されるので、行ってみてください。会場にはパソコンが置いてあるのですが、担当の係員の方が”おまかせ”で全てやってくれます(神戸の場合)。

私の場合は会社で年末調整をした後なので、確定申告での還付金はとても少ないですが、居酒屋での飲み代くらいにはなるので、毎年楽しみながら申告書を作成しています。

父の命日

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

私事で恐縮ですが、本日(2/9)は父の命日です。18年前に59歳と少しで亡くなりました。昭和の高度成長期に日本を支えてくれた、いわゆる”モーレツサラリーマン”でした。亡くなる少し前の病床で、母から「今、何がしたい?」と聞かれて、「仕事がしたい」と答えるような人でした。

私は、父と同じように、会社員になり/結婚して/子供を二人授かり/マイホームを建てて・・・生活費を稼いで、ローンを返済するため、がむしゃらに働いてきました。

41歳の時に、あと20年足らずで父親が亡くなった歳になる、と気付いたときに、自分の本当に好きな仕事をやりたい!と思い独立しました。私は仕事一筋ではないですが、モデル検査の仕事は最後の時を迎えるまで携わっていきたいと思っています。

新事業年度

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

当社の事業年度は1月~翌年2月なので、1月が決算月でした。というわけで、2月になったので、新しい事業年度が始まりました!

今年度もモデル検査を含む形式手法の普及に向けて頑張ります。みなさま、どうぞよろしくお願いいたします。

健康診断

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

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

いま、仕事仲間の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 東洋大学)で、形式手法のセッションを立ち上げる予定です。みなさまのご投稿、ご参加をお待ちしております。