詳細検索はこちら

大塚 寛オオツカ ヒロシ

所属部署
大学院理工学研究科 数理物質科学専攻
職名准教授
メールアドレス
ホームページURL
生年月日
Last Updated :2018/02/09

研究者基本情報

学歴

  •  - 1987年, 九州大学, 理学研究科, 数学
  •  - 1985年, 九州大学, 理学部, 数学

学位

  • 理学修士
  • 博士(理)

経歴

  •   1999年06月,  - 2005年03月, 愛媛大学 理学部, 数理科学科, 助教授
  •   1994年06月,  - 1999年05月, 九州大学 大学院数理学研究科, 講師
  •   1988年06月,  - 1994年05月, 九州大学 理学部, 数学科, 助手

所属学協会

  • 日本ソフトウェア科学会
  • 情報処理学会
  • 日本数学会

研究活動情報

研究分野

  • 情報学基礎理論
  • ソフトウェア
  • 数学一般(含確率論・統計数学)

研究キーワード

    モデル検査, プロセス代数, 並列計算, 協調型言語

MISC

  • PVMを用いた1次元有限セルオートマトンの挙動解析
    森 雅生, 大塚 寛, 井口 修一, 計算機科学研究報告, 16,   1999年07月
  • ParaGraph for VPP-PVM : VPPシステム上のPVMのための可視化ツールの紹介
    大塚 寛, 九州大学大型計算機センター広報, 32, (2) 61 - 75,   1999年06月
  • 平方格子上の規制番号90のセルオートマトンの周期長について
    36, (3(Mar)) 1435 - 1456,   1995年
  • A CATEGORICAL MODEL OF λ-CALCULUS BASED ON DE BRUIJN'S NAME-FREE EXPRESSIONS
    Bulletin of Informatics and Cybernetics, 23,   1989年
  • COMPARISON OF TWO CATEGORICAL MODELS OF TYPED λ-CALCULUS
    Bulletin of Informatics and Cybernetics, 24,   1991年
  • A SYMBOLIC CALCULUS OF REGULAR EXPRESSIONS
    Bulletin of Informatics and Cybernetics, 22,   1987年
  • A proof of the substitution lemma in de Bruijn's notation
    OHTSUKA H, Information Processing Letters, 46, (2) 63 - 66,   1993年
  • An application of strictures analysis for graphs to that for lists
    Functioual Programing II JSSST'94,   1994年
  • Period lengths of cellular automata on square lattice with rule 90
    KAWAHARA Y, OHTSUKA H, SHOUDAI T, KUMAMOTO S, MIZOGUCHI Y, NOHMI M, Journal of Mathematical Physics, 36, (3) 1435 - 1456,   1995年
  • Higher order programming using Mathematica in teaching programming
    Proceedings of the Third Asian Technology Conference in Mathematics,   1998年

書籍等出版物

講演・口頭発表等

  • サッカーの攻守推移モデルからのパス抽出とその評価
    大塚 寛, 山中 亮, 第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日
  • 協調型言語における試験等価性と失敗等価性の関係とモデル検査への適用
    大塚 寛, 全国大会講演論文集,   2010年03月08日, 本講演者は並列プログラムの作成において、各プロセス間の通信の仕様をCSPで与え、この詳細化を経て、最終的には協調型言語の枠組みによる実装を行っている。CSPでは主に失敗集合によってプロセスに意味を与えるが、試験等価性の立場からは、軌跡等価性とmay試験等価性の間に、失敗集合等価性とmust試験等価性の間に関係がある。ここではこれらの関係を協調型言語の枠組みの中で拡張して得られた関係を報告する。
  • A_006 正規表現関数を用いた文字列照合アルゴリズムの高速化に関する研究(A分野:モデル・アルゴリズム・プログラミング)
    石田 俊一, 大塚 寛, 本多 和正, 情報科学技術フォーラム一般講演論文集,   2006年08月21日, 正規表現による文字列照合問題では、有限オートマトン(FA)を用いたアルゴリズムがよく知られている。一方で、この問題はキーワードによる文字列照合問題の一種の拡張とみなす方法もある。我々はこの方法に正規表現関数を適用した手法について研究を行っている。キーワードによる文字列照合問題を解くアルゴリズムである。Boyer-Moore法(BM法)やKnuth-Morris-Platt(KMP法)では、照合が失敗した際に次の照合開始位置を効率的に決定することで高速な照合を実現している。今回の研究ではそのような開始位置を決定する方法を、正規表現関数を用いた手法に導入することで、文字列照合の高速化を考察した。キーワードによる文字列照合問題を解くアルゴリズムはいくつかの型に分類できるが、ここではKnuth-Morris-Pratt型(KMP型)について述べる。
  • 協調型言語に基づく並列プロセスのモデル検証 (計算機科学基礎理論の新展開)
    大塚 寛, 数理解析研究所講究録,   2003年05月
  • 協調型言語に基づく並列プロセスのモデル検証
    京都大学 数理解析研究所数理解析研究所講究録,   2003年
  • 一斉通信のデッドロック解析へのプロセス代数的アプローチ
    大塚 寛, 全国大会講演論文集,   1999年09月28日
  • グラフ構造上のストリクト性解析のリスト構造上のストリクト性解析への応用
    関数プログラミングII JSSST'94 レクチャーノート/ソフトウェア学10 近代科学社,   1994年

作品

  • サッカーのトラッキングデータからのパス抽出プログラム
    大塚 寛, コンピュータソフト,   2016年03月
  • サッカーのトラッキングデータからの攻守推移判定プログラム
    大塚 寛, コンピュータソフト,   2015年03月
  • TRDRDに基づくサッカーの分析プログラム
    大塚 寛, コンピュータソフト,   2014年02月
  • 情報処理教育センターにおける Mathewaticaの利用法 九州大学情報処理教育センター刊.情報処理教育広報Vol.20,1997,pp.112
      1997年
  • ParaGraph for VPP-PVM-VPPシステム上のPVMのための可視性ツールの紹介- 九州大学九型計算機センター刊,広報 Vol.32,No.2,1999,pp.612
      1999年
  • Using Mathematica at Educational Center for Information Processing
      1997年
  • ParaGraph for VPP-PVM-Introduction to Visualization Tool for PVM over VPP system
      1999年

競争的資金



Copyright © MEDIA FUSION Co.,Ltd. All rights reserved.