OKUI Satoshi 奥居哲

… Alternative Names

奥井哲オクイサトシ

Less

Researcher Number	00283515
Other IDs
Affiliation (Current)	2025: 中部大学, 工学部, 准教授
Affiliation (based on the past Project Information) *help	2010 – 2017: 中部大学, 工学部, 准教授 2001 – 2006: 中部大学, 工学部, 助教授
Review Section/Research Field	Principal Investigator Fundamental theory of informatics Except Principal Investigator Fundamental theory of informatics / Educational technology / 計算機科学 / Science education
Keywords	Principal Investigator XML / パターンマッチング / パターン照合 / 正規表現 / formal grammar / context / higher-order / narrowing / term rewriting system / pattern matching … More / regular expression / ユニフィケーション / XMLデータの統合 / XNL文書の変換 / 項書き換え系 / XML文書の統合 / 不完全正則表現型 / 高階ナローイング / 文法 / 形式文法 / 文脈 / 高階 / ナローイング / 項書換え系 / 最左最長 / ＰＯＳＩＸ / オートマトン / POSIX … More Except Principal Investigator 高階ナローイング / 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 / プログラミング教育 / 正規表現 / ナローイング Less

Development and evaluation of integrated programming environment for beginners learning PDCA cycle
- Principal Investigator
  
  SUZUKI Yuri
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Science education
- Research Institution
  Chubu University
Verification of XML Transformation based on Higher-Order Narrowing
- Principal Investigator
  
  SUZUKI TARO
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Aizu
An efficient POSIX regular expression matching via Glushkov automata with augmented transitionsPrincipal Investigator
- Principal Investigator
  
  OKUI Satoshi
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Chubu University
Integration and Transformation of XML-Documents Based-On Higher-Order NarrowingPrincipal Investigator
- Principal Investigator
  
  OKUI Satoshi
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Chubu University
Transformation of XML Documents with Higher-Order Matching based on Higher-Order Rewrite Systems
- Principal Investigator
  
  SUZUKI Taro
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Aizu
Construction of Web-LAB and its fundamental application for education
- Principal Investigator
  
  KAWASHIMA Makoto
- Project Period (FY)
  2002 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Educational technology
- Research Institution
  Chubu University
Formalization of Process Calculi Using An Abstract Higher-Order Rewrite System
- Principal Investigator
  
  SUZUKI Taro
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  The University of Aizu

All 2016 2015 2014 2013 2012 2011 2010 2007 2006 2005 2004 2003

All Journal Article Presentation

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

1. SUZUKI Taro (90272179)

# of Collaborated Projects: 5 results

# of Collaborated Products: 31 results
2. SUZUKI Yuri (20340200)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
3. KAWASHIMA Makoto (80340199)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. TAKAHASHI Michio (30340201)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 山内康一郎 (00262949)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
6. 板井陽俊 (10551971)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 石井成郎 (80399237)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results

OKUI Satoshi 奥居 哲

奥井 哲 オクイ サトシ

Research Projects

Research Products

Co-Researchers

Development and evaluation of integrated programming environment for beginners learning PDCA cycle

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Verification of XML Transformation based on Higher-Order Narrowing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

An efficient POSIX regular expression matching via Glushkov automata with augmented transitionsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integration and Transformation of XML-Documents Based-On Higher-Order NarrowingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Transformation of XML Documents with Higher-Order Matching based on Higher-Order Rewrite Systems

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Construction of Web-LAB and its fundamental application for education

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Formalization of Process Calculi Using An Abstract Higher-Order Rewrite System

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] メモ化について2014

Author(s)

Journal Title

Data Source

[Journal Article] メモ化について2014

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

NAID

Data Source

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

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions2013

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

NAID

Data Source

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

Author(s)

Journal Title

NAID

Data Source

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

OKUI Satoshi 奥居哲

奥井哲オクイサトシ