研究者を探す
大塚 寛
愛媛大学
2025年4月24日更新
- 職名
- 准教授
- 電話
- 研究者総覧に該当データはありませんでした。
- 電子メール
- 研究者総覧に該当データはありませんでした。
- 学歴
- 九州大学 理学研究科 数学 - 1987年
九州大学 - 1987年
九州大学 - 1985年
九州大学 理学部 数学 - 1985年 - 学位
- 博士(理) （ 九州大学 ）
理学修士 （ 九州大学 ） - 職歴・経歴
- 愛媛大学 数理物質科学専攻 准教授 2006年4月 - 現在
愛媛大学 数学科 助教授 2005年4月 - 2006年3月
愛媛大学 数理科学科 助教授 1999年6月 - 2005年3月
- Faculty of Science, Ehime University 1999年
九州大学 大学院数理学研究科 講師 1994年6月 - 1999年5月
Faculty of Mathematics 1994年 - 1999年
九州大学 数学科 助手 1988年6月 - 1994年5月
Faculty of Science, Kyushu University 1988年 - 1994年
- 専門分野・研究分野
- 自然科学一般 / 数学基礎
情報通信 / 情報学基礎論
自然科学一般 / 応用数学、統計数学
情報通信 / ソフトウェア
2025年4月24日更新
- 専門分野・研究分野
- 自然科学一般 / 数学基礎
情報通信 / 情報学基礎論
自然科学一般 / 応用数学、統計数学
情報通信 / ソフトウェア - 担当経験のある授業科目
- 2024年度前期 / 特別研究Ⅰ
2024年度前期 / 課題研究
2024年度前期 / 特別演習Ⅱ
2024年度前期 / 特別演習Ⅰ
2024年度前期 / 科学研究倫理
2024年度前期 / 数理情報処理Ⅰ
2024年度前期 / 卒業研究Ⅱ
2024年度前期 / 卒業研究Ⅰ
2024年度前期 / 理系主題科目（データサイエンス・AI実践PBL）
2024年度第４クォーター / 数値解析学B
2024年度第３クォーター / 数値解析学A
2024年度第２クォーター / 応用数理情報概論A
2024年度第２クォーター / 応用数学概論
2024年度第２クォーター / 情報リテラシー入門Ⅱ
2024年度第１クォーター / 数学入門
2024年度第１クォーター / 情報リテラシー入門Ⅰ
2024年度後期 / プログラミング基礎
2024年度後期 / 数理科学プレゼンテーション演習
2024年度後期 / 応用数学
2024年度後期 / 数理科学ゼミナールⅣ
2024年度後期 / 特別研究Ⅱ
2024年度後期 / 特別研究Ⅰ
2024年度後期 / 課題研究
2024年度後期 / 特別演習Ⅱ
2024年度後期 / 特別演習Ⅰ
2024年度後期 / 科学研究倫理
2024年度後期 / 数学・数理情報セミナーB
2024年度後期 / 卒業研究Ⅱ
2024年度後期 / 卒業研究Ⅰ
2024年度後期 / 数理情報処理Ⅱ
2024年度後期 / 応用数理特論
2024年度前期 / 特別研究Ⅱ - 指導経験
- 数理情報処理Ⅰ 2020年9月 - 2021年2月 機関名：愛媛大学
確率統計学I 2020年4月 - 2020年8月 機関名：愛媛大学
確率統計入門 機関名：愛媛大学
微積分演習 機関名：愛媛大学
数理科学特論 機関名：愛媛大学 大学院
確率統計学 機関名：愛媛大学
情報数理学II 機関名：愛媛大学
情報数理学続論 機関名：愛媛大学 大学院
情報リテラシー入門 機関名：愛媛大学
基礎数学II 機関名：愛媛大学
応用数学概論 機関名：愛媛大学 大学院
情報科学 機関名：愛媛大学
確率統計I 機関名：愛媛大学
数理プレゼンテーション演習 機関名：愛媛大学 大学院
数学演習 機関名：愛媛大学
コンピュータ基礎 機関名：愛媛大学
2025年4月24日更新
- 専門分野・研究分野
- 自然科学一般 / 数学基礎
情報通信 / 情報学基礎論
自然科学一般 / 応用数学、統計数学
情報通信 / ソフトウェア
- 研究テーマ
- プロセス代数
parallel computation
model checking
process algebra
協調型言語
モデル検査
並列計算
coordination language
- 著書
- 基礎数学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年
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 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月 - MISC
- サッカーのトラッキングデータによる選手のネットワークの構築 大塚 寛, 山中 亮 第85回全国大会講演論文集 2023 ( 1 ) 165 - 166 2023年2月
サッカーのフォーメーション評価のための選手のネットワークの構築 大塚, 寛, 山中, 亮 第84回全国大会講演論文集 2022 ( 1 ) 149 - 150 2022年2月
A-017 サッカーの攻守推移のモデルからのパスの抽出(A分野:モデル・アルゴリズム・プログラミング,一般論文) 佐藤 祐亮, 山中 亮, 大塚 寛 情報科学技術フォーラム講演論文集 14 ( 1 ) 145 - 148 2015年8月
サッカーにおけるボールを中心としたゲーム状況の抽出への時間制限付き優勢領域図の適用 大塚寛, 山中亮 第76回全国大会講演論文集 2014 ( 1 ) 273 - 274 2014年3月
時間制限付き優勢領域図の提案とサッカーの守備の分析への応用 岩浅真秀人, 大塚寛 全国大会講演論文集 2013 ( 1 ) 451 - 453 2013年3月
GPUを用いたブール行列の積および関係の推移的閉包の計算 大塚寛 全国大会講演論文集 2012 ( 1 ) 273 - 275 2012年3月
協調型言語における試験等価性と失敗等価性の関係とモデル検査への適用 大塚 寛 全国大会講演論文集 72 285 - 286 2010年3月
A_006 正規表現関数を用いた文字列照合アルゴリズムの高速化に関する研究(A分野:モデル・アルゴリズム・プログラミング) 石田 俊一, 大塚 寛, 本多 和正 情報科学技術フォーラム一般講演論文集 5 ( 1 ) 13 - 14 2006年8月
協調型言語に基づく並列プロセスのモデル検証 (計算機科学基礎理論の新展開) 大塚 寛 数理解析研究所講究録 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月
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年
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年
A proof of the substitution lemma in de Bruijn's notation Hiroshi Ohtsuka Information Processing Letters 46 ( 2 ) 63 - 66 1993年5月
A PROOF OF THE SUBSTITUTION LEMMA IN DEBRUIJN NOTATION H OHTSUKA INFORMATION PROCESSING LETTERS 46 ( 2 ) 63 - 66 1993年5月
COMPARISON OF TWO CATEGORICAL MODELS OF TYPED λ-CALCULUS Otsuka Hiroshi Bulletin of Informatics and Cybernetics 24 ( 3 ) 3 - 4 1991年
COMPARISON OF TWO CATEGORICAL MODELS OF TYPED λ-CALCULUS Bulletin of Informatics and Cybernetics 24 3 - 4 1991年
A CATEGORICAL MODEL OF λ-CALCULUS BASED ON DE BRUIJN'S NAME-FREE EXPRESSIONS Otsuka Hiroshi Bulletin of Informatics and Cybernetics 23 ( 3 ) 3 - 4 1989年
A CATEGORICAL MODEL OF λ-CALCULUS BASED ON DE BRUIJN'S NAME-FREE EXPRESSIONS Bulletin of Informatics and Cybernetics 23 3 - 4 1989年
A SYMBOLIC CALCULUS OF REGULAR EXPRESSIONS Mizoguchi Yoshihiro, Otsuka Hiroshi, Kawahara Yasuo Bulletin of informatics and cybernetics 22 ( 3 ) 3 - 4 1987年
A SYMBOLIC CALCULUS OF REGULAR EXPRESSIONS Mizoguchi Yoshihiro, Otsuka Hiroshi, Kawahara Yasuo Bulletin of Informatics and Cybernetics 22 ( 3 ) 3 - 4 1987年
- 総説・解説
- 研究者総覧に該当データはありませんでした。
- 講演・発表
- サッカーのトラッキングデータによる選手のネットワークの構築 大塚 寛 情報処理学会第85回全国大会 2023年3月
サッカーのフォーメーション評価のための選手のネットワークの構築 大塚 寛 情報処理学会第84回全国大会 2022年3月
時間制限付き優勢領域図によるサッカーの攻守判定の評価 大塚 寛 情報処理学会第83回全国大会 2021年3月 情報処理学会
ポリオミノ型多角形からの多面体の構成 - 折り線の決定 - 大塚 寛 情報処理学会第82回全国大会 2020年3月 情報処理学会
ポリオミノ型多角形からの多面体の構成 大塚 寛, 藤田 修平 情報処理学会第81回全国大会 2019年3月 情報処理学会
変化検知によるサッカーの攻守推移モデルの改良 大塚 寛, 山中 亮 情報処理学会第80回全国大会 2018年3月 情報処理学会
A_006 正規表現関数を用いた文字列照合アルゴリズムの高速化に関する研究(A分野:モデル・アルゴリズム・プログラミング) 石田 俊一, 大塚 寛, 本多 和正 情報科学技術フォーラム一般講演論文集 2006年8月
一斉通信のデッドロック解析へのプロセス代数的アプローチ 大塚 寛 全国大会講演論文集 1999年9月
協調型言語に基づく並列プロセスのモデル検証 京都大学 数理解析研究所数理解析研究所講究録 2003年
グラフ構造上のストリクト性解析のリスト構造上のストリクト性解析への応用 関数プログラミングII JSSST'94 レクチャーノート/ソフトウェア学10 近代科学社 1994年
変化検知の手法によるサッカーのパスの抽出 村上 勇, 大塚 寛 平成30年度電気関係学会四国支部連合大会 2018年9月
サッカーの攻守推移モデルに基づくパス抽出の評価 大塚 寛, 山中 亮 情報処理学会第78回全国大会 2016年3月
サッカーの攻守推移モデルからのパス抽出とその評価 大塚 寛, 山中 亮 第21回情報・統計科学研究会 2016年12月
時間制限付き優勢領域図によるサッカーの攻守推移モデルの評価 山中 亮, 大塚 寛 情報処理学会第77回全国大会 2015年3月
サッカーの攻守推移のモデルからのパスの抽出 佐藤 祐亮, 山中 亮, 大塚 寛 第14回情報科学技術フォーラム 2015年8月
サッカーにおけるボールを中心としたゲーム状況の抽出への時間制限付き優勢領域図の適用 大塚 寛, 山中 亮 情報処理学会第76回全国大会 2014年3月
時間制限付き優勢領域図によるサッカーの攻守推移のモデル構築 山中 亮, 大塚 寛 第19回情報・統計科学シンポジウム 2014年12月
時間制約付き優勢領域図に基づくチームスポーツの守備を中心とした分析 岩浅 真秀人, 大塚 寛 第17回情報・統計科学シンポジウム 2012年12月
時間制限付き優勢領域図の提案とサッカーの守備の分析への応用 岩浅 真秀人, 大塚 寛 情報処理学会第75回全国大会 2013年3月
協調型言語における試験等価性と失敗等価性の関係とモデル検査への適用 大塚 寛 第72回(平成22年)全国大会講演論文集 - 情報処理学会 2010年3月
GPUを用いたブール行列の積および関係の推移的閉包の計算 大塚 寛 情報処理学会第74回全国大会 2012年3月
協調型言語に基づく並列プロセスのモデル検証 (計算機科学基礎理論の新展開) 大塚 寛 数理解析研究所講究録 2003年5月
- 研究会・報告書
- 研究者総覧に該当データはありませんでした。
- 特許
- 研究者総覧に該当データはありませんでした。
- 作品
- サッカーのトラッキングデータからのパス抽出プログラム 大塚 寛 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年
情報処理教育センターにおける Mathewaticaの利用法 九州大学情報処理教育センター刊.情報処理教育広報Vol.20,1997,pp.112 1997年
Using Mathematica at Educational Ceuter for Information Processing 1997年
Using Mathematica at Educational Center for Information Processing 1997年 - 補助金・競争的資金
- スポーツ活動による社会課題解決を実証する社会的評価システム構築とその実装研究 2021年4月 - 2024年3月 日本学術振興会 科学研究費助成事業 基盤研究(C) 山中 亮, 大塚 道太, 大塚 寛, 美馬 秀樹, 山本 智規, 平尾 智隆, 上田 真也
微分多様体上での有限要素解析の展開 2007年 - 2009年 日本学術振興会 科学研究費助成事業 基盤研究(C) 土屋 卓也, 鈴木 貴, 大塚 寛
並列プログラムに現れる非同期型通信のプロセス代数による解析・検証 2002年 - 2004年 科学研究費補助金
Process algebra based analysis and verification for asynchronous communications appeared in parallel programs 2002年 - 2004年 Grant-in-Aid for Scientific Research
精度保証付き計算法の開発と実用化 1997年 - 2000年 日本学術振興会 科学研究費助成事業 基盤研究(C) 山本 野人, 大塚 寛, 中尾 充宏
関係計算に基づくグラフ変換システムの基礎研究 1995年 - 1997年 日本学術振興会 科学研究費助成事業 基盤研究(C) 河原 康雄, 大塚 寛
アソシエーションスキームにおけるコードとデザイン 1995年 日本学術振興会 科学研究費助成事業 一般研究(C) 宗政 昭弘, 笛田 薫, 大塚 寛, 柳川 堯, 小西 貞則, 坂内 英一
関数方程式の解に対する精度保証付き数値計算法 1994年 日本学術振興会 科学研究費助成事業 一般研究(C) 中尾 充宏, 山本 野人, 大塚 寛, 川崎 英文, 小西 貞則, 田中 俊一
離散型多重比較法の数学的基礎と応用 1993年 日本学術振興会 科学研究費助成事業 一般研究(C) 柳川 堯, 大塚 寛, 田中 輝雄, 川崎 英文, 山田 美枝子, 佐藤 〓
微分方程式に対する精度保証付き数値計算法 1992年 日本学術振興会 科学研究費助成事業 一般研究(C) 中尾 充宏, 大塚 寛, 山本 野人, 川崎 英文, 田中 俊一, 古川 長太
数理物理と位相幾何学及び関連する代数構造 1991年 - 1993年 日本学術振興会 科学研究費助成事業 一般研究(C) 河野 俊丈, 木村 弘信, 野海 正俊, 桂俊 行, 寺田 至, 大塚 寛, 末吉 豊, 吉田 正章, 坂内 英一, 加藤 十吉
疎な高次分割表の解析理論の研究と計算アルゴリズムの開発 1991年 日本学術振興会 科学研究費助成事業 一般研究(C) 柳川 尭, 梶原 壌二, 河野 俊丈, 佐藤 坦, 大塚 覚, 川崎 英文
計算科学と複雑システム 1990年 - 1991年 日本学術振興会 科学研究費助成事業 一般研究(B) 田中 俊一, 大塚 寛, 川崎 英文, 中尾 充宏, 柳川 尭, 古川 長太, 山本 野人, 河原 康雄
最適化と近似理論 1990年 日本学術振興会 科学研究費助成事業 一般研究(C) 古川 長太, 大塚 寛, 柳川 尭, 佐藤 坦, 河原 康雄, 藤野 精一
関数方程式に対する自己検証的数値計算法 1990年 日本学術振興会 科学研究費助成事業 一般研究(C) 中尾 充宏, 大塚 寛, 川崎 英文, 山本 野人, 河原 康雄, 藤野 精一
通信に基づく並列計算モデルのカテゴリー論的意味論
Categorical semantics of parallel computation models based on communications
- その他
- 研究者総覧に該当データはありませんでした。
2025年4月24日更新
- 専門分野・研究分野
- 自然科学一般 / 数学基礎
情報通信 / 情報学基礎論
自然科学一般 / 応用数学、統計数学
情報通信 / ソフトウェア - 所属学会・所属協会
- Information Processing Society of Japan
日本数学会
Mathmatical Society of Japan
Japan Society for Software Science and Technology
情報処理学会
日本ソフトウェア科学会 - 委員歴・役員歴
- 研究者総覧に該当データはありませんでした。
- 受賞
- 研究者総覧に該当データはありませんでした。
- 活動
- 私たちの社会の中の数学 役割：講師 愛媛大学 教員免許状更新講習 2020年12月
私たちの社会の中の数学 役割：講師 愛媛大学 教員免許状更新講習 愛媛県歴史文化博物館 2016年8月
私たちの社会の中の数学 役割：講師 愛媛大学 教員免許状更新講習 愛媛大学 2013年8月
私たちの社会の中の数学 役割：講師 愛媛大学 教員免許状更新講習 新居浜市総合福祉センター 2011年8月
2025年4月20日更新
2025年4月19日更新
Ｊグローバル
- Jグローバル最終確認日
- 2025/4/19 01:03
- 氏名（漢字）
- 大塚 寛
- 氏名（フリガナ）
- オオツカ ヒロシ
- 氏名（英字）
- Otsuka Hiroshi
- 所属機関
- 愛媛大学 准教授
リサーチマップ
- researchmap最終確認日
- 2025/4/20 01:12
- 氏名（漢字）
- 大塚 寛
- 氏名（フリガナ）
- オオツカ ヒロシ
- 氏名（英字）
- Otsuka Hiroshi
- プロフィール
- リサーチマップAPIで取得できませんでした。
- 登録日時
- 2011/8/16 00:00
- 更新日時
- 2024/12/18 10:28
- アバター画像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で取得できませんでした。
- 社会貢献活動
2025年4月19日更新
- 研究者番号
- 30203839
- 所属（現在）
- 2025/4/1 : 愛媛大学, 理工学研究科(理学系), 准教授
- 所属（過去の研究課題
情報に基づく）*注記 - 2021/4/1 – 2023/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 / スポーツ科学 / スポーツ戦術分析 / 社会的評価システム / スポーツ活動 / 戦術評価システム / 社会性評価システム / 可視化 / 数値化
研究課題
研究成果
共同研究者
注目研究はありません。