OTSUKA Hiroshi 大塚寛

… Alternative Names

大塚寛オオツカヒロシ

OHTSUKA Hiroshi 大塚寛

大塚覚オオツカヒロシ

Less

Researcher Number	30203839
Other IDs
External Links
Affiliation (Current)	2023: 愛媛大学, 理工学研究科(理学系), 准教授
Affiliation (based on the past Project Information) *help	2021: 愛媛大学, 理工学研究科(理学系), 准教授 2009: 愛媛大学, 大学院・理工学研究科, 准教授 2007 – 2008: 愛媛大学, 理工学研究科, 准教授 2002 – 2004: 愛媛大学, 理学部, 助教授 1998: 九州大学, 大学院数理学研究科, 講師 … More 1995 – 1997: 九州大学, 大学院・数理学研究科, 講師 1994: 九州大学, 大学院数理学研究科, 講師 1990 – 1993: 九州大学, 理学部, 助手 Less
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / Basic Section 09070:Educational technology-related / 計算機科学 / 代数学・幾何学 / General mathematics (including Probability theory/Statistical mathematics) / Algebra
Keywords	Principal Investigator regular expression pattern matching / regular expression function / regular expression / finite automaton / model checking / coordination language / 可達性解析 / 軌跡 / 失敗集合 / クリプケ構造 … More / プロセス代数 / モデル検証 / 文字列照合問題 / 正規表現関数 / 正規表現 / 有限オートマトン / モデル検査 / 協調型言語 / π-計算 / CCS / プロセス / 並列計算 / 並列計算モデル / ストリクト性解析 / カテゴリー論 / ド・ブライン記法 / ラムダ計算 … More Except Principal Investigator 有限要素法 / 数値的検証法 / 楕円型境界値問題 / Navier-Stokes方程式 / 精度保証付き数値計算 / 多重比較 / 精度保証付き計算法 / 誤差評価 / 数値化 / 可視化 / 社会性評価システム / 戦術評価システム / スポーツ活動 / eigenvalue problem / Newton method / numerical analysis / numerical verification / computation with guaranteed accuracy / 誤差解析 / 丸め誤差 / 固有値問題 / Newton法 / 数値解析 / 精度保証 / fuzzy graph / fuzzy relation / fuzzy set / category theory / relation algebra / relational calculus / graph grammar / graph transformation / ファジィグラフ / ファジィ関係 / ファジィ集合 / 関係代数 / ファジイグラフ / ファジイ関係 / ファジイ集合 / カテゴリー論 / 関系代数 / 関係計算 / グラフ文法 / グラフ変換 / Quantum groups / Moduli space / Vassiliev invariants / Witten invariant / 3-manifold / Chern-Simons theory / braid group / Conformal field theory / moduli of riemann surfacesリ-マン面のモジュライ空 / solvable lattice models可解格子模型 / quantum group量子群 / conformal field theory共形場理論 / 3ーmanifold3次元多様体 / mapping class goup写像類群 / braid group組紐群 / 結び目理論 / 降中心列 / 写像類群 / モノドロミー表現 / 量子群 / モジュライ空間 / バシリエフ不変量 / ウィッテン不変量 / 3次元多様体 / チャーンサイモンズ理論 / 組みひも群 / 共形場理論 / Nonstandard Analysis / Concurrency / Axiomatic Set Theory / Formal Methods / Complex Systems / 述語論理 / 並行プロセス / 超準解析 / 並行性 / 公理的集合論 / 形式的方法 / 複雑システム / 反復解法 / 微分多様体 / 非線形問題 / 微分形式 / リーマン多様体 / Hadamard変分 / 自由境界問題 / 数値解析学 / カテゴリー / 予測モデル / 統計的検定 / 分割表解析 / ヤコビ形式 / 符号 / アソシエーションスキーム / 楕円型偏微分方程式 / 分割表 / 離散型モデル / 統計解析 / 放物型初期境界値問題 / 生物統計学 / 超幾何分布 / AIC / BROWNーLAVANGE検定 / λーcalculus / 並列処理機構 / セルオ-トマトン / 準不変測度 / 加法的マルチンゲ-ル / アルゴリズム / 非線形方程式 / 最適化 Less

Construction of a social evaluation system demonstrating the solution of social issues through sports activities and research on its implementation
- Principal Investigator
  
  山中亮
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 09070:Educational technology-related
- Research Institution
  Ehime University
Study of finite element analysis on differential manifolds
- Principal Investigator
  
  TSUCHIYA Takuya
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Ehime University
Process algebra based analysis and verification for asynchronous communications appeared in parallel programsPrincipal Investigator
- Principal Investigator
  
  OHTSUKA Hiroshi
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Ehime University
Development of practical methods for rigorous calculation with guaranteed accuracy
- Principal Investigator
  
  YAMAMOTO Nobito
- Project Period (FY)
  1997 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Electro-Communications
  Kyushu University
通信に基づく並列計算モデルのカテゴリー論的意味論Principal Investigator
- Principal Investigator
  
  大塚寛
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
アソシエーションスキームにおけるコードとデザイン
- Principal Investigator
  
  宗政昭弘
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Kyushu University
A funtadamental study on graph transforamtion systems with relational calculus
- Principal Investigator
  
  KAWAHARA Yasuo
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  KYUSHU UNIVERSITY
関数方程式の解に対する精度保証付き数値計算法
- Principal Investigator
  
  中尾充宏
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
離散型多重比較法の数学的基礎と応用
- Principal Investigator
  
  柳川堯
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
通信に基づく並列計算モデルのカテゴリー論的意味論Principal Investigator
- Principal Investigator
  
  大塚寛
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
微分方程式に対する精度保証付き数値計算法
- Principal Investigator
  
  中尾充宏
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
疎な高次分割表の解析理論の研究と計算アルゴリズムの開発
- Principal Investigator
  
  柳川尭
- Project Period (FY)
  1991
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Institution
  Kyushu University
MATHEMATICAL PHYSICS,TOPOLOGY AND RELATED ALGEBRAIC STRUCTURE
- Principal Investigator
  
  KOHNO Toshitake
- Project Period (FY)
  1991 – 1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  代数学・幾何学
- Research Institution
  UNIVERSITY OF TOKYO
  Kyushu University
最適化と近似理論
- Principal Investigator
  
  FURUKAWA Nagata
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
関数方程式に対する自己検証的数値計算法
- Principal Investigator
  
  NAKAO Mitsuhiro
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
Computing Science and Complex systems
- Principal Investigator
  
  TANAKA Syunichi
- Project Period (FY)
  1990 – 1991
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University

All 2021 2008 2007

All Journal Article Presentation

[Journal Article] Evaluation of Football Pass Extraction Using the Offence/Defence Model2021
- Author(s)
  Yamanaka A, Otsuka H, Otsuka D, Ueda S, Diaz-Cidoncha JG, Sugiyama M.
- Journal Title
  
  International Journal of Sports and Physical Education
  
  Volume: 7 Issue: 1 Pages: 19-35
- DOI
  10.20431/2454-6380.0701004
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11333, KAKENHI-PROJECT-21K02834
[Journal Article] Local property of the mountain-pass critical point and mean field equation2008
- Author(s)
  H. Ohtsuka, T. Suzuki
- Journal Title
  
  Differential and Integral Equations 21
  
  Pages: 421-432
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540135
[Journal Article] Blowup analysis for SU(3) Toda system2007
- Author(s)
  H. Ohtsuka, T. Suzuki
- Journal Title
  
  J. Differential Equations 232
  
  Pages: 419-440
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540135
[Presentation] サッカーのフォーメーション評価のための選手のネットワークの構築2021
- Author(s)
  大塚寛, 山中亮
- Organizer
  情報処理学会第84 回全国大会
- Data Source
  KAKENHI-PROJECT-21K02834

1. KAWASAKI Hidefumi (90161306)

# of Collaborated Projects: 6 results

# of Collaborated Products: 0 results
2. YANAGAWA Takashi (80029488)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
3. NAKAO Mitsuhiro (10136418)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
4. YAMAMOTO Nobito (30210545)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
5. KAWAHARA Yasuo (90091181)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
6. FURUKAWA Nagata (50037165)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. 佐藤坦 (30037254)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
8. TANAKA Syunichi (00028127)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
9. KOHNO Toshitake (80144111)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. TSUCHIYA Takuya (00163832)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. 藤野精一 (20037146)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. 小西貞則 (40090550)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. 坂内英一 (10011652)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. SUZUKI Takashi (40114516)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
15. KIMURA Hironobu (40161575)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. NOUMI Masatoshi (80164672)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. KATSURA Toshiyuki (40108444)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. ISHIKAWA Yasushi (70202976)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 梶原壌二 (90037169)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 田中輝雄 (80227149)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 山田美枝子 (70130226)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 宗政昭弘 (50219862)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 笛田薫 (50253399)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 寺田至 (70180081)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. 末吉豊 (80128040)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. 吉田正章 (30030787)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 加藤十吉 (60012481)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. 山中亮 (10782708)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
29. 大塚道太 (10442386)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
30. 美馬秀樹 (30359658)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. 山本智規 (30380257)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. 平尾智隆 (30403851)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. 上田真也 (40616926)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

OTSUKA Hiroshi 大塚 寛

大塚 寛 オオツカ ヒロシ

OHTSUKA Hiroshi 大塚 寛

大塚 覚 オオツカ ヒロシ

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Process algebra based analysis and verification for asynchronous communications appeared in parallel programsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

通信に基づく並列計算モデルのカテゴリー論的意味論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

通信に基づく並列計算モデルのカテゴリー論的意味論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

OTSUKA Hiroshi 大塚寛

大塚寛オオツカヒロシ

OHTSUKA Hiroshi 大塚寛

大塚覚オオツカヒロシ