Rchr
J-GLOBAL ID:200901000616174280
Update date: Dec. 18, 2024
Otsuka Hiroshi
オオツカ ヒロシ | Otsuka Hiroshi
Affiliation and department:
Job title:
Associate Professor
Research field (4):
Software
, Information theory
, Applied mathematics and statistics
, Basic mathematics
Research keywords (8):
協調型言語
, モデル検査
, 並列計算
, プロセス代数
, coordination language
, model checking
, parallel computation
, process algebra
Research theme for competitive and other funds (17):
- 2021 - 2024 Construction of a social evaluation system demonstrating the solution of social issues through sports activities and research on its implementation
- 2007 - 2009 Study of finite element analysis on differential manifolds
- 2002 - 2004 並列プログラムに現れる非同期型通信のプロセス代数による解析・検証
- 2002 - 2004 Process algebra based analysis and verification for asynchronous communications appeared in parallel programs
- 1997 - 2000 Development of practical methods for rigorous calculation with guaranteed accuracy
- 1995 - 1997 A funtadamental study on graph transforamtion systems with relational calculus
- 1995 - 1995 アソシエーションスキームにおけるコードとデザイン
- 1994 - 1994 関数方程式の解に対する精度保証付き数値計算法
- 1993 - 1993 離散型多重比較法の数学的基礎と応用
- 1991 - 1993 MATHEMATICAL PHYSICS,TOPOLOGY AND RELATED ALGEBRAIC STRUCTURE
- 1992 - 1992 微分方程式に対する精度保証付き数値計算法
- 1991 - 1991 疎な高次分割表の解析理論の研究と計算アルゴリズムの開発
- 1990 - 1991 Computing Science and Complex systems
- 1990 - 1990 関数方程式に対する自己検証的数値計算法
- 1990 - 1990 最適化と近似理論
- 通信に基づく並列計算モデルのカテゴリー論的意味論
- Categorical semantics of parallel computation models based on communications
Show all
Papers (2):
-
Akira Yamanaka, Hiroshi Otsuka, Dota Otsuka, Shinya Ueda, Jorge Diaz-Cidoncha Garcia, Masahiro Sugiyama. Evaluation of Football Pass Extraction Using the Offence/Defence Model. International Journal of Sports and Physical Education. 2021. 7. 1. 19-35
-
Akira yamanaka, Hiroshi Otsuka, Tetsuya Deguti, ken okihara, Dota otsuka, Shinya Ueda, Jorge Diaz-Cidoncha Garcia, Selina Khoo, David Stroud, Masahiro Sugiyama. Tactical analysis through objective data in football. Insight - Sports Science. 2020. 2. 1. 1-15
MISC (27):
-
Ohtsuka Hiroshi, Yamanaka Akira. Building a network of players with soccer tracking data. 2023. 2023. 1. 165-166
-
Ohtsuka Hiroshi, Yamanaka Akira. Constructing a network of players for evaluating formations in soccer. 2022. 2022. 1. 149-150
-
Sato Yusuke, Yamanaka Akira, Ohtsuka Hiroshi. A-017 The pass extraction from an Offense/Defense Model in Soccer. 2015. 14. 1. 145-148
-
大塚寛, 山中亮. サッカーにおけるボールを中心としたゲーム状況の抽出への時間制限付き優勢領域図の適用. 第76回全国大会講演論文集. 2014. 2014. 1. 273-274
-
岩浅真秀人, 大塚寛. 時間制限付き優勢領域図の提案とサッカーの守備の分析への応用. 全国大会講演論文集. 2013. 2013. 1. 451-453
more...
Books (6):
-
基礎数学II
2008
-
基礎数学
2006
-
情報科学-情報リテラシーとコンピュータのしくみ- 第2版
学術図書館出版社 2002
-
Information Science - Computer literacy and mechanism of computer - 2nd edition
Gakujutsu Tosho Shuppan-sha Co.,Ltd. 2002
-
情報科学-情報リテラシーとコンピュータのしくみ-
学術図書館出版社 2000
more...
Lectures and oral presentations (22):
-
Building a network of players with soccer tracking data
(2023)
-
Constructing a network of players for evaluating formations in soccer
(The 84th National Convention of IPSJ 2022)
-
Evaluation of Soccer Defense by Time-Restricted Dominant Region Diagram
(The 83rd National Convention of IPSJ 2021)
-
Constructing polyhedra from polyomino-type polygons - Determining the crease lines
(The 82nd National Convention of IPSJ 2020)
-
Constructing polyhedra from polyomino-type polygons
(The 81st National Convention of IPSJ 2019)
more...
Works (9):
-
サッカーのトラッキングデータからのパス抽出プログラム
大塚 寛 2016 -
-
サッカーのトラッキングデータからの攻守推移判定プログラム
大塚 寛 2015 -
-
TRDRDに基づくサッカーの分析プログラム
大塚 寛 2014 -
-
ParaGraph for VPP-PVM-Introduction to Visualization Tool for PVM over VPP system
1999 -
-
ParaGraph for VPP-PVM-VPPシステム上のPVMのための可視性ツールの紹介- 九州大学九型計算機センター刊,広報 Vol.32,No.2,1999,pp.612
1999 -
more...
Education (4):
- - 1987 Kyushu University
- - 1987 Kyushu University Graduate School, Division of Natural Science
- - 1985 Kyushu University School of Sciences
- - 1985 Kyushu University Faculty of Science
Professional career (2):
Work history (8):
- 2006/04 - 現在 Ehime University Mathematics, Physics, and Earth Sciences, Graduate School of Science and Engineering
- 2005/04 - 2006/03 Ehime University Faculty of Science, Department of Mathematics
- 1999/06 - 2005/03 Ehime University Faculty of Science
- 1994/06 - 1999/05 九州大学 大学院数理学研究科 講師
- 1994 - 1999 Faculty of Mathematics
- 1999 - - Faculty of Science, Ehime University
- 1988/06 - 1994/05 Kyushu University School of Sciences, Department of Mathematics
- 1988 - 1994 Faculty of Science, Kyushu University
Show all
Association Membership(s) (6):
情報処理学会
, 日本ソフトウェア科学会
, 日本数学会
, Information Processing Society of Japan
, Japan Society for Software Science and Technology
, Mathmatical Society of Japan
Return to Previous Page