OTSUKA Hiroshi 大塚寛

… Alternative Names

大塚寛オオツカヒロシ

OHTSUKA Hiroshi 大塚寛

大塚覚オオツカヒロシ

Less

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

大塚覚オオツカヒロシ