SUZUKI Taro 鈴木大郎

… Alternative Names

鈴木大郎スズキタロウ

鈴木太郎スズキタロウ

鈴木大朗スズキタロウ

Less

Researcher Number	90272179
Other IDs
External Links
Affiliation (Current)	2025: 会津大学, コンピュータ理工学部, 上級准教授
Affiliation (based on the past Project Information) *help	2013: 会津大学, コンピュータ理工学部, 上級准教授 2007 – 2012: 会津大学, コンピュータ理工学部, 准教授 2009 – 2010: 公立大学法人会津大学, コンピュータ理工学部, 准教授 2007: 会津大学, 准教授 2001 – 2006: 会津大学, コンピュータ理工学部, 講師 … More 2001: 会津大学, コンピュータ理工学部, 助手 2000: 東北大学, 電気通信研究所, 助手 2000: 東北大学, 電気通信電気通信研究所, 助手 1998 – 1999: 北陸先端科学技術大学院大学, 情報科学研究科, 助手 1995 – 1997: Univ.of Tsukuba, Inst.of Info Sci.and Electronics Research Associate, 電子・情報工学系, 助手 Less
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / 計算機科学 Except Principal Investigator 計算機科学 / Fundamental theory of informatics / Algebra / Solid earth and planetary physics
Keywords	Principal Investigator 高階ナローイング / XML / ナローイング / higher-order pattern matching / static type checking / incomplete regular expression type / higher-order rewrite system / XML transformation / 二階のパターン照合 / 変換技術 … More / パターン照合アルゴリズム / 静的型チェック / 型体系 / 高階書換え系 / 正則表現の導集合 / 正則木表現 / 高階パターン照合 / 静的型検査 / 不完全正則表現型 / 高階項書換え系 / XML変換 / pattern rewrite system / abstract narrowing / higher-order narrowing / equational rewrite system / abstract higher-order rewrite system / π-calculus / process calculus / 関数論理型言語 / プロセス書換え系 / 書換え論理 / パターン項書換え系 / 等式付き項書換え系 / 抽象高階項書換え系 / π-計算系 / プロセス計算系 / 正規表現 / 自動証明 / 高階ナローイング計算系 / 関数論理型言語処理系 / 完備化手続き / 定理自動証明 … More Except Principal Investigator Mathematica / narrowing / 求解完全性 / 計算モデル / XML / 高階 / ナローイング / CFLP / completeness / computation model / narrowing calculus / declarative programming / 宣言型プログラミング / ナロ-イング / 関数・論理型言語 / パターンマッチング / パターン照合 / 正規表現 / ナローイング計算系 / 項書き換えシステム / formal grammar / context / higher-order / term rewriting system / pattern matching / regular expression / ユニフィケーション / XMLデータの統合 / XNL文書の変換 / 項書き換え系 / XML文書の統合 / 不完全正則表現型 / 高階ナローイング / 文法 / 形式文法 / 文脈 / 項書換え系 / completion / rewriting system / higher order / coverset induction / rewriting induction / inductionless induction / 自動証明 / 完備化 / 書き換えシステム / 被覆集合帰納法 / 書き換え帰納法 / 潜在帰納法 / constraint solving system / functional logic languages / 制約解消系 / 関数論理型言語 / conditional rewriting / higher-order functional-logic language / 安全性 / 高階関数論理型言語 / 完全性 / 条件付き項書換え系 / 高階関数・論理型言語 / constraint solving / distributed environment / human interface / functional-logic language / multimedia / ヒューマンインターフェイス / 制約解消 / 分散環境 / ヒューマンインタフェース / ナロ-イング計算系 / 関数論理融合型言語 / マルチメディア / semantics of programs / modular property / level-confluence / functional-logic programming language / conditional rewrite system / 条件付項書換え系 / 関数論理型言語 / 宣言型言語 / 条件付き書換え系 / プログラム意味論 / モジュラー性 / 階層合流性 / 宣言型プロクラミング / 条件付き換え系 / 最左最長 / ＰＯＳＩＸ / オートマトン / POSIX / ソフトウェア学 / 検証 / ソフトウェア / 情報基礎 / ウェブ / 記号計算 / ソフトウェア検証 / 非結合的代数系 / 環論 / 非結合的代数 / 三項系 / リー代数 / 三項系代数 / リー環論 / かぐや(SELENE) / ウエブ配信 / 惑星 / 分散型GIS / 電子地質図 / 統合サイエンス / 惑星科学 / 地理情報システム(GIS) / 月 / SELENE(かぐや) / 地質図 / はやぶさ / ウエブマッピングサービス / データベース / 地理情報システム / 画像処理 / 月惑星探査 / かぐや / 高階遅延ナローイング / 球解完全性 / 選択関数 / 宣言型プログラム / 高階システム / 決定可能性 / 停止性 Less

Verification of XML Transformation based on Higher-Order NarrowingPrincipal Investigator
- 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 transitions
- 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
Modeling and verification of web software based on theories symbolic computation
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  University of Tsukuba
GIS-based integration with data products of deep space missions and development of collaborative environment for analysis and discussion with remote users.
- Principal Investigator
  
  DEMURA Hirohide
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Solid earth and planetary physics
- Research Institution
  The University of Aizu
A study of nonassociative algebras and mathematical physics
- Principal Investigator
  
  KAMIYA Norikaki (KAMIYA Noriaki)
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  The University of Aizu
Integration and Transformation of XML-Documents Based-On Higher-Order Narrowing
- 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 SystemsPrincipal Investigator
- 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
Formalization of Process Calculi Using An Abstract Higher-Order Rewrite SystemPrincipal Investigator
- 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
宣言型プログラムを対象とする高階項書換え系の計算理論
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
完備化に基づく自動証明技術の研究Principal Investigator
- Principal Investigator
  
  鈴木太郎 (鈴木大郎)
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Tohoku University
  Japan Advanced Institute of Science and Technology
書き換えシステムに基づく発展的プログラミングの研究
- Principal Investigator
  
  TOYAMA Yoshihiro
- Project Period (FY)
  1998
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Japan Advanced Institute of Science and Technology
Functional Logic Programming with Distributed Constraint Solving System
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
Inductive theorem proving method for program verification
- Principal Investigator
  
  TOYAMA Yoshihiro
- Project Period (FY)
  1998 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Tohoku University
  Japan Advanced Institute of Science and Technology
computation model for higher-order functional-logic languages
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
design and implementation of multimedia programming environment with functional-logic languages
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
Application of Conditional Rewrite Systems to Declarative Programming Languages
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  1994 – 1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba

All 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003

All Journal Article Presentation

[Journal Article] 決定性有限オートマトンによる正規表現の貪欲な照合2013
- Author(s)
  奥居哲,増田拓也,藤田佳宏,鈴木大郎
- Journal Title
  
  情報科学リサーチャーナル
  
  Volume: Vol.20 Pages: 97-104
- NAID
  40019638701
- 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] Design and Implementation of New Generation Data Format for Lunar and Planetary Exploration2012
- Author(s)
  Taro SUZUKI, Junya TERAZONO, Takafumi HAYASHI
- Journal Title
  
  JSASS on-line journal Aerospace Technology
- NAID
  130003373361
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Design and Implementation of New Generation Data Format for Lunar and Planetary Exploration2012
- Author(s)
  Taro SUZUKI, Junya TERAZONO, Takafumi HAYASHI
- Journal Title
  
  JSASS on-line journal "Aerospace Technology"
  
  Volume: (to appear)
- NAID
  130003373361
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] 決定性有限オートマトンによる正規表現の貪欲な照合2012
- Author(s)
  奥居哲, 増田拓也, 藤田佳宏, 鈴木大郎
- Journal Title
  
  情報科学リサーチジャーナル
  
  Volume: Vol.20 Pages: 97-104
- NAID
  40019638701
- Data Source
  KAKENHI-PROJECT-23500021
[Journal Article] Design and Implementation of New Generation Data Format for Lunar and Planetary Exploration2012
- Author(s)
  T. Suzuki, J. Terazono and T. Hayashi
- Journal Title
  
  Transaction of JSASS, Aerospace Technology Japan
  
  Volume: 10
- NAID
  130003373361
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500021
[Journal Article] Design and Implementation of New Generation Data Format for Lunar and Planetary Exploration2012
- Author(s)
  Taro Suzuki, Jun'ya Terazono and Takafumi Hayashi
- Journal Title
  
  Transaction of JSASS, Aerospace and Technology Japan
  
  Volume: Vol.10
- NAID
  130003373361
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500021
[Journal Article] Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions2011
- Author(s)
  Satoshi Okui, Taro Suzuki
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 6482 Pages: 231-240
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Product Derivatives of Regular Expressions2009
- Author(s)
  Taro Suzuki, Satoshi Okui
- Journal Title
  
  IPSJ Online Transactions (1),1
  
  Pages: 53-65
- NAID
  130000022133
- Data Source
  KAKENHI-PROJECT-19204045
[Journal Article] Hedge Pattern Partial Derivative2009
- Author(s)
  Taro Suzuki, Satoshi Okui
- Journal Title
  
  Proc. of CIAA 2009(Lecture Notes in Computer Science) 5642
  
  Pages: 125-134
- Data Source
  KAKENHI-PROJECT-19204045
[Journal Article] Hedge Pattern Partial Derivative2009
- Author(s)
  Taro Suzuki, Satoshi Okui
- Journal Title
  
  Proc. of CIAA 2009 (Lecture Notes in Computer Science 5642)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19204045
[Journal Article] Hedge Pattern Partial Derivative2009
- Author(s)
  T.Suzuki, S.Okui
- Journal Title
  
  14-th International Conference on Implementation and Application of Automata(CIAA 2009), Lecture Notes in Computer Science 5642
  
  Pages: 125-134
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Product Derivatives of Regular Expressions2008
- Author(s)
  Taro Suzuki, Satoshi Okui
- Journal Title
  
  IPSJ Online Transactions 1
  
  Pages: 53-65
- NAID
  130000022133
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Product Derivati ves of Regular Expressions2008
- Author(s)
  Taro Suzuki, Satoshi Okui
- Journal Title
  
  IPSJ Online Transactions (1) 1
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19204045
[Journal Article] Product Drivatives of Regular Expressions2008
- Author(s)
  Taro Suzuki, Staoshi Okui
- Journal Title
  
  IPSJ Online Transactions
  
  Volume: 1巻 Pages: 53-65
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Estimation of the lunar reflectance by ground-based observation using a tunable liquid-crystal filter telescope2008
- Author(s)
  K. Saiki, K. Saito, H. Okuno, A. Suzuki, Y. Yamanoi, N. Hirata, R., Nakamura
- Journal Title
  
  Earth Planets Space 60
  
  Pages: 417-424
- NAID
  10029007898
- Data Source
  KAKENHI-PROJECT-19204045
[Journal Article] Product Drivatives of Regular Expressions2008
- Author(s)
  Taro Suzuki, Staoshi Okui
- Journal Title
  
  IPSJ Online Transactions 1巻
  
  Pages: 53-65
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[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] 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] 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] 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] 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] A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents2005
- Author(s)
  Taro Suzuki
- Journal Title
  
  IPSJ Transaction on Programming Vol. 46
  
  Pages: 43-54
- NAID
  130000058405
- Description
  「研究成果報告書概要(和文)」より
- 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] Matching Automaton for String Pattern with Greedy Semantics2011
- Author(s)
  Taro Suzuki
- Organizer
  34th TRS Meeting
- Place of Presentation
  The University of Aizu, Japan
- Year and Date
  2011-02-12
- Data Source
  KAKENHI-PROJECT-22500019
[Presentation] Matching Automaton for String Pattern with Greedy Semantics2011
- Author(s)
  Taro Suzuki
- Organizer
  34^<th> TRS Meeting
- Place of Presentation
  会津大学
- Year and Date
  2011-02-12
- Data Source
  KAKENHI-PROJECT-22500019
[Presentation] Design and Implementation of New Generation Data Format for Lunar and Planetary Exploration2011
- Author(s)
  Taro Suzuki, Jun'ya Terazono and Takafumi Hayashi
- Organizer
  The 28th International Symposium on Space Technology and Science
- Data Source
  KAKENHI-PROJECT-23500021
[Presentation] Design and Implementation of New Generation Data Format for Lunar and Planetary Exploration2011
- Author(s)
  Taro Suzuki, Jun'ya Terazono, Takafumi Hayashi
- Organizer
  the 28th International Symposium on Space Technology and Science
- Place of Presentation
  沖縄県宜野湾市
- Data Source
  KAKENHI-PROJECT-23500021
[Presentation] WISE-CAPS: An Integrated and Secure Web-based Environment for Analysis and Browsing of Lunar and Planetary Data2010
- Author(s)
  Terazono, J. ; Nakamura, R. ; Kodama, S. ; Yamamoto, N. Demura, H. ; Hirata, N. ; Ogawa, Y. ; Haruyama, J. Ohtake, M. ; Matsunaga, T. ; Suzuki, T. ; Hayashi, T.
- Organizer
  41st Lunar and Planetary Science Conference
- Place of Presentation
  The Woodlands, Texas.
- Data Source
  KAKENHI-PROJECT-19204045
[Presentation] バックトラックのないマッチングオートマトンを用いたXML変換のためのアルゴリズム2010
- Author(s)
  柴田裕哉, 鈴木大郎
- Organizer
  第78回情報処理学会プログラミング研究会
- Place of Presentation
  電気通信大学
- Year and Date
  2010-03-16
- Data Source
  KAKENHI-PROJECT-20300001
[Presentation] INTEGRATED LUNAR WEB-GIS ENVIRONMENT USING DATA OBTAINED BY LUNAR EXPLORATION2009
- Author(s)
  J. Terazono, N. Asada, H. Demura, N. Hirata, K. Saiki, A. Iwasaki, R. Oka, T. Hayashi, T. Suzuki, H. Miyamoto, J. Haruyama, M. Ohtake, T. Matsunaga, S. Sobue, H. Okumura, T. Fujita, A. Yamamoto
- Organizer
  40th Lunar and Planetary Science Conference (LPSC 2009)
- Place of Presentation
  Texas (USA)
- Data Source
  KAKENHI-PROJECT-19204045
[Presentation] A sensor network using content-aware messaging network architecture2009
- Author(s)
  J.Terazono, H.Fukuhara, T.Yamada, T.Nihei, K.Suzuki, I.Koseda, R.Fujita, T.Miyazaki, S.Saito, A.Kara, T.Hayashi
- Organizer
  In ICCAS-SICE, 2009
- Place of Presentation
  福岡
- Year and Date
  2009-08-19
- Data Source
  KAKENHI-PROJECT-19204045
[Presentation] INTEGRATED LUNAR WEB -GIS ENVIRONMENT USING DATA OBTAINEDBY LUNAR EXPLORATION2009
- Author(s)
  J. Terazono, N. Asada, H. Demura, N. Hirata, K. Saiki, A. Iwasaki, R. Oka, T. Hayashi, T. Suzuki, H. Miyamoto, J. Haruyama, M. Ohtake, T. Matsunaga, S. Sobue, H. Okumura, T. Fujita, A. Yamamoto
- Organizer
  40th Lunar and Planetary Science Conference (LPSC 2009)
- Place of Presentation
  Texas (USA)
- Data Source
  KAKENHI-PROJECT-19204045
[Presentation] A sensor network using content-aware messaging network architecture2009
- Author(s)
  J. Terazono, H. Fukuhara, T. Yamada, T. Nihei, K. Suzuki, I. Koseda, R. Fujita, T. Miyazaki, S. Saito, A. Kara, T. Hayashi
- Organizer
  In ICCAS-SICE
- Place of Presentation
  福岡
- Year and Date
  2009-08-19
- Data Source
  KAKENHI-PROJECT-19204045
[Presentation] Product Derivatives of Regular Expressions2008
- Author(s)
  鈴木大郎
- Organizer
  情報処理学会第67回プログラミング研究会
- Place of Presentation
  東北大学電気通信研究所
- Year and Date
  2008-01-25
- Data Source
  KAKENHI-PROJECT-19204045

1. IDA Tetsuo (70100047)

# of Collaborated Projects: 6 results

# of Collaborated Products: 0 results
2. MIDDELDORP Aart (30251044)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
3. OKUI Satoshi (00283515)

# of Collaborated Projects: 5 results

# of Collaborated Products: 31 results
4. CHAKRAVARY Mauuel (30292535)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. TOYAMA Yoshihiro (00251968)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. ARAKI Hiroshi (10290884)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. IWASAKI Akira (40356530)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
8. SAIKI Kazuto (50292363)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
9. MINAMIDE Yasuhiko (50252531)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. DEMURA Hirohide (10360009)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
11. ASADA Noriaki (80264563)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
12. OKA Ryuichi (60347242)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
13. HAYASHI Takafumi (20218580)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
14. SASAKI Sho (10183823)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. HIRATA Naru (80372655)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
16. OGAWA Yoshiko (90372656)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
17. HONDA Chikatoshi (40435805)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. KITAZATO Kohei (50550597)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. TERAZONO Jyunya (60453023)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
20. KAMIYA Norikaki (90144691)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. MORI Kazuyoshi (20252322)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. MARIN Mircea (60396603)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. KATO Kazuhiko (90224493)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. YAMADA Toshiyuki (60312831)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. KUSAKARI Keichirou (90323112)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. 酒井正彦 (50215597)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 清木康 (10169956)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

SUZUKI Taro 鈴木 大郎

鈴木 大郎 スズキ タロウ

鈴木 太郎 スズキ タロウ

鈴木 大朗 スズキ タロウ

Research Projects

Research Products

Co-Researchers

Verification of XML Transformation based on Higher-Order NarrowingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Formalization of Process Calculi Using An Abstract Higher-Order Rewrite SystemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

完備化に基づく自動証明技術の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

SUZUKI Taro 鈴木大郎

鈴木大郎スズキタロウ

鈴木太郎スズキタロウ

鈴木大朗スズキタロウ