Under Construction
Interests
Metrological
Information Systems, Software Certification, Formal Verification,
Semantics of programming languages, Theory and applications of
coalgebras
計量情報システム、 ソフトウェア（の）認証、 ソフトウェアの適合性評価技術、 システム検証技術、 数理的手法（含む形式手法）、 プログラミング言語の意味論
Contact Information
Affiliation:
Research Group of Metrological Information Systems
Measurement Standards System Division
National Metrology Institute of Japan (NMIJ)
National Institute of Advanced Industrial Science and Technology (AIST) 
Address:
Tsukuba Central 3, Tsukuba 305-8563, Japan
Phone: +81-29-861-3422
Fax: + 81-29-861-4125
所属：
独立行政法人産業技術総合研究所
計測標準研究部門 計量標準システム科
計量情報システム研究グループ
連絡先：
〒305-8563 茨城県つくば市梅園１−１−１ 中央第３
電話： 029-861-3422
Fax： 029-861-4125
場所：
中央第３事業所 ３−１棟５２７ （９−３１−４３４２２）
Previous Affiliation:
Research Center for Verificaion and Semantics (
) in AIST
Expired at the end of March 2010
前の所属：
独立行政法人産業技術総合研究所 システム検証研究センター
平成１６年４月より６年間の計画でスタートし、最終年度の平成２２年３月末日をもって終了いたしました。
Publications
論文リスト
O.Takaki,
M.Takeyama, H.Watanabe, Verification of correctness of TSR
via PVS
