OTSUKA Hiroshi

J-GLOBAL         Last updated: Dec 28, 2018 at 10:55
 
Avatar
Name
OTSUKA Hiroshi
Affiliation
Ehime University
Section
Graduate School of Science and Engineering, Mathematics, Physics, and Earth Sciences, Graduate School of Science and Engineering Mathematics,Physics, and Earth Sciences
Job title
Associate Professor

Research Areas

 
 

Academic & Professional Experience

 
1999
   
 
- Faculty of Science, Ehime University
 
1994
 - 
1999
 Faculty of Mathematics
 
1988
 - 
1994
 Faculty of Science, Kyushu University
 

Education

 
 
 - 
1987
Graduate School, Division of Natural Science, Kyushu University
 
 
 - 
1985
Faculty of Science, Kyushu University
 

Misc

 
Model checking of parallel process based on coordination language
Research Institute for Mathematical Sciences, Kyoto UniversityRIMS Kokyuroku   1325 98-103   2003
Mori Masao, Ohtsuka Hiroshi, Inokuchi Shuichi
Research reports on computer science, Computer Center, Kyushu University   16 49-55   Jul 1999
A CATEGORICAL MODEL OF λ-CALCULUS BASED ON DE BRUIJN'S NAME-FREE EXPRESSIONS
Bulletin of Informatics and Cybernetics   23 3-4   1989
COMPARISON OF TWO CATEGORICAL MODELS OF TYPED λ-CALCULUS
Bulletin of Informatics and Cybernetics   24 3-4   1991
A SYMBOLIC CALCULUS OF REGULAR EXPRESSIONS
Bulletin of Informatics and Cybernetics   22 3-4   1987

Books etc

 
Information Science - Computer literacy and mechanism of computer -
Gakujutsu Tosho Shuppan-sha Co.,Ltd.   2000   
Information Science - Computer literacy and mechanism of computer - 2nd edition
Gakujutsu Tosho Shuppan-sha Co.,Ltd.   2002   

Conference Activities & Talks

 
Pass Extraction from Tracking Data of Soccer by Change Detection
MURAKAMI Isamu, OTSUKA Hiroshi
sjciee   22 Sep 2018   
An improvement of an Offense/Defense Model in Soccer by change detection
OTSUKA Hiroshi, YAMANAKA Akira
15 Mar 2018   
An Evaluation of Pass Extraction based on an Offense/Defense Model in Soccer
OTSUKA Hiroshi, YAMANAKA Akira
10 Mar 2016   
Sato Yusuke, Yamanaka Akira, Ohtsuka Hiroshi
第14回情報科学技術フォーラム   24 Aug 2015   
An Evaluation of an Offence/Defence Model in Soccer based on Time-Restricted Dominant Region Diagrams
YAMANAKA Akira, OTSUKA Hiroshi
16 Mar 2015   

Works

 
Using Mathematica at Educational Ceuter for Information Processing
1997
ParaGraph for VPP-PVM-Introduction to Visualization Tool for PVM over VPP system
1999

Research Grants & Projects

 
Categorical semantics of parallel computation models based on communications
Process algebra based analysis and verification for asynchronous communications appeared in parallel programs
Grant-in-Aid for Scientific Research
Project Year: 2002 - 2004