Rchr
J-GLOBAL ID：200901032628277130
Update date: Dec. 08, 2014
Machi Hidetomo
マチ ヒデトモ | Machi Hidetomo
Contact this researcher
You can send email directly to the researcher.
Affiliation and department：
Tokiwa University College of Community Development, Department of Community Culture
About Tokiwa University College of Community Development, Department of Community Culture
Search "Tokiwa University College of Community Development, Department of Community Culture"
Detailed information
Research field (2)：
Software
, Information theory
Research keywords (1)：
形式的検証
Research theme for competitive and other funds (1)：
時制を扱う論理の構築,および検証への適用
Professional career (1)：
工学 (筑波大学)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
