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 茨城県つくば市梅園1−1−1 中央第3
電話: 029-861-3422
Fax: 029-861-4125
場所:
中央第3事業所 3−1棟527 (9−31−43422)
Previous Affiliation:
Research Center for Verificaion and Semantics (
) in AIST
Expired at the end of March 2010
前の所属:
独立行政法人産業技術総合研究所 システム検証研究センター
平成16年4月より6年間の計画でスタートし、最終年度の平成22年3月末日をもって終了いたしました。
Publications
論文リスト
O.Takaki,
M.Takeyama, H.Watanabe, Verification of correctness of TSR
via PVS