研究者を探す
大塚 寛
2024年11月14日更新
- 職名
- 准教授
- 電話
- 研究者総覧に該当データはありませんでした。
- 電子メール
- 研究者総覧に該当データはありませんでした。
- 学歴
- 1985 九州大学
1987 九州大学 - 学位
- 理学修士 九州大学
博士(理) 九州大学 - 職歴・経歴
- 1988/06-1994/05 九州大学 理学部 数学科 助手
1988-1994 Faculty of Science, Kyushu University
1994/06-1999/05 九州大学 大学院数理学研究科 講師
1994-1999 Faculty of Mathematics
1999/06-2005/03 愛媛大学 理学部 数理科学科 助教授
1999 - Faculty of Science, Ehime University
2005/04-2006/03 愛媛大学 理学部 数学科 助教授
2006/04-現在 愛媛大学大学院理工学研究科 数理物質科学専攻 准教授
- 専門分野・研究分野
- 自然科学一般 / 数学基礎
自然科学一般 / 応用数学、統計数学
情報通信 / 情報学基礎論
情報通信 / ソフトウェア
2024年11月14日更新
- 専門分野・研究分野
- 自然科学一般 / 数学基礎
自然科学一般 / 応用数学、統計数学
情報通信 / 情報学基礎論
情報通信 / ソフトウェア - 担当経験のある授業科目
- 数学入門
情報リテラシー入門Ⅰ
情報リテラシー入門Ⅱ
応用数学概論
応用数理情報概論A
応用数理情報概論B
数値解析学A
数学Ⅱ
数値解析学B
理系主題科目(データサイエンス・AI実践PBL)
卒業研究Ⅰ
卒業研究Ⅱ
数理情報処理Ⅰ
科学研究倫理
特別演習Ⅰ
特別演習Ⅱ
課題研究
特別研究Ⅰ
特別研究Ⅱ
数理情報処理Ⅱ
数学・数理情報セミナーB
数理科学ゼミナールⅣ
応用数学
数理科学プレゼンテーション演習
プログラミング基礎
応用数理特論 - 指導経験
- 2024,第1クォーター,共通教育,数学入門
2024,第1クォーター,共通教育,情報リテラシー入門Ⅰ
2024,第2クォーター,共通教育,情報リテラシー入門Ⅱ
2024,第2クォーター,理工学研究科(博士前期課程2006〜),応用数学概論
2024,第2クォーター,理工学研究科(博士前期課程2006〜),応用数理情報概論A
2024,第2クォーター,理工学研究科(博士前期課程2006〜),応用数理情報概論B
2024,第3クォーター,理学部,数値解析学A
2024,第4クォーター,理学部,数学Ⅱ
2024,第4クォーター,理学部,数値解析学B
2024,前期,共通教育,理系主題科目(データサイエンス・AI実践PBL)
2024,前期,理学部,卒業研究Ⅰ
2024,前期,理学部,卒業研究Ⅱ
2024,前期,理学部,数理情報処理Ⅰ
2024,前期,理学部,科学研究倫理
2024,前期,理学部,特別演習Ⅰ
2024,前期,理学部,特別演習Ⅱ
2024,前期,理学部,課題研究
2024,前期,理学部,特別研究Ⅰ
2024,前期,理学部,特別研究Ⅱ
2024,後期,理学部,数理情報処理Ⅱ
2024,後期,理学部,卒業研究Ⅰ
2024,後期,理学部,卒業研究Ⅱ
2024,後期,理学部,数学・数理情報セミナーB
2024,後期,理学部,科学研究倫理
2024,後期,理学部,特別演習Ⅰ
2024,後期,理学部,特別演習Ⅱ
2024,後期,理学部,課題研究
2024,後期,理学部,特別研究Ⅰ
2024,後期,理学部,特別研究Ⅱ
2024,後期,理工学研究科(博士前期課程2006〜),数理科学ゼミナールⅣ
2024,後期,理工学研究科(博士前期課程2006〜),応用数学
2024,後期,理工学研究科(博士前期課程2006〜),数理科学プレゼンテーション演習
2024,後期,理工学研究科(博士前期課程2006〜),プログラミング基礎
2024,後期,理工学研究科(博士前期課程2006〜),応用数理特論
2024年11月14日更新
- 専門分野・研究分野
- 自然科学一般 / 数学基礎
自然科学一般 / 応用数学、統計数学
情報通信 / 情報学基礎論
情報通信 / ソフトウェア
- 研究テーマ
- coordination language
model checking
process algebra
協調型言語
プロセス代数
モデル検査
parallel computation
並列計算
- 著書
- 情報リテラシー入門 愛媛大学2023年版 5章 データと情報 株式会社 日経 BP 2023/02/24
基礎数学II 大塚 寛 第6章 計算とコンピュータ 2008/04
基礎数学 大塚 寛 第6章 計算とコンピュータ 2006/10
Information Science - Computer literacy and mechanism of computer - 2nd edition Gakujutsu Tosho Shuppan-sha Co.,Ltd. 2002
情報科学-情報リテラシーとコンピュータのしくみ- 第2版 学術図書館出版社 2002
Information Science - Computer literacy and mechanism of computer - Gakujutsu Tosho Shuppan-sha Co.,Ltd. 2000
情報科学-情報リテラシーとコンピュータのしくみ- 学術図書館出版社 2000 - 論文
- Evaluation of Football Pass Extraction Using the Offence/Defence Model Akira yamanakaHiroshi OtsukaTetsuya Degutiken okiharaDota otsukaShinya UedaJorge Diaz-Cidoncha GarciaSelina KhooDavid StroudMasahiro Sugiyama 2021 International Journal of Sports and Physical Education 7/ 1, 19-35 研究論文(学術雑誌)
Tactical analysis through objective data in football Akira yamanakaHiroshi OtsukaTetsuya Degutiken okiharaDota otsukaShinya UedaJorge Diaz-Cidoncha GarciaSelina KhooDavid StroudMasahiro Sugiyama 2020/03 Insight - Sports Science 2/ 1, 1-15 研究論文(学術雑誌)
Model checking of parallel process based on coordination language 2003 Research Institute for Mathematical Sciences, Kyoto UniversityRIMS Kokyuroku 1325
PVMを用いた1次元有限セルオートマトンの挙動解析 森 雅生大塚 寛井口 修一 1999/07 計算機科学研究報告 16
ParaGraph for VPP-PVM : VPPシステム上のPVMのための可視化ツールの紹介 大塚 寛 1999/06 九州大学大型計算機センター広報 32/ 2
Higher order programming using Mathematica in teaching programming 1998 Proceedings of the Third Asian Technology Conference in Mathematics
PERIOD LENGTHS OF CELLULAR-AUTOMATA ON SQUARE LATTICES WITH RULE-90 Y KAWAHARAS KUMAMOTOY MIZOGUCHIM NOHMIH OHTSUKAT SHOUDAI 1995/03 JOURNAL OF MATHEMATICAL PHYSICS 36/ 3
平方格子上の規制番号90のセルオートマトンの周期長について 1995 36/ 3(Mar)
An application of strictures analysis for graphs to that for lists 1994 Functioual Programing II JSSST'94
A proof of the substitution lemma in de Bruijn's notation Hiroshi Ohtsuka 1993/05/17 Information Processing Letters 46/ 2
A PROOF OF THE SUBSTITUTION LEMMA IN DEBRUIJN NOTATION H OHTSUKA 1993/05 INFORMATION PROCESSING LETTERS 46/ 2
COMPARISON OF TWO CATEGORICAL MODELS OF TYPED λ-CALCULUS 1991 Bulletin of Informatics and Cybernetics 24
A CATEGORICAL MODEL OF λ-CALCULUS BASED ON DE BRUIJN'S NAME-FREE EXPRESSIONS 1989 Bulletin of Informatics and Cybernetics 23
A SYMBOLIC CALCULUS OF REGULAR EXPRESSIONS 1987 Bulletin of Informatics and Cybernetics 22 - MISC
- 研究者総覧に該当データはありませんでした。
- 総説・解説
- 研究者総覧に該当データはありませんでした。
- 講演・発表
- サッカーのトラッキングデータによる選手のネットワークの構築 情報処理学会第85回全国大会 2023/03/03 口頭発表(一般)
サッカーのフォーメーション評価のための選手のネットワークの構築 情報処理学会第84回全国大会 2022/03/03 口頭発表(一般)
時間制限付き優勢領域図によるサッカーの攻守判定の評価 情報処理学会第83回全国大会 2021/03/18 口頭発表(一般)
ポリオミノ型多角形からの多面体の構成 - 折り線の決定 - 情報処理学会第82回全国大会 2020/03/06 口頭発表(一般)
ポリオミノ型多角形からの多面体の構成 情報処理学会第81回全国大会 2019/03/14 口頭発表(一般)
変化検知の手法によるサッカーのパスの抽出 平成30年度電気関係学会四国支部連合大会 2018/09/22 口頭発表(一般)
変化検知によるサッカーの攻守推移モデルの改良 情報処理学会第80回全国大会 2018/03/15 口頭発表(一般)
サッカーの攻守推移モデルからのパス抽出とその評価 第21回情報・統計科学研究会 2016/12/02 口頭発表(一般)
サッカーの攻守推移モデルに基づくパス抽出の評価 情報処理学会第78回全国大会 2016/03/10 口頭発表(一般)
サッカーの攻守推移のモデルからのパスの抽出 第14回情報科学技術フォーラム 2015/08/24 口頭発表(一般)
時間制限付き優勢領域図によるサッカーの攻守推移モデルの評価 情報処理学会第77回全国大会 2015/03/16 口頭発表(一般)
時間制限付き優勢領域図によるサッカーの攻守推移のモデル構築 第19回情報・統計科学シンポジウム 2014/12/05 口頭発表(一般)
サッカーにおけるボールを中心としたゲーム状況の抽出への時間制限付き優勢領域図の適用 情報処理学会第76回全国大会 2014/03/11 口頭発表(一般)
時間制限付き優勢領域図の提案とサッカーの守備の分析への応用 情報処理学会第75回全国大会 2013/03/06 口頭発表(一般)
時間制約付き優勢領域図に基づくチームスポーツの守備を中心とした分析 第17回情報・統計科学シンポジウム 2012/12/07 口頭発表(一般)
GPUを用いたブール行列の積および関係の推移的閉包の計算 情報処理学会第74回全国大会 2012/03/06
協調型言語における試験等価性と失敗等価性の関係とモデル検査への適用 第72回(平成22年)全国大会講演論文集 - 情報処理学会 2010/03/08
A_006 正規表現関数を用いた文字列照合アルゴリズムの高速化に関する研究(A分野:モデル・アルゴリズム・プログラミング) 情報科学技術フォーラム一般講演論文集 2006/08/21
協調型言語に基づく並列プロセスのモデル検証 (計算機科学基礎理論の新展開) 数理解析研究所講究録 2003/05
協調型言語に基づく並列プロセスのモデル検証 京都大学 数理解析研究所数理解析研究所講究録 2003
一斉通信のデッドロック解析へのプロセス代数的アプローチ 全国大会講演論文集 1999/09/28
グラフ構造上のストリクト性解析のリスト構造上のストリクト性解析への応用 関数プログラミングII JSSST'94 レクチャーノート/ソフトウェア学10 近代科学社 1994
- 研究会・報告書
- 研究者総覧に該当データはありませんでした。
- 特許
- 研究者総覧に該当データはありませんでした。
- 作品
- サッカーのトラッキングデータからのパス抽出プログラム 2016/03
サッカーのトラッキングデータからの攻守推移判定プログラム 2015/03
TRDRDに基づくサッカーの分析プログラム 2014/02
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
Using Mathematica at Educational Ceuter for Information Processing 1997
情報処理教育センターにおける Mathewaticaの利用法 九州大学情報処理教育センター刊.情報処理教育広報Vol.20,1997,pp.112 1997
Using Mathematica at Educational Center for Information Processing 1997 - 補助金・競争的資金
- 並列プログラムに現れる非同期型通信のプロセス代数による解析・検証 基盤研究(C) 競争的資金
Grant-in-Aid for Scientific Research Process algebra based analysis and verification for asynchronous communications appeared in parallel programs 2002-2004 競争的資金
科学研究費補助金 並列プログラムに現れる非同期型通信のプロセス代数による解析・検証 2002-2004 競争的資金
- その他
- 研究者総覧に該当データはありませんでした。
2024年11月14日更新
- 専門分野・研究分野
- 自然科学一般 / 数学基礎
自然科学一般 / 応用数学、統計数学
情報通信 / 情報学基礎論
情報通信 / ソフトウェア - 所属学会・所属協会
- Mathmatical Society of Japan
Japan Society for Software Science and Technology
Information Processing Society of Japan
日本数学会
日本ソフトウェア科学会
情報処理学会 - 委員歴・役員歴
- 研究者総覧に該当データはありませんでした。
- 受賞
- 研究者総覧に該当データはありませんでした。
- 活動
- 2021/12/19-2021/12/19 データサイエンティスト育成講座
2021/09/16-2021/09/16 第2回GSC4大学連携研究セミナ-
2021/04/01-現在 まつやまデータ利活用研究協議会
2020/12/06-2020/12/06 私たちの社会の中の数学
2016/08/06-2016/08/06 私たちの社会の中の数学
2013/08/23-2013/08/23 私たちの社会の中の数学
2011/08/02-2011/08/02 私たちの社会の中の数学
2024年11月10日更新
2024年11月9日更新
Jグローバル
- Jグローバル最終確認日
- 2024/11/9 01:40
- 氏名(漢字)
- 大塚 寛
- 氏名(フリガナ)
- オオツカ ヒロシ
- 氏名(英字)
- Otsuka Hiroshi
- 所属機関
- 愛媛大学 准教授
リサーチマップ
- researchmap最終確認日
- 2024/11/10 02:16
- 氏名(漢字)
- 大塚 寛
- 氏名(フリガナ)
- オオツカ ヒロシ
- 氏名(英字)
- Otsuka Hiroshi
- プロフィール
- リサーチマップAPIで取得できませんでした。
- 登録日時
- 2011/8/16 00:00
- 更新日時
- 2024/1/31 04:53
- アバター画像URI
- リサーチマップAPIで取得できませんでした。
- ハンドル
- リサーチマップAPIで取得できませんでした。
- eメール
- リサーチマップAPIで取得できませんでした。
- eメール(その他)
- リサーチマップAPIで取得できませんでした。
- 携帯メール
- リサーチマップAPIで取得できませんでした。
- 性別
- リサーチマップAPIで取得できませんでした。
- 没年月日
- リサーチマップAPIで取得できませんでした。
- 所属ID
- 0352021008
- 所属
- 愛媛大学
- 部署
- 大学院理工学研究科 数理物質科学専攻
- 職名
- 准教授
- 学位
- 理学修士
- 学位授与機関
- 九州大学
- URL
- リサーチマップAPIで取得できませんでした。
- 科研費研究者番号
- リサーチマップAPIで取得できませんでした。
- Google Analytics ID
- リサーチマップAPIで取得できませんでした。
- ORCID ID
- リサーチマップAPIで取得できませんでした。
- その他の所属ID
- リサーチマップAPIで取得できませんでした。
- その他の所属名
- リサーチマップAPIで取得できませんでした。
- その他の所属 部署
- リサーチマップAPIで取得できませんでした。
- その他の所属 職名
- リサーチマップAPIで取得できませんでした。
- 最近のエントリー
- リサーチマップAPIで取得できませんでした。
- Read会員ID
- リサーチマップAPIで取得できませんでした。
- 経歴
- 受賞
- リサーチマップAPIで取得できませんでした。
- Misc
- 論文
- 講演・口頭発表等
- 書籍等出版物
- 研究キーワード
- 研究分野
- 所属学協会
- 担当経験のある科目
- その他
- リサーチマップAPIで取得できませんでした。
- Works
- 特許
- リサーチマップAPIで取得できませんでした。
- 学歴
- 委員歴
- リサーチマップAPIで取得できませんでした。
- 社会貢献活動
2024年11月9日更新
- 研究者番号
- 30203839
- 所属(現在)
- 2024/4/1 : 愛媛大学, 理工学研究科(理学系), 准教授
- 所属(過去の研究課題
情報に基づく)*注記 - 2021/4/1 – 2022/4/1 : 愛媛大学, 理工学研究科(理学系), 准教授
2009/4/1 : 愛媛大学, 大学院・理工学研究科, 准教授
2007/4/1 – 2008/4/1 : 愛媛大学, 理工学研究科, 准教授
2002/4/1 – 2004/4/1 : 愛媛大学, 理学部, 助教授
1998/4/1 : 九州大学, 大学院数理学研究科, 講師
1995/4/1 – 1997/4/1 : 九州大学, 大学院・数理学研究科, 講師
1994/4/1 : 九州大学, 大学院数理学研究科, 講師
1990/4/1 – 1993/4/1 : 九州大学, 理学部, 助手
- 審査区分/研究分野
-
研究代表者
理学 / 数学 / 数学一般(含確率論・統計数学)
研究代表者以外
理学 / 数学 / 数学一般
理学 / 数学 / 数学一般(含確率論・統計数学)
理学 / 数学 / 代数学
理工系 / 数物系科学 / 数学 / 数学一般(含確率論・統計数学)
理学 / 数学 / 代数学・幾何学
複合領域 / 情報科学 / 計算機科学
小区分09070:教育工学関連
- キーワード
-
研究代表者
ラムダ計算 / ド・ブライン記法 / カテゴリー論 / ストリクト性解析 / 並列計算モデル / 並列計算 / プロセス / CCS / π-計算 / 協調型言語 / モデル検査 / 有限オートマトン / 正規表現 / 正規表現関数 / 文字列照合問題 / モデル検証 / プロセス代数 / クリプケ構造 / 失敗集合 / 軌跡 / 可達性解析 / coordination language / model checking / finite automaton / regular expression / regular expression function / regular expression pattern matching
研究代表者以外
最適化 / 非線形方程式 / アルゴリズム / 加法的マルチンゲ-ル / 準不変測度 / セルオ-トマトン / 並列処理機構 / λーcalculus / 楕円型境界値問題 / 有限要素法 / 誤差評価 / 精度保証付き計算法 / 多重比較 / BROWNーLAVANGE検定 / AIC / 超幾何分布 / 生物統計学 / 数値的検証法 / 精度保証付き数値計算 / 放物型初期境界値問題 / 統計解析 / 離散型モデル / 分割表 / 楕円型偏微分方程式 / アソシエーションスキーム / 符号 / ヤコビ形式 / 分割表解析 / 統計的検定 / 予測モデル / カテゴリー / 数値解析学 / 自由境界問題 / Hadamard変分 / リーマン多様体 / 微分形式 / Navier-Stokes方程式 / 非線形問題 / 微分多様体 / 反復解法 / 複雑システム / 形式的方法 / 公理的集合論 / 並行性 / 超準解析 / 並行プロセス / 述語論理 / 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 / スポーツ活動 / 戦術評価システム / 社会性評価システム / 可視化 / 数値化