大塚寛 (Hiroshi Otsuka) - マイポータル

基本情報

所属: 愛媛大学大学院理工学研究科数理物質科学専攻准教授

学位: 理学修士(九州大学)
博士(理)(九州大学)

J-GLOBAL ID: 200901000616174280
researchmap会員ID: 1000043135

研究キーワード

研究分野

経歴

2006年4月 - 現在

愛媛大学大学院理工学研究科, 数理物質科学専攻, 准教授
2005年4月 - 2006年3月

愛媛大学理学部, 数学科, 助教授
1999年6月 - 2005年3月

愛媛大学理学部, 数理科学科, 助教授
1994年6月 - 1999年5月

九州大学大学院数理学研究科, 講師
1994年 - 1999年

Faculty of Mathematics
1999年

- Faculty of Science, Ehime University
1988年6月 - 1994年5月

九州大学理学部, 数学科, 助手
1988年 - 1994年

Faculty of Science, Kyushu University

学歴

論文

Evaluation of Football Pass Extraction Using the Offence/Defence Model

Akira Yamanaka, Hiroshi Otsuka, Dota Otsuka, Shinya Ueda, Jorge Diaz-Cidoncha Garcia, Masahiro Sugiyama

International Journal of Sports and Physical Education 7(1) 19-35 2021年査読有り
Tactical analysis through objective data in football

Akira yamanaka, Hiroshi Otsuka, Tetsuya Deguti, ken okihara, Dota otsuka, Shinya Ueda, Jorge Diaz-Cidoncha Garcia, Selina Khoo, David Stroud, Masahiro Sugiyama

Insight - Sports Science 2(1) 1-15 2020年3月3日査読有り

MISC

サッカーのトラッキングデータによる選手のネットワークの構築

大塚寛, 山中亮

第85回全国大会講演論文集 2023(1) 165-166 2023年2月16日筆頭著者
サッカーのフォーメーション評価のための選手のネットワークの構築

大塚, 寛, 山中, 亮

第84回全国大会講演論文集 2022(1) 149-150 2022年2月17日筆頭著者
A-017 サッカーの攻守推移のモデルからのパスの抽出(A分野:モデル・アルゴリズム・プログラミング,一般論文)

佐藤祐亮, 山中亮, 大塚寛

情報科学技術フォーラム講演論文集 14(1) 145-148 2015年8月24日
サッカーにおけるボールを中心としたゲーム状況の抽出への時間制限付き優勢領域図の適用

大塚寛, 山中亮

第76回全国大会講演論文集 2014(1) 273-274 2014年3月11日
時間制限付き優勢領域図の提案とサッカーの守備の分析への応用

岩浅真秀人, 大塚寛

全国大会講演論文集 2013(1) 451-453 2013年3月6日
GPUを用いたブール行列の積および関係の推移的閉包の計算

大塚寛

全国大会講演論文集 2012(1) 273-275 2012年3月6日
協調型言語における試験等価性と失敗等価性の関係とモデル検査への適用

大塚寛

全国大会講演論文集 72 285-286 2010年3月8日
A_006 正規表現関数を用いた文字列照合アルゴリズムの高速化に関する研究(A分野:モデル・アルゴリズム・プログラミング)

石田俊一, 大塚寛, 本多和正

情報科学技術フォーラム一般講演論文集 5(1) 13-14 2006年8月21日
協調型言語に基づく並列プロセスのモデル検証 (計算機科学基礎理論の新展開)

大塚寛

数理解析研究所講究録 1325 98-103 2003年5月
Model checking of parallel process based on coordination language

Research Institute for Mathematical Sciences, Kyoto UniversityRIMS Kokyuroku 1325 98-103 2003年
一斉通信のデッドロック解析へのプロセス代数的アプローチ

大塚寛

全国大会講演論文集 59 229-230 1999年9月28日
PVMを用いた1次元有限セルオートマトンの挙動解析

森雅生, 大塚寛, 井口修一

計算機科学研究報告 16 49-55 1999年7月
ParaGraph for VPP-PVM : VPPシステム上のPVMのための可視化ツールの紹介

大塚寛

九州大学大型計算機センター広報 32(2) 61-75 1999年6月
Higher order programming using Mathematica in teaching programming

Proceedings of the Third Asian Technology Conference in Mathematics 1998年
Higher order programming using Mathematica in teaching programming

Proceedings of the Third Asian Technology Conference in Mathematics 1998年
PERIOD LENGTHS OF CELLULAR-AUTOMATA ON SQUARE LATTICES WITH RULE-90

Y KAWAHARA, S KUMAMOTO, Y MIZOGUCHI, M NOHMI, H OHTSUKA, T SHOUDAI

JOURNAL OF MATHEMATICAL PHYSICS 36(3) 1435-1456 1995年3月
平方格子上の規制番号90のセルオートマトンの周期長について

36(3(Mar)) 1435-1456 1995年
An application of strictures analysis for graphs to that for lists

Functioual Programing II JSSST'94 33-45 1994年
An application of strictures analysis for graphs to that for lists

Functioual Programing II JSSST'94 33-45 1994年
A proof of the substitution lemma in de Bruijn's notation

Hiroshi Ohtsuka

Information Processing Letters 46(2) 63-66 1993年5月17日

もっとみる

書籍等出版物

基礎数学II

大塚寛 (担当:分担執筆, 範囲:第6章計算とコンピュータ)

2008年4月
基礎数学

大塚寛 (担当:分担執筆, 範囲:第6章計算とコンピュータ)

2006年10月
情報科学-情報リテラシーとコンピュータのしくみ- 第2版

学術図書館出版社 2002年
Information Science - Computer literacy and mechanism of computer - 2nd edition

Gakujutsu Tosho Shuppan-sha Co.,Ltd. 2002年
情報科学-情報リテラシーとコンピュータのしくみ-

学術図書館出版社 2000年
Information Science - Computer literacy and mechanism of computer -

Gakujutsu Tosho Shuppan-sha Co.,Ltd. 2000年

講演・口頭発表等

サッカーのトラッキングデータによる選手のネットワークの構築

大塚寛

情報処理学会第85回全国大会 2023年3月3日
サッカーのフォーメーション評価のための選手のネットワークの構築

大塚寛

情報処理学会第84回全国大会 2022年3月3日
時間制限付き優勢領域図によるサッカーの攻守判定の評価

大塚寛

情報処理学会第83回全国大会 2021年3月18日情報処理学会
ポリオミノ型多角形からの多面体の構成 - 折り線の決定 -

大塚寛

情報処理学会第82回全国大会 2020年3月6日情報処理学会
ポリオミノ型多角形からの多面体の構成

大塚寛, 藤田修平

情報処理学会第81回全国大会 2019年3月14日情報処理学会
変化検知の手法によるサッカーのパスの抽出

村上勇, 大塚寛

平成30年度電気関係学会四国支部連合大会 2018年9月22日
変化検知によるサッカーの攻守推移モデルの改良

大塚寛, 山中亮

情報処理学会第80回全国大会 2018年3月15日情報処理学会
サッカーの攻守推移モデルからのパス抽出とその評価

大塚寛, 山中亮

第21回情報・統計科学研究会 2016年12月2日
サッカーの攻守推移モデルに基づくパス抽出の評価

大塚寛, 山中亮

情報処理学会第78回全国大会 2016年3月10日
サッカーの攻守推移のモデルからのパスの抽出

佐藤祐亮, 山中亮, 大塚寛

第14回情報科学技術フォーラム 2015年8月24日
時間制限付き優勢領域図によるサッカーの攻守推移モデルの評価

山中亮, 大塚寛

情報処理学会第77回全国大会 2015年3月16日
時間制限付き優勢領域図によるサッカーの攻守推移のモデル構築

山中亮, 大塚寛

第19回情報・統計科学シンポジウム 2014年12月5日
サッカーにおけるボールを中心としたゲーム状況の抽出への時間制限付き優勢領域図の適用

大塚寛, 山中亮

情報処理学会第76回全国大会 2014年3月11日
時間制限付き優勢領域図の提案とサッカーの守備の分析への応用

岩浅真秀人, 大塚寛

情報処理学会第75回全国大会 2013年3月6日
時間制約付き優勢領域図に基づくチームスポーツの守備を中心とした分析

岩浅真秀人, 大塚寛

第17回情報・統計科学シンポジウム 2012年12月7日
GPUを用いたブール行列の積および関係の推移的閉包の計算

大塚寛

情報処理学会第74回全国大会 2012年3月6日
協調型言語における試験等価性と失敗等価性の関係とモデル検査への適用

大塚寛

第72回(平成22年)全国大会講演論文集 - 情報処理学会 2010年3月8日
A_006 正規表現関数を用いた文字列照合アルゴリズムの高速化に関する研究(A分野:モデル・アルゴリズム・プログラミング)

石田俊一, 大塚寛, 本多和正

情報科学技術フォーラム一般講演論文集 2006年8月21日
協調型言語に基づく並列プロセスのモデル検証 (計算機科学基礎理論の新展開)

大塚寛

数理解析研究所講究録 2003年5月
協調型言語に基づく並列プロセスのモデル検証

京都大学数理解析研究所数理解析研究所講究録 2003年

もっとみる

担当経験のある科目(授業)

所属学協会

Works(作品等)

サッカーのトラッキングデータからのパス抽出プログラム

大塚寛

2016年3月コンピュータソフト
サッカーのトラッキングデータからの攻守推移判定プログラム

大塚寛

2015年3月コンピュータソフト
TRDRDに基づくサッカーの分析プログラム

大塚寛

2014年2月コンピュータソフト
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年
ParaGraph for VPP-PVM-Introduction to Visualization Tool for PVM over VPP system

1999年
Using Mathematica at Educational Center for Information Processing

1997年
情報処理教育センターにおける Mathewaticaの利用法九州大学情報処理教育センター刊.情報処理教育広報Vol.20,1997,pp.112

1997年
Using Mathematica at Educational Ceuter for Information Processing

1997年

共同研究・競争的資金等の研究課題

スポーツ活動による社会課題解決を実証する社会的評価システム構築とその実装研究

日本学術振興会科学研究費助成事業基盤研究(C) 2021年4月 - 2024年3月

山中亮, 大塚道太, 大塚寛, 美馬秀樹, 山本智規, 平尾智隆, 上田真也
微分多様体上での有限要素解析の展開

日本学術振興会科学研究費助成事業基盤研究(C) 2007年 - 2009年

土屋卓也, 鈴木貴, 大塚寛
並列プログラムに現れる非同期型通信のプロセス代数による解析・検証

科学研究費補助金 2002年 - 2004年
Process algebra based analysis and verification for asynchronous communications appeared in parallel programs

Grant-in-Aid for Scientific Research 2002年 - 2004年
精度保証付き計算法の開発と実用化

日本学術振興会科学研究費助成事業基盤研究(C) 1997年 - 2000年

山本野人, 大塚寛, 中尾充宏
関係計算に基づくグラフ変換システムの基礎研究

日本学術振興会科学研究費助成事業基盤研究(C) 1995年 - 1997年

河原康雄, 大塚寛
アソシエーションスキームにおけるコードとデザイン

日本学術振興会科学研究費助成事業一般研究(C) 1995年 - 1995年

宗政昭弘, 笛田薫, 大塚寛, 柳川堯, 小西貞則, 坂内英一
関数方程式の解に対する精度保証付き数値計算法

日本学術振興会科学研究費助成事業一般研究(C) 1994年 - 1994年

中尾充宏, 山本野人, 大塚寛, 川崎英文, 小西貞則, 田中俊一
離散型多重比較法の数学的基礎と応用

日本学術振興会科学研究費助成事業一般研究(C) 1993年 - 1993年

柳川堯, 大塚寛, 田中輝雄, 川崎英文, 山田美枝子, 佐藤〓
数理物理と位相幾何学及び関連する代数構造

日本学術振興会科学研究費助成事業一般研究(C) 1991年 - 1993年

河野俊丈, 木村弘信, 野海正俊, 桂俊行, 寺田至, 大塚寛, 末吉豊, 吉田正章, 坂内英一, 加藤十吉
微分方程式に対する精度保証付き数値計算法

日本学術振興会科学研究費助成事業一般研究(C) 1992年 - 1992年

中尾充宏, 大塚寛, 山本野人, 川崎英文, 田中俊一, 古川長太
疎な高次分割表の解析理論の研究と計算アルゴリズムの開発

日本学術振興会科学研究費助成事業一般研究(C) 1991年 - 1991年

柳川尭, 梶原壌二, 河野俊丈, 佐藤坦, 大塚覚, 川崎英文
計算科学と複雑システム

日本学術振興会科学研究費助成事業一般研究(B) 1990年 - 1991年

田中俊一, 大塚寛, 川崎英文, 中尾充宏, 柳川尭, 古川長太, 山本野人, 河原康雄
関数方程式に対する自己検証的数値計算法

日本学術振興会科学研究費助成事業一般研究(C) 1990年 - 1990年

中尾充宏, 大塚寛, 川崎英文, 山本野人, 河原康雄, 藤野精一
最適化と近似理論

日本学術振興会科学研究費助成事業一般研究(C) 1990年 - 1990年

古川長太, 大塚寛, 柳川尭, 佐藤坦, 河原康雄, 藤野精一
通信に基づく並列計算モデルのカテゴリー論的意味論
Categorical semantics of parallel computation models based on communications

社会貢献活動

私たちの社会の中の数学

講師

愛媛大学教員免許状更新講習 2020年12月6日 - 2020年12月6日
私たちの社会の中の数学

講師

愛媛大学教員免許状更新講習愛媛県歴史文化博物館 2016年8月6日 - 2016年8月6日
私たちの社会の中の数学

講師

愛媛大学教員免許状更新講習愛媛大学 2013年8月23日 - 2013年8月23日
私たちの社会の中の数学

講師

愛媛大学教員免許状更新講習新居浜市総合福祉センター 2011年8月2日 - 2011年8月2日

大塚寛

基本情報

研究キーワード

研究分野

経歴

学歴

論文

MISC

書籍等出版物

講演・口頭発表等

担当経験のある科目(授業)

所属学協会

Works(作品等)

共同研究・競争的資金等の研究課題

社会貢献活動

メニュー

共著者の一覧