大塚寛 OTSUKA Hiroshi

… 別表記

大塚覚オオツカヒロシ

研究者番号	30203839
その他のID
外部サイト
所属 (現在)	2025年度: 愛媛大学, 理工学研究科(理学系), 准教授
所属 (過去の研究課題情報に基づく) *注記	2021年度 – 2023年度: 愛媛大学, 理工学研究科(理学系), 准教授 2009年度: 愛媛大学, 大学院・理工学研究科, 准教授 2007年度 – 2008年度: 愛媛大学, 理工学研究科, 准教授 2002年度 – 2004年度: 愛媛大学, 理学部, 助教授 1998年度: 九州大学, 大学院数理学研究科, 講師 … もっと見る 1995年度 – 1997年度: 九州大学, 大学院・数理学研究科, 講師 1994年度: 九州大学, 大学院数理学研究科, 講師 1990年度 – 1993年度: 九州大学, 理学部, 助手隠す
審査区分/研究分野	研究代表者数学一般(含確率論・統計数学) 研究代表者以外数学一般 / 小区分09070:教育工学関連 / 計算機科学 / 代数学・幾何学 / 数学一般(含確率論・統計数学) / 代数学
キーワード	研究代表者 regular expression pattern matching / regular expression function / regular expression / finite automaton / model checking / coordination language / 可達性解析 / 軌跡 / 失敗集合 / クリプケ構造 … もっと見る / プロセス代数 / モデル検証 / 文字列照合問題 / 正規表現関数 / 正規表現 / 有限オートマトン / モデル検査 / 協調型言語 / π-計算 / CCS / プロセス / 並列計算 / 並列計算モデル / ストリクト性解析 / カテゴリー論 / ド・ブライン記法 / ラムダ計算 … もっと見る研究代表者以外有限要素法 / 数値的検証法 / 楕円型境界値問題 / 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 / 並列処理機構 / セルオ-トマトン / 準不変測度 / 加法的マルチンゲ-ル / アルゴリズム / 非線形方程式 / 最適化隠す

スポーツ活動による社会課題解決を実証する社会的評価システム構築とその実装研究
- 研究代表者
  
  山中亮
- 研究期間 (年度)
  2021 – 2023
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分09070:教育工学関連
- 研究機関
  愛媛大学
微分多様体上での有限要素解析の展開
- 研究代表者
  
  土屋卓也
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  愛媛大学
並列プログラムに現れる非同期型通信のプロセス代数による解析・検証研究代表者
- 研究代表者
  
  大塚寛
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  愛媛大学
精度保証付き計算法の開発と実用化
- 研究代表者
  
  山本野人
- 研究期間 (年度)
  1997 – 2000
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  電気通信大学
   九州大学
通信に基づく並列計算モデルのカテゴリー論的意味論研究代表者
- 研究代表者
  
  大塚寛
- 研究期間 (年度)
  1996
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
アソシエーションスキームにおけるコードとデザイン
- 研究代表者
  
  宗政昭弘
- 研究期間 (年度)
  1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  代数学
- 研究機関
  九州大学
関係計算に基づくグラフ変換システムの基礎研究
- 研究代表者
  
  河原康雄
- 研究期間 (年度)
  1995 – 1997
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
関数方程式の解に対する精度保証付き数値計算法
- 研究代表者
  
  中尾充宏
- 研究期間 (年度)
  1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
離散型多重比較法の数学的基礎と応用
- 研究代表者
  
  柳川堯
- 研究期間 (年度)
  1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
通信に基づく並列計算モデルのカテゴリー論的意味論研究代表者
- 研究代表者
  
  大塚寛
- 研究期間 (年度)
  1993
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州大学
微分方程式に対する精度保証付き数値計算法
- 研究代表者
  
  中尾充宏
- 研究期間 (年度)
  1992
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  九州大学
疎な高次分割表の解析理論の研究と計算アルゴリズムの開発
- 研究代表者
  
  柳川尭
- 研究期間 (年度)
  1991
- 研究種目
  
  一般研究(C)
- 研究機関
  九州大学
数理物理と位相幾何学及び関連する代数構造
- 研究代表者
  
  河野俊丈 (河野俊文)
- 研究期間 (年度)
  1991 – 1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  代数学・幾何学
- 研究機関
  東京大学
   九州大学
最適化と近似理論
- 研究代表者
  
  古川長太
- 研究期間 (年度)
  1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  九州大学
関数方程式に対する自己検証的数値計算法
- 研究代表者
  
  中尾充宏
- 研究期間 (年度)
  1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  数学一般
- 研究機関
  九州大学
計算科学と複雑システム
- 研究代表者
  
  田中俊一
- 研究期間 (年度)
  1990 – 1991
- 研究種目
  
  一般研究(B)
- 研究分野
  
  数学一般
- 研究機関
  九州大学

すべて 2023 2021 2008 2007

すべて雑誌論文学会発表

[雑誌論文] Evaluation of Football Pass Extraction Using the Offence/Defence Model2021
- 著者名/発表者名
  Yamanaka A, Otsuka H, Otsuka D, Ueda S, Diaz-Cidoncha JG, Sugiyama M.
- 雑誌名
  
  International Journal of Sports and Physical Education
  
  巻: 7 号: 1 ページ: 19-35
- DOI
  10.20431/2454-6380.0701004
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K11333, KAKENHI-PROJECT-21K02834
[雑誌論文] Local property of the mountain-pass critical point and mean field equation2008
- 著者名/発表者名
  H. Ohtsuka, T. Suzuki
- 雑誌名
  
  Differential and Integral Equations 21
  
  ページ: 421-432
- 査読あり
- データソース
  KAKENHI-PROJECT-19540135
[雑誌論文] Blowup analysis for SU(3) Toda system2007
- 著者名/発表者名
  H. Ohtsuka, T. Suzuki
- 雑誌名
  
  J. Differential Equations 232
  
  ページ: 419-440
- 査読あり
- データソース
  KAKENHI-PROJECT-19540135
[学会発表] サッカーのトラッキングデータによる選手のネットワークの構築2023
- 著者名/発表者名
  大塚寛, 山中亮
- 学会等名
  情報処理学会第85回全国大会
- データソース
  KAKENHI-PROJECT-21K02834
[学会発表] サッカーのトラッキングデータによる選手のネットワークの構築2023
- 著者名/発表者名
  大塚寛、山中亮
- 学会等名
  第85回全国大会講演論文集
- データソース
  KAKENHI-PROJECT-21K02834
[学会発表] サッカーのフォーメーション評価のための選手のネットワークの構築2021
- 著者名/発表者名
  大塚寛, 山中亮
- 学会等名
  情報処理学会第84 回全国大会
- データソース
  KAKENHI-PROJECT-21K02834

1. 川崎英文 (90161306)

共同の研究課題数: 6件

共同の研究成果数: 0件
2. 柳川尭 (80029488)

共同の研究課題数: 5件

共同の研究成果数: 0件
3. 中尾充宏 (10136418)

共同の研究課題数: 5件

共同の研究成果数: 0件
4. 山本野人 (30210545)

共同の研究課題数: 5件

共同の研究成果数: 0件
5. 河原康雄 (90091181)

共同の研究課題数: 4件

共同の研究成果数: 0件
6. 古川長太 (50037165)

共同の研究課題数: 3件

共同の研究成果数: 0件
7. 佐藤坦 (30037254)

共同の研究課題数: 3件

共同の研究成果数: 0件
8. 田中俊一 (00028127)

共同の研究課題数: 3件

共同の研究成果数: 0件
9. 河野俊丈 (80144111)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 土屋卓也 (00163832)

共同の研究課題数: 2件

共同の研究成果数: 0件
11. 藤野精一 (20037146)

共同の研究課題数: 2件

共同の研究成果数: 0件
12. 小西貞則 (40090550)

共同の研究課題数: 2件

共同の研究成果数: 0件
13. 坂内英一 (10011652)

共同の研究課題数: 2件

共同の研究成果数: 0件
14. 鈴木貴 (40114516)

共同の研究課題数: 1件

共同の研究成果数: 2件
15. 木村弘信 (40161575)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 野海正俊 (80164672)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 桂俊行 (40108444)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 石川保志 (70202976)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 山中亮 (10782708)

共同の研究課題数: 1件

共同の研究成果数: 3件
20. 梶原壌二 (90037169)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 田中輝雄 (80227149)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 山田美枝子 (70130226)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 宗政昭弘 (50219862)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 笛田薫 (50253399)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 寺田至 (70180081)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 末吉豊 (80128040)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 吉田正章 (30030787)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 加藤十吉 (60012481)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 大塚道太 (10442386)

共同の研究課題数: 1件

共同の研究成果数: 3件
30. 美馬秀樹 (30359658)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 山本智規 (30380257)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 平尾智隆 (30403851)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 上田真也 (40616926)

共同の研究課題数: 1件

共同の研究成果数: 1件

大塚 寛 OTSUKA Hiroshi

大塚 覚 オオツカ ヒロシ

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

並列プログラムに現れる非同期型通信のプロセス代数による解析・検証研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

通信に基づく並列計算モデルのカテゴリー論的意味論研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

通信に基づく並列計算モデルのカテゴリー論的意味論研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

大塚寛 OTSUKA Hiroshi

大塚覚オオツカヒロシ