Minamide Yasuhiko 南出靖彦

… Alternative Names

MINAMIDE Yasuhiko 南出靖彦

南出康彦ミナミデヤスヒコ

Less

Researcher Number	50252531
Other IDs
External Links
Affiliation (Current)	2025: 東京科学大学, 情報理工学院, 教授
Affiliation (based on the past Project Information) *help	2016 – 2024: 東京工業大学, 情報理工学院, 教授 2015: 東京工業大学, 情報理工学研究科, 教授 2010 – 2014: 筑波大学, システム情報系, 准教授 2007 – 2010: University of Tsukuba, Graduate School of Systems and Information Engineering, Associate Professor 2006: 筑波大学, 大学院システム情報工学研究科, 講師 … More 2005: 筑波大学, 大学院・システム情報工学研究科, 講師 1999 – 2002: Institute of Information Sciences and Electronics University of Tsukuba Assistant Professor, 電子・情報工学系, 講師 1997 – 1998: 京都大学, 数理解析研究所, 助手 1994 – 1995: 京都大学, 数理解析研究所, 助手 Less
Review Section/Research Field	Principal Investigator Software / 計算機科学 / Basic Section 60050:Software-related / Software Except Principal Investigator 計算機科学 / Software / Basic Section 60050:Software-related / Theory of informatics / Fundamental theory of informatics
Keywords	Principal Investigator ソフトウェア検証 / ウェブ / プログラム解析 / 文字列制約 / トランスデューサ / 正規表現 / 形式言語理論 / 操作的意味論 / プログラム変換 / オートマトン … More / 形式言語 / 構文解析 / プッシュダウンオートマトン / HTML5 / プッシュダウンシステム / 文脈自由文法 / ソフトウェア工学 / プログララム解析 / ソフトウエア検証 / 情報基礎 / ソフトウェア / プログラム処理系 / 対話的定理証明 / Hoare論理 / ホーア論理 / 定理証明系 / 型システム / 定理証明システム / 正当性 / 関数型プログラミング言語 / ML / コンパイラ / 関数プログラム言語 … More Except Principal Investigator Mathematica / 情報基礎 / 記号計算 / ソフトウェア検証 / プログラム検証 / completeness / narrowing calculus / computation model / constraint solving system / functional logic languages / ナローイング / CFLP / 求解完全性 / ナローイング計算系 / 計算モデル / 制約解消系 / 関数論理型言語 / ソフトウェア学 / 述語制約解消 / 循環証明 / shift0/reset0 / CHC optimization / de Morgan双対性 / 不動点論理 / 関係的仕様 / 時相的仕様 / プログラム合成 / 折紙ソフトウェア / 定理証明支援系 / 幾何代数 / 折紙の理論 / 立体モデル化 / 幾何定理自動証明 / 計算理論 / Geometric Algebra / 折紙幾何定理の自動証明 / 計算幾何 / 自動定理証明 / 立体折紙 / 計算折紙 / 計算モデル論 / solvers / rewrite systems / web software / web services / computational origami / symbolic computation / software verification / automated theorem proving / 知識処理 / グロブナー基底 / グリッド / ウェブソフトウェアシステム / 計算折り紙 / 求解系 / 書換系 / ウエブソフトウエアシステム / ウェブサービス / 計算圻り紙 / ソフトウエア検証 / 定理自動証明 / collaborative system / open CFLP / 高階遅延ナローイング / CORBA / 分散協調制約解決 / オープンコンピューティング / Polymorphism / Data Model / Compiler / Programming Language / Type Theory / 型推論 / ポリモルフィズム / データモデル / コンパイラー / プログラミング言語 / 型理論 / ソフトウェア工学 / ソフトウェア開発効率化・安定化 / ルールベースプログラミング / XML / 検証 / ソフトウェア / ウェブ Less

Depeeping Sotfware Verifaction Based on Transducer TheoryPrincipal Investigator
- Principal Investigator
  
  南出靖彦
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo Institute of Technology
Synthesis of High-Level Programs from Temporal and Relational Specifications
- Principal Investigator
  
  海野広志
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tohoku University
  University of Tsukuba
Software Verification Based on the Theory of TransducersPrincipal Investigator
- Principal Investigator
  
  南出靖彦
- Project Period (FY)
  2019 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo Institute of Technology
Verification of Web technologies based on the theory of formal languagesPrincipal Investigator
- Principal Investigator
  
  Minamide Yasuhiko
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
Towards 3D computational oeigami - theory and software development
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  University of Tsukuba
String Analysis for the Development of Web SoftwarePrincipal Investigator
- Principal Investigator
  
  MINAMIDE Yasuhiko
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
Verification of Web Software Based on String AnalysisPrincipal Investigator
- Principal Investigator
  
  MINAMIDE Yasuhiko
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
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
Applications of rule-based programming to verification and transformation of XML
- Principal Investigator
  
  MARIN Mircea
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
Verification of Software with Interactive Theorem ProvingPrincipal Investigator
- Principal Investigator
  
  MINAMIDE Yasuhiko
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
Symbolic Computation and Symbolic Computing Grid Based on the Interaction of Provers, Solvers and Reduces
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  University of Tsukuba
定理証明システムによる型システムとプログラム変換の検証Principal Investigator
- Principal Investigator
  
  南出靖彦
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
Global computing by networked equational constraint solvers
- Principal Investigator
  
  IDA Tetsuo
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- 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
  University of Tsukuba
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
関数プログラム言語のコンパイラの研究Principal Investigator
- Principal Investigator
  
  南出靖彦
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University
Research on Programming Language Design Theory Based on Type Theory
- Principal Investigator
  
  OHORI Atsushi
- Project Period (FY)
  1994 – 1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY

[Journal Article] Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL2023
- Author(s)
  Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
- Journal Title
  
  Leibniz International Proceedings in Informatics
  
  Volume: ITP2023
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11899
[Journal Article] Derivatives of Context-free Grammars with Lookahead2023
- Author(s)
  Miyazaki Takayuki、Minamide Yasuhiko
- Journal Title
  
  Journal of Information Processing
  
  Volume: 31 Issue: 0 Pages: 421-431
- DOI
  10.2197/ipsjjip.31.421
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11899, KAKENHI-PROJECT-20J23184
[Journal Article] Solving String Constraints with Nondeterministic Streaming String Transducers and Parikh Automata2023
- Author(s)
  釜野雅基, 福田大我, 南出靖彦
- Journal Title
  
  Computer Software
  
  Volume: 40 Issue: 1 Pages: 1_117-1_136
- DOI
  10.11309/jssst.40.1_117
- ISSN
  0289-6540
- Year and Date
  2023-01-25
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11899, KAKENHI-PROJECT-23K20380
[Journal Article] Program Logic for?Higher-Order Probabilistic Programs in?Isabelle/HOL2022
- Author(s)
  Hirata Michikazu、Minamide Yasuhiko、Sato Tetsuya
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 13215 Pages: 57-74
- DOI
  10.1007/978-3-030-99461-7_4
- ISBN
  9783030994600, 9783030994617
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K19775, KAKENHI-PROJECT-19K11899
[Journal Article] 非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定,2022
- Author(s)
  釜野雅基, 福田大我, 南出靖彦
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11899
[Journal Article] Complexity Analysis of Extended Regular Expression Matching2021
- Author(s)
  高橋和也, 南出靖彦
- Journal Title
  
  Computer Software
  
  Volume: 38 Issue: 2 Pages: 2_53-2_70
- DOI
  10.11309/jssst.38.2_53
- NAID
  130008055711
- ISSN
  0289-6540
- Year and Date
  2021-04-23
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11899, KAKENHI-PROJECT-23K20380
[Journal Article] Context-Free Grammars with Lookahead2021
- Author(s)
  Takayuki Miyazaki and Yasuhiko Minamide
- Journal Title
  
  International Conference on Language and Automata Theory and Applications
  
  Volume: LNCS 12638 Pages: 213-225
- DOI
  10.1007/978-3-030-68195-1_16
- ISBN
  9783030681944, 9783030681951
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11899, KAKENHI-PROJECT-20J23184, KAKENHI-PROJECT-23K20380
[Journal Article] Derivatives of Regular Expressions with Lookahead2019
- Author(s)
  Takayuki Miyazaki, Yasuhiko Minamide
- Journal Title
  
  Journal of Information Processing
  
  Volume: 未定 Pages: 9-9
- NAID
  130007663795
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K00087
[Journal Article] Derivatives of Regular Expressions with Lookahead2019
- Author(s)
  Miyazaki Takayuki、Minamide Yasuhiko
- Journal Title
  
  Journal of Information Processing
  
  Volume: 27 Issue: 0 Pages: 422-430
- DOI
  10.2197/ipsjjip.27.422
- NAID
  130007663795
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11899
[Journal Article] Solving String Constraints with Streaming String Transducers2019
- Author(s)
  Zhu Qizhen、Akama Hitoshi、Minamide Yasuhiko
- Journal Title
  
  Journal of Information Processing
  
  Volume: 27 Issue: 0 Pages: 810-821
- DOI
  10.2197/ipsjjip.27.810
- NAID
  130007762322
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11899
[Journal Article] Configuration Reachability Analysis of Synchronized Recursive Timed Automata2018
- Author(s)
  Yuya Uezato and Yasuhiko Minamide
- Journal Title
  
  Computer Software
  
  Volume: 35 Issue: 1 Pages: 1_140-1_168
- DOI
  10.11309/jssst.35.1_140
- NAID
  130006356068
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K00087, KAKENHI-PROJECT-15J01843
[Journal Article] Weighted Pushdown Systems with Indexed Weight Domains2016
- Author(s)
  Yasuhiko Minamide
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: 12 Pages: 1-27
- DOI
  10.2168/lmcs-12(2:9)2016
- NAID
  120006582518
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K00087
[Journal Article] Monoid-based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata2016
- Author(s)
  Yuya Uezato and Yasuhiko Minamide
- Journal Title
  
  International Conference on Developments in Language Theory
  
  Volume: LNCS 9840 Pages: 393-405
- DOI
  10.1007/978-3-662-53132-7_32
- ISBN
  9783662531310, 9783662531327
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15J01843, KAKENHI-PROJECT-15K00087
[Journal Article] Synchronized Recursive Timed Automata2015
- Author(s)
  Yuya Uezato, Yasuhiko Minamide
- Journal Title
  
  International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
  
  Volume: LNCS 9452 Pages: 249-265
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K00087
[Journal Article] Checking Time Linearity of Regular Expression Matching Based on Backtrackingw2014
- Author(s)
  Satoshi Sugiyama, Yasuhiko Minamide
- Journal Title
  
  IPSJ Transactions on Programming
  
  Volume: 7 Pages: 1-11
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500028
[Journal Article] スタック長の特徴付けによる言語の非DCFL性証明2014
- Author(s)
  上里友弥 , 南出靖彦
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: 7 Pages: 8-20
- NAID
  110009818006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500028
[Journal Article] Pushdown Systems with Stack Manipulation2013
- Author(s)
  Yuya Uezato, Yasuhiko Minamide
- Journal Title
  
  International Symposium on Automated Technology for Verification and Analysis
  
  Volume: LNCS 8712 Pages: 412-426
- DOI
  10.1007/978-3-319-02444-8_29
- ISBN
  9783319024431, 9783319024448
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500028
[Journal Article] アトミックグループで拡張された正規表現のオートマトンへの変換2013
- Author(s)
  杉山聡, 南出靖彦
- Journal Title
  
  情報処理学会論文誌:プログラミング
  
  Volume: 6 Pages: 17-26
- NAID
  110009517217
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500028
[Journal Article] Weighted Pushdown Systems with Indexed Weight Domains2013
- Author(s)
  Yasuhiko Minamide
- Journal Title
  
  Proc. the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
  
  Volume: LNCS 7795 Pages: 230-244
- DOI
  10.1007/978-3-642-36742-7_17
- NAID
  120006582518
- ISBN
  9783642367410, 9783642367427
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500028
[Journal Article] Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing2012
- Author(s)
  Yasuhiko Minamide, Shunsuke Mori
- Journal Title
  
  Proc. the 18th International Symposium on Formal Methods
  
  Volume: LNCS 7436 Pages: 293-307
- DOI
  10.1007/978-3-642-32759-9_26
- ISBN
  9783642327582, 9783642327599
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500028
[Journal Article] Translating Regular Expression Matching into Transducers2012
- Author(s)
  Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov
- Journal Title
  
  Journal of Applied Logic
  
  Volume: 10 Issue: 1 Pages: 32-51
- DOI
  10.1016/j.jal.2011.11.003
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500028
[Journal Article] Translating Regular Expression Matching into Transducers2012
- Author(s)
  Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov
- Journal Title
  
  Journal of Applied Logic
  
  Volume: 10 Pages: 32-51
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Translating Regular Expression Matching into Transducers2011
- Author(s)
  Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov
- Journal Title
  
  Proc.International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010)
  
  Pages: 107-115
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Translating Regular Expression Matching into Transducers2011
- Author(s)
  Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov
- Journal Title
  
  Proc.International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010)
  
  Pages: 107-115
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500028
[Journal Article] Rubyプログラムの制御フロー解析とその健全性の証明2010
- Author(s)
  松本宗太郎, 南出靖彦
- Volume
  3巻
- Pages
  9-25
- NAID
  110007970972
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Rubyプログラムの制御フロー解析とその健全性の証明2010
- Author(s)
  松本宗太郎, 南出靖彦
- Journal Title
  
  情報処理学会論文誌プログラミング 3
  
  Pages: 9-25
- NAID
  110007970972
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Rubyプログラムの制御フロー解析とその健全性の証明2010
- Author(s)
  松本宗太郎, 南出靖彦
- Journal Title
  
  情報処理学会論文誌プログラミング 3
  
  Pages: 9-25
- NAID
  110007970972
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500028
[Journal Article]2010
- Author(s)
  松本宗太郎, 南出靖彦
- Journal Title
  
  Rubyプログラムの制御フロー解析とその健全性の証明 3巻
  
  Pages: 9-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Rubyプログラムの制御フロー解析とその健全性の証明2010
- Author(s)
  松本宗太郎, 南出靖彦
- Journal Title
  
  情報処理学会論文誌:プログラミング
  
  Volume: 3 Pages: 9-25
- NAID
  110007970972
- URL
  http://id.nii.ac.jp/1001/00068444/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500028
[Journal Article] Copy-on-Write in the PHP Language2009
- Author(s)
  A. Tozawa, M. Tatsubori, T. Onodera, Y. Minamide
- Journal Title
  
  InProc. POPL : The Symposium on Principles of Programming Languages
  
  Pages: 200-212
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] Copy-on-Write in the PHP Language2009
- Author(s)
  A. Tozawa, M. Tatsubori, T. Onodera, Y. Minamide
- Journal Title
  
  Proc. POPL : The Symposium on Principle s of Programming Languages
  
  Pages: 200-212
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] Copy-on-Write in the PHP Langauge2009
- Author(s)
  Tozawa, M. Tatsubori, T. Onodera, Y. Minamide
- Journal Title
  
  Proc. of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  
  Pages: 200-212
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] Copy-on-write in the PHP Language2009
- Author(s)
  A. Tozawa, M. Tatsubori, T. Onodera, Y. Minamide
- Journal Title
  
  Proc. POPL: The Symposium on Principles of Programming Languages
  
  Pages: 200-212
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] 多相レコード型に基づくRubyプログラムの型推論2008
- Author(s)
  松本宗太郎・南出靖彦
- Journal Title
  
  情報処理学会論文誌:プログラミング 49
  
  Pages: 39-54
- NAID
  110006684629
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] A Translation from the HTML DTD into a Regular Hedge Grammar2008
- Author(s)
  T. Nishiyama, Y. Minamide
- Journal Title
  
  Proc. of 13th International Conference on Implementation and Application of Automata
  
  Pages: 122-131
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] A Translation from the HTML DTD into a Regular Hedge Grammar2008
- Author(s)
  T. Nishiyama, Y. Minamide
- Journal Title
  
  In Proc. of the 13th International Conference on Implementation and Application of Automata LNCS 5148
  
  Pages: 122-131
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] A Translation from the HTML DTD into a Regular Hedge Grammar2008
- Author(s)
  T. Nishiyama, Y. Minamide
- Journal Title
  
  Proc. of the 13th International Conference on-Implementation and Application of Automata LNCS 5184
  
  Pages: 122-131
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300001
[Journal Article] 多相レコード型に基づくRubyプログラムの型推論2008
- Author(s)
  松本宗太郎, 南出靖彦
- Journal Title
  
  情報処理学会論文誌 : プログラミング Vol.49, No.SIG 3, PRO 36
  
  Pages: 39-54
- NAID
  110006684629
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] A Translation from the HTML DTD into a Regular Hedge Grammar2008
- Author(s)
  T. Nishiyama, Y. Minamide
- Journal Title
  
  Proc. of the 13th International Confer ence on Implementation and Application of Automata LNCS5148
  
  Pages: 122-131
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] A Translation from the HTML DTD into a Regular Hedge Grammar2008
- Author(s)
  T. Nishiyama, Y. Minamide
- Journal Title
  
  Proc. of the 13th International Conference on Implementation and Application of Automata LNCS 5148
  
  Pages: 122-131
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500025
[Journal Article] Type Inference for Ruby Programs Based on Polymorphic Record Type2008
- Author(s)
  Soutaro Matsumoto and Yasuhiko Minamide
- Journal Title
  
  IPSJ Transactions on Programming 49
  
  Pages: 39-54
- NAID
  110006684629
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Approximation of String Operations in the PHP String Analyzer2008
- Author(s)
  Y. Minamide
- Journal Title
  
  Proc. of Symbolic Computation in Software Science Austrian-Japanese Workshop, RISC Technical Report 08-08
  
  Pages: 137-147
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] 多相レコード型に基づくRubyプログラムの型推論2008
- Author(s)
  松本, 宗太郎・南出, 靖彦
- Journal Title
  
  情報処理学会論文誌:プログラミング 49
  
  Pages: 39-54
- NAID
  110006684629
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] 多相レコード型に基づくRubyプログラムの型推論2008
- Author(s)
  松本宗太郎, 南出靖彦
- Journal Title
  
  情報処理学会論文誌:プログラミング 49
  
  Pages: 39-54
- NAID
  110006684629
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Verified Decision Procedures on Context-Free Grammars2007
- Author(s)
  Yasuhiko Minamide
- Journal Title
  
  Proceedigs of the 20th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science, Springer 4732
  
  Pages: 173-188
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Cプログラムの検証ツール Caduceus2007
- Author(s)
  南出, 靖彦
- Journal Title
  
  コンピュータコンピュータソフトウェア 24
  
  Pages: 15-19
- NAID
  130004549074
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] ソフトウェア解説 : Cプログラムの検証ツール Caduceus2007
- Author(s)
  南出靖彦
- Journal Title
  
  コンピュータソフトウェア Vol.24, No.3
  
  Pages: 15-19
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] Verified Decision Procedures on Context-Free Grammars2007
- Author(s)
  Yasuhiko, Minamide
- Journal Title
  
  Proceedigs of the 20th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science, Springer 4732
  
  Pages: 173-188
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Verified Decision Procedures on Context-Free Grammars2007
- Author(s)
  Yasuhiko Minamide
- Journal Title
  
  Proceedigs of the 20th International Confere nee on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science Springer 4732
  
  Pages: 173-188
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Complexity Results on Balanced Context-Free Languages2007
- Author(s)
  Yasuhiko Minamide, Akihiko Tozawa
- Journal Title
  
  Proc. of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS 4423
  
  Pages: 346-360
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Complexity Results on Balanced Context-Free Languages2007
- Author(s)
  Yasuhiko Minamide and Akihiko Tozawa
- Journal Title
  
  Proc. of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS4423
  
  Pages: 346-360
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Complexity Results on Balanced Context-Free Languages2007
- Author(s)
  Akihiko Tozawa, Yasuhiko Minamide
- Journal Title
  
  Tenth International Conference on Foundations of Software Science and Computation Structures LNCS 4423
  
  Pages: 346-360
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] Cプログラムの検証ツールCaduceus(ソフトウェア紹介)2007
- Author(s)
  南出靖彦
- Journal Title
  
  コンピュータソフトウェア 24
  
  Pages: 15-19
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Complexity Results on Balanced Context-Free Languages2007
- Author(s)
  A.Tozawa, Y. Minamide
- Journal Title
  
  In Proc. of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS 4423
  
  Pages: 346-3601
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] Caduceus A Verification Tool for C Programs(Software Review)2007
- Author(s)
  Yasuhiko Minamide
- Journal Title
  
  Computer Software 24
  
  Pages: 15-19
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Complexity Results on Balanced Context-Free Languages2007
- Author(s)
  Yasuhiko, Minamide・Akihiko, Tozawa
- Journal Title
  
  Proc. Of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS4423
  
  Pages: 346-360
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Verified Decision Procedures on Context-Free Grammars2007
- Author(s)
  Y.Minamide
- Journal Title
  
  In Proc. of the 20th International Conference on Theorem Proving in Higher Order Logics LNCS 4732
  
  Pages: 173-188
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] Verified Decision Procedures on Context-Free Grammars2007
- Author(s)
  Yasuhiko, Minamide
- Journal Title
  
  International Conference on Theorem Proving in Higher Order Logics LNCS 4732
  
  Pages: 173-188
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] XML Validation for Context-Free Grammars2006
- Author(s)
  Yasuhiko, Minamide・Akihiko, Tozawa
- Journal Title
  
  Proc. of The Fourth ASIAN Symposium on Programming Languages and Systems LNCS4279
  
  Pages: 357-373
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] XML Validation for Context-Free Grammars2006
- Author(s)
  Yasuhiko Minamide and Akihiko Tozawa
- Journal Title
  
  Proc. of The Fourth ASIAN Symposium on Programming Languages and Systems LNCS 4279
  
  Pages: 357-373
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] XML Validation for Context-Free Grammars2006
- Author(s)
  Yasuhiko Minamide, Akihiko Tozawa
- Journal Title
  
  Proc. of The Fourth ASIAN Symposium on Programming Languages and Systems LNCS 4279
  
  Pages: 357-373
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] XML Validation for Context-Free Grammars2006
- Author(s)
  Yasuhiko Minamide, Akihiko Tozawa
- Journal Title
  
  Fourth ASIAN Symposium on Programming Languages and Systems LNCS 4279
  
  Pages: 357-373
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] XML Validation for Context-Free Grammars2006
- Author(s)
  Y. Minamide, A. Tozawa
- Journal Title
  
  In Proceedings of the Fourth Asian Symposium on Programming Languages and Systems (APLAS) LNCS 4279
  
  Pages: 357-373
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700018
[Journal Article] 実行可能なコンパイラの形式化と検証2005
- Author(s)
  大熊浩示, 南出靖彦
- Journal Title
  
  情報処理学会論文誌:プログラミング No.SIG6(PRO25)
  
  Pages: 18-34
- NAID
  10015447055
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] 実行可能なコンパイラの形式化と検証2005
- Author(s)
  大熊浩示・南出靖彦
- Journal Title
  
  情報処理学会論文誌:プログラミング No.SIG6(PRO 25)
  
  Pages: 18-34
- NAID
  10015447055
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Specification and Verification of an Executable Compiler2005
- Author(s)
  Koji Okuma and Yasuhiko Minamide
- Journal Title
  
  IPSJ Transactions on Programming No.SIG6(PR025)
  
  Pages: 18-34
- NAID
  10015447055
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Static Approximation of Dynamically Generated Web Pages2005
- Author(s)
  Yasuhiko, Minamide
- Journal Title
  
  The 14th International World Wide Web Conference
  
  Pages: 432-441
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300004
[Journal Article] Static Approximation of Dynamically Generated Web Pages2005
- Author(s)
  Yasuhiko Minamide
- Journal Title
  
  The 14th International World Wide Web Conference
  
  Pages: 432-441
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17300004
[Presentation] 整数パラメータ付き文字列制約のトランスデューサに基づく解法とその応用例（ポスター）2023
- Author(s)
  釜野雅基, 宮地風汰, 南出靖彦
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] 混合整数線形計画問題を利用したParikhオートマトンの高速な空性判定とPCPへの応用（ポスター）2023
- Author(s)
  大森章裕, 南出靖彦
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] 後方参照付き正規表現の言語クラスのストリーミング文字列変換による分析2023
- Author(s)
  宮地風汰, 南出靖彦
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ: ポスター
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] 拡張正規表現マッチングの保守的計算量解析における後方参照の解析精度向上2023
- Author(s)
  川村瑠, 南出靖彦
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] HTML5 字句解析仕様に対する自動的な形式表現への変換（ポスター）2023
- Author(s)
  五十嵐彩夏, 南出靖彦
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] 正規表現のDoS脆弱性(ReDoS)とその検査技術2023
- Author(s)
  南出靖彦
- Organizer
  PPLサマースクール
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] Postの対応問題に対する様々なアプローチ2023
- Author(s)
  大森章裕, 南出靖彦
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ: ポスター
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] 後方参照で拡張された正規表現マッチングの計算量解析：限定された場合の精密な解析とKMP法によるマッチング2023
- Author(s)
  濱田芙実, 南出靖彦
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ: ポスター
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] Derivatives of Context-Free Grammars with Lookahead2023
- Author(s)
  嵜貴之, 南出靖彦
- Organizer
  第142回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] 拡張正規表現マッチングの計算量解析2021
- Author(s)
  釜野雅基, 福田大我, 南出靖彦
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] Isabelle/HOLによる高階確率的プログラム検証2021
- Author(s)
  平田路和, 南出靖彦, 佐藤哲也
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] 先読み付き文脈自由文法の微分（ポスター）2019
- Author(s)
  宮嵜貴之, 南出靖彦
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] 正規表現マッチングの計算量解析ツールの拡張と高速化2019
- Author(s)
  高橋和也, 南出靖彦
- Organizer
  PPL 2020: 第22回プログラミングおよびプログラミング言語ワーク
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] 先読み付き文脈自由文法とその微分（ポスター）2019
- Author(s)
  宮嵜貴之, 南出靖彦
- Organizer
  PPL 2020: 第22回プログラミングおよびプログラミング言語ワーク
- Data Source
  KAKENHI-PROJECT-19K11899
[Presentation] 先読み付き正規表現の微分2018
- Author(s)
  宮嵜貴之, 南出靖彦
- Organizer
  情報処理学会プログラミング研究会第121回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-15K00087
[Presentation] 先読み付き正規表現と解析表現の微分2018
- Author(s)
  Takayuki Miyazaki, Yasuhiko Minamide
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-15K00087
[Presentation] バックトラックによる正規表現マッチングの計算量判定の実装2018
- Author(s)
  高橋和也, 南出靖彦
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-15K00087
[Presentation] Streaming String Transducerの合成の形式的証明2018
- Author(s)
  赤間仁志, 南出靖彦
- Organizer
  プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-15K00087
[Presentation] 言語の包含判定に基づくサニタイズ文脈の自動決定2018
- Author(s)
  高橋和也, 南出靖彦
- Organizer
  プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-15K00087
[Presentation] バックトラックによる正規表現マッチングの時間計算量解析2016
- Author(s)
  中川みなみ, 南出靖彦
- Organizer
  第107回プログラミング研究会
- Place of Presentation
  福岡市A.R.Kビル
- Year and Date
  2016-01-13
- Data Source
  KAKENHI-PROJECT-15K00087
[Presentation] 更新可能時間オートマトンの新たな拡張について2015
- Author(s)
  上里友弥, 南出靖彦
- Organizer
  日本ソフトウェア科学会第３２回大会
- Place of Presentation
  早稲田大学
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-15K00087
[Presentation] バックトラックによる正規表現マッチングの時間計算量線形性判定2014
- Author(s)
  杉山聡, 南出靖彦
- Organizer
  情報処理学会第97回プログラミング研究発表会
- Place of Presentation
  松山市総合コミュニティセンター
- Data Source
  KAKENHI-PROJECT-24500028
[Presentation] スタック長の特徴付けによる言語の非DCFL性証明2014
- Author(s)
  上里友弥, 南出靖彦
- Organizer
  情報処理学会第98回プログラミング研究発表会
- Place of Presentation
  東京大学理学部7号館
- Data Source
  KAKENHI-PROJECT-24500028
[Presentation] Conditional Transformable Pushdown System: スタックの変換と検査が可能なプッシュダウンシステム2013
- Author(s)
  上里友弥, 南出靖彦
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップPPL2013
- Place of Presentation
  福島県会津若松東山温泉
- Data Source
  KAKENHI-PROJECT-24500028
[Presentation] バックトラックによる正規表現マッチングの時間線形性判定2013
- Author(s)
  杉山聡, 南出靖彦
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ PPL2013 (ポスター）
- Place of Presentation
  福島県会津若松東山温泉
- Data Source
  KAKENHI-PROJECT-24500028
[Presentation] 文字列解析によるクロスサイトスクリプティング脆弱性検査の改良2012
- Author(s)
  木村将人, 南出靖彦
- Organizer
  プログラミングおよびプログラミング言語ワークショップ(ポスター)
- Place of Presentation
  南紀白浜むさし(和歌山県)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] HTML5構文解析のプッシュダウンオートマトンを用いた検証2012
- Author(s)
  森俊介, 南出靖彦
- Organizer
  プログラミングおよびプログラミング言語ワークショップ(ポスター)
- Place of Presentation
  南紀白浜むさし(和歌山県)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] 文字列解析によるクロスサイトスクリプティング脆弱性検査の改良2012
- Author(s)
  木村将人, 南出靖彦
- Organizer
  プログラミングおよびプログラミング言語ワークショップ(ポスター)
- Place of Presentation
  和歌山県南紀白浜
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-20300001
[Presentation] 抽象DPLLのIsabelle/HOLによる形式化と検証2012
- Author(s)
  武井裕也, 南出靖彦
- Organizer
  プログラミングおよびプログラミング言語ワークショップ(ポスター)
- Place of Presentation
  南紀白浜むさし(和歌山県)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] 文字列解析によるクロスサイトスクリプティング脆弱性検査の改良2012
- Author(s)
  木村将人, 南出靖彦
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  南紀白浜温泉むさし,和歌山県南紀白浜(ポスター)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] 抽象DPLLのIsabelle/HOLによる形式化と検証2012
- Author(s)
  武井裕也, 南出靖彦
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  南紀白浜温泉むさし,和歌山県南紀白浜(ポスター)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] HTML5構文解析のプッシュダウンオートマトンを用いた検証2012
- Author(s)
  森俊介, 南出靖彦
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  南紀白浜温泉むさし,和歌山県南紀白浜(ポスター)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] Semantics and Implementations of Regular Expression Matching2011
- Author(s)
  Yasuhiko Minamide
- Organizer
  The Eighth Asian Workshop on Foundation of Software
- Place of Presentation
  上海交通大学(中国)
- Year and Date
  2011-05-13
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] The PHP String Analyzer2010
- Author(s)
  Yasuhiko Minamide
- Organizer
  IFIP Working Group 2.8
- Place of Presentation
  Shirahama, Japan
- Year and Date
  2010-04-13
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] Formalizing Regular Expression Matching in Isabelle/HOL2010
- Author(s)
  Yasuhiko Minamide
- Organizer
  TPP'10 : 6th Theorem Proving and Provers Meeting
- Place of Presentation
  名古屋大学(愛知県)
- Year and Date
  2010-11-26
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] Translating Regular Expression Matching into Transducers2010
- Author(s)
  Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov
- Organizer
  12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara
- Place of Presentation
  Romania
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] Formalizing Regular Expression Matching in Isabelle/HOL2010
- Author(s)
  Yasuhika Minamide
- Organizer
  TPP'10 : 6th Theorem Proving and Provers Meeting
- Place of Presentation
  名古屋大学
- Year and Date
  2010-11-26
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] Formalizing Regular Expression Matching in Isabelle/HOL2010
- Author(s)
  Yasuhiko Minamide
- Organizer
  TPP'10 : 6th Theorem Proving and Provers Meeting
- Place of Presentation
  名古屋大学(愛知県 )
- Year and Date
  2010-11-26
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] Rubyのコア言語の操作的意味論2009
- Author(s)
  松本宗太郎, 南出靖彦
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学
- Year and Date
  2009-09-16
- Data Source
  KAKENHI-PROJECT-20300001
[Presentation] 証明支援系Isabelle/HOLによるごみ集めアルゴリズムの形式化と安全性検証2009
- Author(s)
  藤原拓也, 南出靖彦
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学(島根県)
- Year and Date
  2009-09-16
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] Copy-on-Write in the PHP Langauge2009
- Author(s)
  Tozawa, M.Tatsubori, T.Onodera, Y.Minamide
- Organizer
  Proc.of the 13^<th> International Conference on Programming Languages, pp.200-212
- Place of Presentation
  Lyon, France
- Year and Date
  2009-08-23
- Data Source
  KAKENHI-PROJECT-20300001
[Presentation] 証明支援系Isabelle/HOLによるごみ集めアルゴリズムの形式化と安全性検証2009
- Author(s)
  藤原拓也, 南出靖彦
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学
- Year and Date
  2009-09-16
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] Rubyのコア言語の操作的意味論2009
- Author(s)
  松本宗太郎, 南出靖彦
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学
- Year and Date
  2009-09-16
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] Rubyのコア言語の操作的意味論2009
- Author(s)
  松本宗太郎, 南出靖彦
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学(島根県)
- Year and Date
  2009-09-16
- Data Source
  KAKENHI-PROJECT-21500028
[Presentation] 動的に生成されるHTML文書の妥当性検査2008
- Author(s)
  西山拓哉, 南出靖彦
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学東京キャンパス
- Year and Date
  2008-09-10
- Data Source
  KAKENHI-PROJECT-18700018
[Presentation] ブラウザにおけるJavaScript実行のモデル化2008
- Author(s)
  安田峰悠,松本宗太郎,南出靖彦
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学(東京キャンパス)
- Year and Date
  2008-09-10
- Data Source
  KAKENHI-PROJECT-20300001
[Presentation] 動的に生成されるHTML文書の妥当性検査2008
- Author(s)
  西山拓哉,南出靖彦
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学東京キャンパス
- Year and Date
  2008-09-10
- Data Source
  KAKENHI-PROJECT-20500025
[Presentation] 動的に生成されるHTML文書の妥当性検査2008
- Author(s)
  西山拓哉,南出靖彦
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学(東京キャンパス)
- Year and Date
  2008-09-10
- Data Source
  KAKENHI-PROJECT-20300001
[Presentation] ブラウザにおけるJavaScript実行のモデル化2008
- Author(s)
  安田峰悠, 松本宗太郎, 南出靖彦
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学東京キャンパス
- Year and Date
  2008-09-10
- Data Source
  KAKENHI-PROJECT-18700018
[Presentation] A Translation from the HTML DTD into a Regular Hedge Grammar2008
- Author(s)
  T.Nishiyama, Y.Minamide
- Organizer
  Proc.of 13^<th> International Conference on Implementation and Application of Automata, pp.122-131
- Place of Presentation
  California, USA
- Year and Date
  2008-07-21
- Data Source
  KAKENHI-PROJECT-20300001
[Presentation] ブラウザにおけるJavaScript 実行のモデル化2008
- Author(s)
  安田峰悠, 松本宗太郎, 南出靖彦
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学東京キャンパス
- Year and Date
  2008-09-10
- Data Source
  KAKENHI-PROJECT-18700018
[Presentation] 多相型レコードに基づくRubyオブジェクトの型推論に関する考察2006
- Author(s)
  松本宗太郎, 南出靖彦
- Organizer
  日本ソフトウェア科学会第23回大会
- Place of Presentation
  東京大学
- Year and Date
  2006-09-15
- Data Source
  KAKENHI-PROJECT-18700018
[Presentation] Complexity Analysis of Regular Expression Matching Based on Backtracking
- Author(s)
  Yasuhiko Minamide
- Organizer
  Dagstuhl Seminar, Scripting Languages and Frameworks: Analysis and Verification
- Place of Presentation
  Schloss Dachstuhl, ドイツ
- Year and Date
  2014-06-29 – 2014-07-04
- Data Source
  KAKENHI-PROJECT-24500028
[Presentation] HTML5 Parser Specification and Automated Test Generation
- Author(s)
  Yasuhiko Minamide
- Organizer
  Dagstuhl Seminar, Scripting Languages and Frameworks: Analysis and Verification
- Place of Presentation
  Schloss Dachstuhl, ドイツ
- Year and Date
  2014-06-29 – 2014-07-04
- Data Source
  KAKENHI-PROJECT-24500028
[Presentation] Streaming String Transducerの等価性判定と正規表現による文字列置換への応用
- Author(s)
  加賀江優幸, 南出靖彦
- Organizer
  情報処理学会第103回プログラミング研究発表会
- Place of Presentation
  産業技術総合研究所臨海都心センター（東京都）
- Year and Date
  2015-03-09 – 2015-03-10
- Data Source
  KAKENHI-PROJECT-24500028

1. IDA Tetsuo (70100047)

# of Collaborated Projects: 6 results

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

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. SUSUKI Taro (90272179)

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. OHORI Atsushi (60252532)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. ULIDOWSKI Ireneusz (40273528)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. CHAKRAVARTY Manuel (30292535)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 海野広志 (80569575)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 寺内多智弘 (70447150)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. ウリドウスキーイレニウ

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 佐藤哲也

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Minamide Yasuhiko 南出 靖彦

MINAMIDE Yasuhiko 南出 靖彦

南出 康彦 ミナミデ ヤスヒコ

Research Projects

Research Products

Co-Researchers

Depeeping Sotfware Verifaction Based on Transducer TheoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Software Verification Based on the Theory of TransducersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Verification of Web technologies based on the theory of formal languagesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

String Analysis for the Development of Web SoftwarePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Verification of Web Software Based on String AnalysisPrincipal 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

Verification of Software with Interactive Theorem ProvingPrincipal 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 Field

Research Institution

関数型プログラミング言語のプログラム変換に関する研究Principal Investigator

Principal Investigator

Minamide Yasuhiko 南出靖彦

MINAMIDE Yasuhiko 南出靖彦

南出康彦ミナミデヤスヒコ