2002 - 2004 Process algebra based analysis and verification for asynchronous communications appeared in parallel programs
1997 - 2000 精度保証付き計算法の開発と実用化
1995 - 1997 関係計算に基づくグラフ変換システムの基礎研究
1995 - 1995 アソシエーションスキームにおけるコードとデザイン
1994 - 1994 関数方程式の解に対する精度保証付き数値計算法
1993 - 1993 離散型多重比較法の数学的基礎と応用
1991 - 1993 数理物理と位相幾何学及び関連する代数構造
1992 - 1992 微分方程式に対する精度保証付き数値計算法
1991 - 1991 疎な高次分割表の解析理論の研究と計算アルゴリズムの開発
1990 - 1991 計算科学と複雑システム
1990 - 1990 関数方程式に対する自己検証的数値計算法
1990 - 1990 最適化と近似理論
通信に基づく並列計算モデルのカテゴリー論的意味論
Categorical semantics of parallel computation models based on communications
全件表示
論文 (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
情報処理学会
, 日本ソフトウェア科学会
, 日本数学会
, Information Processing Society of Japan
, Japan Society for Software Science and Technology
, Mathmatical Society of Japan