計測と制御 Vol. 48, No. 11 目次

［総論］形式検証技術の数理－安心・安全なシステム構築に向けて

平石邦彦(北陸先端大)

［解説］モデル検査入門

土屋達弘，菊野亨(大阪大)

［解説］時間オートマトンによる実時間システムの形式的検証

中田明夫(広島市立大)

［解説］組込みシステムにおけるハイブリッドオートマトンの形式的手法

山根智(金沢大)

［解説］代数仕様に基づく実時間システムの検証

緒方和博(北陸先端大)

［解説］離散事象システムにおける可診断性の検証

高井重昌(大阪大)

［解説］モデル検査の開発現場への導入

篠崎孝一(関西電力)，早水公二(メルコ・パワー・システムズ)

［技術報告］ 2009年度技術賞受賞紹介記事：Haar-Like特徴を用いた顔画像計測技術

羽島一夫，枝澤一寛，松下雅仁，三輪祥太郎，鹿毛裕史(三菱電機)

マイクジョーンズ(MERL, USA)

［学界だより］ ICCAS-SICE2009における国際標準化活動に関するOrganized Session開催報告

瀬尾和男(三菱電機)

［学界だより］ Asia-Pacific Symposium on Measurement of Mass, Force and Torque (APMF2009)

林敏行(産総研)

［部門だより］離散事象システム部会の紹介

小林孝一(北陸先端大)

［書評］「単位の歴史測る・計る・量る」(イアン・ホワイトロー著，冨永星訳，高田誠二解説)

黒須茂(クロテック)

［書評］「自己組織化マップとそのツール」(大北正昭，徳高平蔵，藤村喜久郎，権田英功編)

満倉靖恵(東農工大)

［さいすらん］「計測制御エンジニアだより」SICE計装技術交流部会「良く見る会」(独)理化学研究所和光研究所見学会

［編集後記］

北川慎治(富士電機システムズ)