鈴木大郎 SUZUKI Taro

… 別表記

鈴木太郎スズキタロウ

鈴木大朗 SUZUKI Taro

研究者番号	90272179
その他のID
外部サイト
所属 (現在)	2025年度: 会津大学, コンピュータ理工学部, 上級准教授
所属 (過去の研究課題情報に基づく) *注記	2013年度: 会津大学, コンピュータ理工学部, 上級准教授 2007年度 – 2012年度: 会津大学, コンピュータ理工学部, 准教授 2009年度 – 2010年度: 公立大学法人会津大学, コンピュータ理工学部, 准教授 2007年度: 会津大学, 准教授 2001年度 – 2006年度: 会津大学, コンピュータ理工学部, 講師 … もっと見る 2001年度: 会津大学, コンピュータ理工学部, 助手 2000年度: 東北大学, 電気通信研究所, 助手 2000年度: 東北大学, 電気通信電気通信研究所, 助手 1998年度 – 1999年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助手 1995年度 – 1997年度: 筑波大学, 電子・情報工学系, 助手隠す
審査区分/研究分野	研究代表者情報学基礎 / 計算機科学研究代表者以外計算機科学 / 情報学基礎 / 代数学 / 固体地球惑星物理学
キーワード	研究代表者高階ナローイング / XML / ナローイング / higher-order pattern matching / static type checking / incomplete regular expression type / higher-order rewrite system / XML transformation / 二階のパターン照合 / 変換技術 … もっと見る / パターン照合アルゴリズム / 静的型チェック / 型体系 / 高階書換え系 / 正則表現の導集合 / 正則木表現 / 高階パターン照合 / 静的型検査 / 不完全正則表現型 / 高階項書換え系 / XML変換 / pattern rewrite system / abstract narrowing / higher-order narrowing / equational rewrite system / abstract higher-order rewrite system / π-calculus / process calculus / 関数論理型言語 / プロセス書換え系 / 書換え論理 / パターン項書換え系 / 等式付き項書換え系 / 抽象高階項書換え系 / π-計算系 / プロセス計算系 / 正規表現 / 自動証明 / 高階ナローイング計算系 / 関数論理型言語処理系 / 完備化手続き / 定理自動証明 … もっと見る研究代表者以外 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(かぐや) / 地質図 / はやぶさ / ウエブマッピングサービス / データベース / 地理情報システム / 画像処理 / 月惑星探査 / かぐや / 高階遅延ナローイング / 球解完全性 / 選択関数 / 宣言型プログラム / 高階システム / 決定可能性 / 停止性隠す

高階ナローイングにもとづくＸＭＬ文書処理の検証技術研究代表者
- 研究代表者
  
  鈴木大郎
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  会津大学
Glushkovオートマトンの拡張に基づくPOSIX正規表現の効率的照合手法
- 研究代表者
  
  奥居哲
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  中部大学
記号計算の理論を駆使したウェブソフトアモデル化と検証
- 研究代表者
  
  井田哲雄
- 研究期間 (年度)
  2008 – 2011
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  筑波大学
深宇宙探査機データのGISへの統合と遠隔共同解析技術の研究
- 研究代表者
  
  出村裕英
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  固体地球惑星物理学
- 研究機関
  会津大学
非結合的代数系からの数理物理学への応用
- 研究代表者
  
  神谷徳昭
- 研究期間 (年度)
  2007 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  代数学
- 研究機関
  会津大学
高階ナローイングに基づくXMLデータ統合・変換技術
- 研究代表者
  
  奥居哲
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  中部大学
高階項書換え系にもとづく高階パターン照合を用いたXML変換技術研究代表者
- 研究代表者
  
  鈴木大郎
- 研究期間 (年度)
  2003 – 2005
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  会津大学
抽象高階書換え系によるプロセス計算系の定式化に関する研究研究代表者
- 研究代表者
  
  鈴木大郎
- 研究期間 (年度)
  2001 – 2002
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  会津大学
宣言型プログラムを対象とする高階項書換え系の計算理論
- 研究代表者
  
  井田哲雄
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  萌芽的研究
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
完備化に基づく自動証明技術の研究研究代表者
- 研究代表者
  
  鈴木太郎 (鈴木大郎)
- 研究期間 (年度)
  1999 – 2000
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  東北大学
   北陸先端科学技術大学院大学
書き換えシステムに基づく発展的プログラミングの研究
- 研究代表者
  
  外山芳人
- 研究期間 (年度)
  1998
- 研究種目
  
  特定領域研究(A)
- 研究機関
  北陸先端科学技術大学院大学
分散制約解消系を融合する関数論理型プログラミング
- 研究代表者
  
  井田哲雄
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
プログラム検証のための帰納的定理自動証明法の研究
- 研究代表者
  
  外山芳人
- 研究期間 (年度)
  1998 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  東北大学
   北陸先端科学技術大学院大学
高階関数・論理的プログラムの計算モデル
- 研究代表者
  
  井田哲雄
- 研究期間 (年度)
  1996 – 1997
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
関数論理融合型言語のマルチメディアプログラミング環境の構築
- 研究代表者
  
  井田哲雄
- 研究期間 (年度)
  1995 – 1997
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
条件付き書換え系の宣言型プログラミングへの応用
- 研究代表者
  
  井田哲雄
- 研究期間 (年度)
  1994 – 1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学

すべて 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003

すべて雑誌論文学会発表

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

1. 井田哲雄 (70100047)

共同の研究課題数: 6件

共同の研究成果数: 0件
2. MIDDELDORP Aart (30251044)

共同の研究課題数: 5件

共同の研究成果数: 0件
3. 奥居哲 (00283515)

共同の研究課題数: 5件

共同の研究成果数: 31件
4. CHAKRAVARTY マヌエル (30292535)

共同の研究課題数: 3件

共同の研究成果数: 0件
5. 外山芳人 (00251968)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 荒木博志 (10290884)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 岩崎晃 (40356530)

共同の研究課題数: 2件

共同の研究成果数: 2件
8. 佐伯和人 (50292363)

共同の研究課題数: 2件

共同の研究成果数: 3件
9. 南出靖彦 (50252531)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 出村裕英 (10360009)

共同の研究課題数: 1件

共同の研究成果数: 3件
11. 浅田智朗 (80264563)

共同の研究課題数: 1件

共同の研究成果数: 2件
12. 岡嶐一 (60347242)

共同の研究課題数: 1件

共同の研究成果数: 2件
13. 林隆史 (20218580)

共同の研究課題数: 1件

共同の研究成果数: 5件
14. 佐々木晶 (10183823)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 平田成 (80372655)

共同の研究課題数: 1件

共同の研究成果数: 4件
16. 小川佳子 (90372656)

共同の研究課題数: 1件

共同の研究成果数: 1件
17. 本田親寿 (40435805)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 北里宏平 (50550597)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 寺薗淳也 (60453023)

共同の研究課題数: 1件

共同の研究成果数: 5件
20. 神谷徳昭 (90144691)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 森和好 (20252322)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. MARIN Mircea (60396603)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 加藤和彦 (90224493)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 山田俊行 (60312831)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 草刈圭一朗 (90323112)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 酒井正彦 (50215597)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 清木康 (10169956)

共同の研究課題数: 1件

共同の研究成果数: 0件

鈴木 大郎 SUZUKI Taro

鈴木 太郎 スズキ タロウ

鈴木 大朗 SUZUKI Taro

研究課題

研究成果

共同研究者

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

完備化に基づく自動証明技術の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

鈴木大郎 SUZUKI Taro

鈴木太郎スズキタロウ

鈴木大朗 SUZUKI Taro