奥居哲 OKUI Satoshi

… 別表記

奥井哲オクイサトシ

研究者番号	00283515
その他のID
所属 (現在)	2025年度: 中部大学, 工学部, 准教授
所属 (過去の研究課題情報に基づく) *注記	2010年度 – 2017年度: 中部大学, 工学部, 准教授 2001年度 – 2006年度: 中部大学, 工学部, 助教授
審査区分/研究分野	研究代表者情報学基礎研究代表者以外情報学基礎 / 教育工学 / 計算機科学 / 科学教育
キーワード	研究代表者 XML / パターンマッチング / パターン照合 / 正規表現 / formal grammar / context / higher-order / narrowing / term rewriting system / pattern matching … もっと見る / regular expression / ユニフィケーション / XMLデータの統合 / XNL文書の変換 / 項書き換え系 / XML文書の統合 / 不完全正則表現型 / 高階ナローイング / 文法 / 形式文法 / 文脈 / 高階 / ナローイング / 項書換え系 / 最左最長 / ＰＯＳＩＸ / オートマトン / POSIX … もっと見る研究代表者以外高階ナローイング / XML / higher-order pattern matching / static type checking / incomplete regular expression type / higher-order rewrite system / XML transformation / 二階のパターン照合 / 変換技術 / パターン照合アルゴリズム / 静的型チェック / 型体系 / 高階書換え系 / 正則表現の導集合 / 正則木表現 / 高階パターン照合 / 静的型検査 / 不完全正則表現型 / 高階項書換え系 / XML変換 / engineering experiment environment / e-Learnig system / Internet technology / Multi-media technology / 実験環境 / 工学実験 / 理工学実験環境 / e-Learningシステム / インターネット技術 / マルチメディア技術 / pattern rewrite system / abstract narrowing / higher-order narrowing / equational rewrite system / abstract higher-order rewrite system / π-calculus / process calculus / 関数論理型言語 / プロセス書換え系 / 書換え論理 / パターン項書換え系 / 等式付き項書換え系 / 抽象高階項書換え系 / π-計算系 / プロセス計算系 / 学習支援システム / 創造性 / PDCA / プログラミング教育 / 正規表現 / ナローイング隠す

ＰＤＣＡサイクルの学習を支援する初心者向け統合プログラミング環境の開発と評価
- 研究代表者
  
  鈴木裕利
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  科学教育
- 研究機関
  中部大学
高階ナローイングにもとづくＸＭＬ文書処理の検証技術
- 研究代表者
  
  鈴木大郎
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  会津大学
Glushkovオートマトンの拡張に基づくPOSIX正規表現の効率的照合手法研究代表者
- 研究代表者
  
  奥居哲
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  中部大学
高階ナローイングに基づくXMLデータ統合・変換技術研究代表者
- 研究代表者
  
  奥居哲
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  中部大学
高階項書換え系にもとづく高階パターン照合を用いたXML変換技術
- 研究代表者
  
  鈴木大郎
- 研究期間 (年度)
  2003 – 2005
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  会津大学
Web-LABの開発とこれを用いた理工学系概念の習得過程の解明及び教育の高度化
- 研究代表者
  
  川島信
- 研究期間 (年度)
  2002 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  教育工学
- 研究機関
  中部大学
抽象高階書換え系によるプロセス計算系の定式化に関する研究
- 研究代表者
  
  鈴木大郎
- 研究期間 (年度)
  2001 – 2002
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  会津大学

すべて 2016 2015 2014 2013 2012 2011 2010 2007 2006 2005 2004 2003

すべて雑誌論文学会発表

[雑誌論文] メモ化について2014
- 著者名/発表者名
  奥居哲
- 雑誌名
  
  情報科学リサーチジャーナル
  
  巻: Vol.21 ページ: 67-68
- データソース
  KAKENHI-PROJECT-23500021
[雑誌論文] メモ化について2014
- 著者名/発表者名
  奥井哲
- 雑誌名
  
  情報科学リサーチジャーナル
  
  巻: 21 ページ: 67-68
- データソース
  KAKENHI-PROJECT-23500021
[雑誌論文] 決定性有限オートマトンによる正規表現の貪欲な照合2013
- 著者名/発表者名
  奥居哲,増田拓也,藤田佳宏,鈴木大郎
- 雑誌名
  
  情報科学リサーチャーナル
  
  巻: Vol.20 ページ: 97-104
- NAID
  40019638701
- データソース
  KAKENHI-PROJECT-22500019
[雑誌論文] 拡張ポジションオートマトンを生成するモナド結合子2013
- 著者名/発表者名
  奥居哲
- 雑誌名
  
  情報科学リサーチシャーナル
  
  巻: Vol.19 ページ: 5-18
- NAID
  120006519859
- データソース
  KAKENHI-PROJECT-22500019
[雑誌論文] Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions2013
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  University of Aizu Technical Report
  
  巻: 2013-002 ページ: 1-31
- データソース
  KAKENHI-PROJECT-23500021
[雑誌論文] 決定性有限オートマトンによる正規表現の貪欲な照合2013
- 著者名/発表者名
  奥居　哲，増田　拓也，藤田　佳宏，鈴木　大郎
- 雑誌名
  
  情報科学リサーチジャーナル（中部大学情報科学研究所）
  
  巻: 20 ページ: 97-104
- NAID
  40019638701
- データソース
  KAKENHI-PROJECT-22500019
[雑誌論文] 決定性有限オートマトンによる正規表現の貪欲な照合2013
- 著者名/発表者名
  奥居哲，増田拓也，藤田佳宏，鈴木大郎
- 雑誌名
  
  情報科学リサーチジャーナル
  
  巻: 20 ページ: 97-104
- NAID
  40019638701
- データソース
  KAKENHI-PROJECT-23500021
[雑誌論文] 決定性有限オートマトンによる正規表現の貪欲な照合2012
- 著者名/発表者名
  奥居哲, 増田拓也, 藤田佳宏, 鈴木大郎
- 雑誌名
  
  情報科学リサーチジャーナル
  
  巻: Vol.20 ページ: 97-104
- NAID
  40019638701
- データソース
  KAKENHI-PROJECT-23500021
[雑誌論文] 拡張ポジションオートマトンを生成するモナド結合子2012
- 著者名/発表者名
  奥居哲
- 雑誌名
  
  情報科学ジャーナル
  
  巻: 19 ページ: 5-18
- NAID
  120006519859
- データソース
  KAKENHI-PROJECT-22500019
[雑誌論文] 正規表現のあいまいさ除去の効率的実現2011
- 著者名/発表者名
  奥居哲
- 雑誌名
  
  情報科学リサーチシャーナル
  
  巻: Vol.18 ページ: 95-96
- データソース
  KAKENHI-PROJECT-22500019
[雑誌論文] 正規表現のあいまいさ除去の効率的実現2011
- 著者名/発表者名
  奥居哲
- 雑誌名
  
  情報科学リサーチジャーナル
  
  巻: 18 ページ: 95-96
- データソース
  KAKENHI-PROJECT-22500019
[雑誌論文] Context Capturing in XML Document Processing Based on Regular Tree Pattern Matching2007
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  Journal of Information Science Vol. 14
  
  ページ: 71-82
- NAID
  40015409479
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Context Capturing in XML Document Processing Based on Regular Tree Pattern Matching2007
- 著者名/発表者名
  Satoshi Okui
- 雑誌名
  
  情報科学ジャーナル Vol.14
  
  ページ: 71-82
- NAID
  40015409479
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Pattern Matching of Incompletely RE-Typed Expressions via Transformation2007
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  IPSJ Transaction on Programming Vol. 47
  
  ページ: 37-49
- NAID
  130000058355
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Context Capturing in XML Document Processing Based on Regular Tree Pattern Matching2007
- 著者名/発表者名
  Satoshi Okui
- 雑誌名
  
  情報科学ジャーナル Vol. 14
  
  ページ: 71-82
- NAID
  40015409479
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Pattern Matching of Incompletely RE-Typed Expressions via Transformation2006
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  IPSJ Transactions on Programming 47 (PRO 29)(印刷中)
- NAID
  130000058355
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] Pattern Matching of Incompletely RE-Typed Expressions via Transformation2006
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  IPSJ Transactions on Programming 47(PRO29)
  
  ページ: 37-49
- NAID
  130000058355
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] Brzozowski Derivatives and Top-Down Regular Tree Pattern Matching2006
- 著者名/発表者名
  Satoshi Okui
- 雑誌名
  
  情報科学ジャーナル Vol.13
  
  ページ: 109-112
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Brzozowski Derivatives and Top-Down Regular Tree Pattern Matching2006
- 著者名/発表者名
  Satoshi Okui
- 雑誌名
  
  情報科学ジャーナル Vol. 13
  
  ページ: 109-112
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Pattern Matching of Incompletely RE-Typed Expressions via Transformation.2006
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  IPSJ Transactions on Programming Vol.47(PRO29)
  
  ページ: 37-49
- NAID
  130000058355
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] Brzozowski derivatives and regular tree pattern matching2006
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  情報科学リサーチジャーナル Voll.13
  
  ページ: 109-112
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Pattern Matching of Incompletely RE-Typed Expressions via Transformation IPSJ Transaction on Programming2006
- 著者名/発表者名
  Satoshi Okui
- 雑誌名
  
  IPSJ Transaction on Programming Vol.47
  
  ページ: 37-49
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Pattern Matching of Incompletely RE-Typed Expressions via Transformation2006
- 著者名/発表者名
  Satoshi Okui
- 雑誌名
  
  IPSJ Transaction on Programming Vol. 47
  
  ページ: 37-49
- NAID
  130000058355
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Brzozowski Derivatives and Top-Down Regular Tree Pattern Matching2006
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  Journal of Information Science Vol. 13
  
  ページ: 109-112
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  情報処理学会プログラミング研究会
  
  ページ: 1-9
- NAID
  130000058405
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] A rewrite system with incomplete regular expression type for transformation of XML documents2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  IPSJ Transactions on Programming 46(SIG 14(PRO27))
  
  ページ: 43-54
- NAID
  130000058405
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] A rewrite system with incomplete regular expression type for transformation of XML documents2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  IPSJ Transactions on Programming 46(SIG 14 (PRO27))
  
  ページ: 43-54
- NAID
  130000058405
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] A statically typed second-order rewrite system for XML transformation.2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  Proceedings of Eighth International Conference on Humans and Computers (HC-2005)
  
  ページ: 326-331
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] Transformation of XML Documents with Incomplete Regular Expression Type2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  第53回プログラミング研究会情報処理学会会場配布資料
  
  ページ: 10-10
- NAID
  40006707248
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] A rewrite system with incomplete regular expression type for transformations of XML documents2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  IPSJ Transactions on Programming, 46,SIG14(PRO-27)
  
  ページ: 43-54
- NAID
  130000058405
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Transformation of XML Documents with Incomplete Regular Expression Type.2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  Proceedings of the Third Workshop on Programmable Structured Documents (PSD)
  
  ページ: 120-127
- NAID
  40006707248
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] Pattern Matching Incompletely RE-Typed Expressions via Transformation2005
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  情報処理学会プログラミング研究会
  
  ページ: 1-12
- NAID
  130000058355
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] Transformation of XML Documents with Incomplete Regular Expression Type2005
- 著者名/発表者名
  Taru Suzuki, Satoshi Okui
- 雑誌名
  
  Proceedings of The Third Workshop on Programmable Structured Documents
  
  ページ: 120-127
- NAID
  40006707248
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] A statically typed second-order rewrite system for XML transformation2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  8^<th> International Conference on Humans and Computers
  
  ページ: 326-331
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Transformation of XML Documents with Incomplete Regular Expression Type2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  Proceedings of the Third PSD workshop
  
  ページ: 120-127
- NAID
  40006707248
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  IPSJ Transaction on Programming Vol. 46
  
  ページ: 43-54
- NAID
  130000058405
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] A rewrite system with incomplete regular expression type for transformation of XML document.2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  IPSJ Transactions on Programming Vol.46, No.SIG14(PRO27)
  
  ページ: 43-54
- NAID
  130000058405
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] A statically typed second-order rewrite system for XML transformation2005
- 著者名/発表者名
  Taro Suzuki, Satoshi Okui
- 雑誌名
  
  Proceedings on the Eighth International Conference on Humans and Computers (HC-2005)
  
  ページ: 326-331
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] Pattern matching of incompletely RE-typed expressions via transformation2005
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  2005 Austria-Japan Summer Workshop on Term Rewriting (in IPSJ Transactions on Programming, PRO-29) (To appear)
- NAID
  130000058355
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] Pattern matching incompletely RE-typed expressions via transformation2005
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  情報処理学会第55回プログラミング研究会,会場配布資料
- NAID
  130000058355
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] 匿名型Peer-to-Peer通信環境における流通情報の信頼度評価に関する人間行動の分析とモデル化2004
- 著者名/発表者名
  鈴木裕利, 奥居哲, 中西真弓, 高橋友一
- 雑誌名
  
  グループエェアとネットワークサービスワークショップ2004論文集(情報処理学会グループエェアとネットワークサービス研究会)
  
  ページ: 63-68
- データソース
  KAKENHI-PROJECT-16500014
[雑誌論文] 抽象高階書換え系におけるナローイング2003
- 著者名/発表者名
  奥居哲, 鈴木大郎
- 雑誌名
  
  情報処理学会論文誌 : プログラミング 44(SIG 16(PRO 20))
  
  ページ: 56-67
- NAID
  110002711914
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15500014
[雑誌論文] Narrowing in Abstract Higher-Order Rewrite Systems.(in Japanese)2003
- 著者名/発表者名
  Satoshi Okui, Taro Suzuki
- 雑誌名
  
  IPSJ Transactions on Programming Vol.44, No.SIG16(PRO20)
  
  ページ: 56-67
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15500014
[学会発表] 初心者プログラミング教育におけるPADの導入とその効果2016
- 著者名/発表者名
  小宅直樹，鈴木裕利，山内康一郎，奥居哲，石井成郎
- 学会等名
  電子情報通信学会研究報告，教育工学研究会，Vol.116，No. 85, ET2016-18, pp.59-64
- 発表場所
  名古屋工業大学（愛知県・名古屋市）
- データソース
  KAKENHI-PROJECT-26350204
[学会発表] 初心者向けプログラミング教育におけるPADの導入とその評価2015
- 著者名/発表者名
  小宅直樹，鈴木裕利，山内康一郎，奥居哲，石井成郎
- 学会等名
  平成27年度電気・電子・情報関係学会東海支部連合大会
- 発表場所
  名古屋工業大学，愛知県名古屋市
- 年月日
  2015-09-28
- データソース
  KAKENHI-PROJECT-26350204
[学会発表] 視覚的プログラミング言語におけるリファクタリング手法2011
- 著者名/発表者名
  杉山智昭、太田健介、奥居哲
- 学会等名
  電気関係学会東海支部連合大会
- 発表場所
  三重大学
- 年月日
  2011-09-26
- データソース
  KAKENHI-PROJECT-22500019
[学会発表] 仮想ディレクトリにおける形式的概念分析を用いた属性間関係の明確化2011
- 著者名/発表者名
  山本裕二、奥居哲
- 学会等名
  電気関係学会東海支部連合大会
- 発表場所
  三重大学
- 年月日
  2011-09-26
- データソース
  KAKENHI-PROJECT-22500019
[学会発表] 高階関数に基づく視覚的プログラミング言語の構造化2011
- 著者名/発表者名
  太田健介、杉山智昭、奥居哲
- 学会等名
  電気関係学会東海支部連合大会
- 発表場所
  三重大学
- 年月日
  2011-09-26
- データソース
  KAKENHI-PROJECT-22500019
[学会発表] Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions2010
- 著者名/発表者名
  Satoshi Okui
- 学会等名
  15th International Conference on Implementation and Application of Automata (CIAA2010)
- 発表場所
  University of Manitoba, Canada
- データソース
  KAKENHI-PROJECT-22500019
[学会発表] POSIX-Compliant Disambiguation in Regular Expression Matching (Preliminary Report)2010
- 著者名/発表者名
  Satoshi Okui
- 学会等名
  Workshop on Symbolic Computation and Software Verification
- 発表場所
  筑波大学
- データソース
  KAKENHI-PROJECT-22500019
[学会発表] Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions2010
- 著者名/発表者名
  Satoshi Okui
- 学会等名
  15^<th> International Conference on Implementation and Application of Automata (CIAA2010) LNCS6482 (Springer)
- 発表場所
  マニトバ大学(カナダ)
- データソース
  KAKENHI-PROJECT-22500019
[学会発表] POSIX-Compliant Disambiguation in Regular Expression Matching (Preliminary Report)2010
- 著者名/発表者名
  Satoshi Okui
- 学会等名
  Workshop on Symbolic Computation and Software Verification
- 発表場所
  University of Tsukuba, Japan
- データソース
  KAKENHI-PROJECT-22500019

1. 鈴木大郎 (90272179)

共同の研究課題数: 5件

共同の研究成果数: 31件
2. 鈴木裕利 (20340200)

共同の研究課題数: 2件

共同の研究成果数: 2件
3. 川島信 (80340199)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 高橋道郎 (30340201)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 山内康一郎 (00262949)

共同の研究課題数: 1件

共同の研究成果数: 2件
6. 板井陽俊 (10551971)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 石井成郎 (80399237)

共同の研究課題数: 1件

共同の研究成果数: 2件

奥居 哲 OKUI Satoshi

奥井 哲 オクイ サトシ

研究課題

研究成果

共同研究者

ＰＤＣＡサイクルの学習を支援する初心者向け統合プログラミング環境の開発と評価

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高階ナローイングにもとづくＸＭＬ文書処理の検証技術

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

Glushkovオートマトンの拡張に基づくPOSIX正規表現の効率的照合手法研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高階ナローイングに基づくXMLデータ統合・変換技術研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高階項書換え系にもとづく高階パターン照合を用いたXML変換技術

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

Web-LABの開発とこれを用いた理工学系概念の習得過程の解明及び教育の高度化

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

抽象高階書換え系によるプロセス計算系の定式化に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] メモ化について2014

著者名/発表者名

雑誌名

データソース

[雑誌論文] メモ化について2014

著者名/発表者名

雑誌名

データソース

[雑誌論文] 決定性有限オートマトンによる正規表現の貪欲な照合2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 拡張ポジションオートマトンを生成するモナド結合子2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions2013

著者名/発表者名

雑誌名

データソース

[雑誌論文] 決定性有限オートマトンによる正規表現の貪欲な照合2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 決定性有限オートマトンによる正規表現の貪欲な照合2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 決定性有限オートマトンによる正規表現の貪欲な照合2012

奥居哲 OKUI Satoshi

奥井哲オクイサトシ