業務論文です。pdf版はこちら。要旨は以下の通り。 In the extended abstract, our on-going research project Verification Tool and Unified Specifications for Embedded Software is explained. In the project, we are developing an upper-process sup…

朝早く起床、新幹線で東京へ。ちょっと熱が高い（しかし発表後は平熱に戻った、遠足の日に熱を出す小学生のようだ）。W大で開かれた国際会議に出席、発表を行う。ストップウォッチをスプリットにしてしまい、途中に何分たったか分からなくなってしまったが、…