Updated on 2022/02/24

写真a

 
SAKAI, Masahiko
 
Organization
Graduate School of Informatics Department of Computing and Software Systems 1 Professor
Graduate School
Graduate School of Information Science
Graduate School of Informatics
Undergraduate School
School of Engineering
School of Informatics Department of Computer Science
Title
Professor

Degree 1

  1. 博士(工学) ( 1992.1   名古屋大学 ) 

Research Interests 4

  1. Combinatorial optimization

  2. Term rewriting system

  3. 音楽情報処理

  4. Semantics of programs

Research Areas 3

  1. Informatics / Theory of informatics  / Term rewriting systems

  2. Informatics / Software  / Combinatorial optimization

  3. Informatics / Intelligent informatics  / 音楽情報処理

Current Research Project and SDGs 4

  1. Mechanical proof of security

  2. Midiからの自動採譜

  3. 項書換え系の基礎研究

  4. Psudo-Boolean constraint solver

Research History 1

  1. Nagoya University   Professor

    2017.4

      More details

    Country:Japan

Education 3

  1. Nagoya University   Graduate School, Division of Engineering

    1986.4 - 1989.3

      More details

    Country: Japan

  2. Nagoya University   Graduate School, Division of Engineering

    1984.4 - 1986.3

      More details

    Country: Japan

  3. Nagoya University   Faculty of Engineering

    1980.4 - 1984.3

      More details

    Country: Japan

Professional Memberships 3

  1. 電子情報通信学会

  2. 日本ソフトウェア科学会

  3. 情報処理学会

Committee Memberships 26

  1. 9th International workshop on rewriting techniques for program transformations and evaluation (WPTE 2022)   Program committee member  

    2022.1 - 2022.7   

  2. 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)   Program Committee Member  

    2021.3 - 2022.11   

  3. 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)   Program Committee Member  

    2021.3 - 2022.11   

  4. 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020)   Program Committee Member  

    2020.1 - 2020.11   

  5. 4th International workshop on rewriting techniques for program transformations and evaluation (WPTE 2017)   Program committee member  

    2017.1 - 2017.7   

  6. 8th International Joint Conference on Automated Reasoning (IJCAR 2016)   Program Committee Member  

    2015.12 - 2016.7   

  7. 2nd International workshop on rewriting techniques for program transformations and evaluation (WPTE 2015)   Program committee member  

    2015.1 - 2015.7   

  8. 26th International Conference on Rewriting Techniques and Applications (RTA 2015)   Program Committee Member  

    2014.10 - 2015.7   

  9. 1st International workshop on rewriting techniques for program transformations and evaluation (WPTE 2014)   Program committee co-Chair  

    2014.1 - 2014.7   

  10. 23rd International Conference on Rewriting Techniques and Applications (RTA 2012)   General Chair and Program Committee Member  

    2012.5 - 2012.6   

  11. 10th International workshop on reduction strategies in rewriting and programming (WRS 2007)   Program committee member  

    2010.7   

  12. International Conference on Rewriting Techniques and Applications (RTA)   Steering Committee member  

    2010.6 - 2013.5   

  13. International Conference on Rewriting Techniques and Applications (RTA)   Publicity Chair  

    2010.6 - 2011.5   

  14. 電子情報通信学会 ソフトウェアサイエンス研究専門委員会   専門委員  

    2010.5   

  15. 8th International workshop on reduction strategies in rewriting and programming (WRS 2007)   Program committee member  

    2008.7   

  16. 電子情報通信学会 フォーマルアプローチ特集号 編集委員会   委員  

    2008.5 - 2009.4   

  17. 7th International workshop on reduction strategies in rewriting and programming (WRS 2007)   Program committee member  

    2007.6   

  18. 電子情報通信学会 フォーマルアプローチ特集号 編集委員会   委員長  

    2007.5 - 2008.4   

  19. 電子情報通信学会 フォーマルアプローチ特集号 編集委員会   副委員長  

    2006.5 - 2007.4   

  20. 第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006) プログラム委員会   委員  

    2006.3   

  21. 電子情報通信学会 フォーマルアプローチ特集号 編集委員会   委員  

    2005.5 - 2006.4   

  22. 電子情報通信学会 英文論文誌 理論計算機科学特集号 編集委員会   委員  

    2005.2   

  23. 第19回 日本ソフトウェア科学会大会 プログラム委員   委員  

    2002.9   

  24. 第18回 日本ソフトウェア科学会大会 プログラム委員   委員  

    2001.9   

  25. 電子情報通信学会 コンピュテーション研究専門委員会   専門委員  

    1999.4 - 2005.3   

  26. 電子情報通信学会 ソフトウェアサイエンス研究専門委員会   幹事  

    1992.4 - 1996.3   

▼display all

Awards 2

  1. Best Paper Award of IEICE

    2011.5   IEICE  

     More details

    Country:Japan

  2. Best Paper Award of IEICE

    1992.5  

     More details

    Country:Japan

 

Papers 209

  1. レプ・タイルの定式化を用いた各種ソルバの性能比較

    番原 睦則, 橋本 健二, 堀山 貴史, 湊 真一, 中村 駆, 西野 正彬, 酒井 正彦, 上原 隆平, 宇野 裕之, 安田 宜仁

    人工知能学会研究会資料 人工知能基本問題研究会   Vol. 119 ( 0 ) page: 02 - 07   2022.1

     More details

    Authorship:Corresponding author   Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)   Publisher:一般社団法人 人工知能学会  

    DOI: 10.11517/jsaifpai.119.0_02

    CiNii Research

  2. Describing Car Sequencing Problem by SQL-based solver CombSQL+

    INOUE Kazuya, KISHI Junichiro, SAKAI Masahiko

    Proceedings of the Annual Conference of JSAI   Vol. JSAI2021 ( 0 ) page: 2E4OS13c01 - 2E4OS13c01   2021.6

     More details

    Authorship:Last author, Corresponding author   Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)   Publisher:The Japanese Society for Artificial Intelligence  

    <p>The authors recently developed a combinatorial optimization solver CombSQL+ based on the set extended semantics of SQL. We show some descriptions, written in CombSQL+ language, for the car sequencing problem. We observed that a small difference in the descriptions affects performance, and discuss the reason and an idea on improvement of the system.</p>

    DOI: 10.11517/pjsai.jsai2021.0_2e4os13c01

    CiNii Research

  3. Transformation of SQL-based Combinatorial Optimization Problems into Constraint Problems

    Genki Sakanashi, Masahiko Sakai

    SIG-FPAI-112   Vol. 112 ( 4 ) page: 6pages   2020.3

     More details

    Language:English  

  4. Conditions for Confluence of Innermost Terminating Term Rewriting Systems Reviewed

    Sayaka Ishizuki, Masahiko Sakai, and Michio Oyamaguchi

    Applicable Algebra in Engineering, Communication and Computing   Vol. 30 ( 4 ) page: 349-360   2019.8

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s00200-018-0377-8

  5. A Parse-based Framework for Coupled Rhythm Quantization and Score Structuring Reviewed

    Francesco Foscarin, Florent Jacquemard, Philippe Rigaux, and Masahido Sakai

    Lecture Notes in Artificial Intelligence   Vol. 11502   page: 248-260   2019.6

     More details

    Language:English  

    DOI: 10.1007/978-3-030-21392-3_20

  6. Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems Reviewed

    Genki Sakanashi and Masahiko Sakai

    Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018)     page: 19:1-19:13   2018.9

     More details

    Language:English  

    DOI: 10.1145/3236950.3236963

  7. Reduced dependency spaces for existential parameterised Boolean equation system Reviewed

    Yutaro Nagae, Masahiko Sakai

    Electronic Proceedins in Theoretical Computer Science (EPTCS)   Vol. 265   page: 67-81   2018.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.4204/EPTCS.265.6

  8. Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers Reviewed

    Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, and Tomoya Ueyama

    Electronic Proceedins in Theoretical Computer Science (EPTCS)   Vol. 265   page: 82-97   2018.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.4204/EPTCS.265.7

  9. Generating Equivalent Rhythmic Notations Based on Rhythm Tree Languages Reviewed

    Florent Jacquemard, Adrien Ycart, and Masahiko Sakai

    Proceedings of the International Conference on Technologies for Music Notation and Representation     page: 145-153   2017.5

     More details

    Language:English  

  10. Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems Reviewed

    Ryota Nakayama, Naoki Nishida and Masahiko Sakai

    Electronic Proceedins in Theoretical Computer Science   Vol. 235   page: 62-77   2017.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.4204/EPTCS.235.5

  11. An extension of proof graphs for disjunctive parameterised Boolean equation systems Reviewed

    Yutaro Nagae, and Masahiko Sakai and Hiroyuki Seki

    Electronic Proceedins in Theoretical Computer Science   Vol. 235   page: 46-61   2017.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.4204/EPTCS.235.4

  12. An extension of proof graphs for disjunctive parameterised Boolean equation systems Reviewed

    Yutaro Nagae, Masahiko Sakai

    Informal Proceedings of the 3rd International Workshop on Rewriting Techniques f or Program Transformations and Evaluation (WPTE 2016)     page: 3-14   2016.9

     More details

    Language:English  

  13. Sound Structure-Preserving Transformation for Ultra-Weakly-Left-Linear Determini stic Conditional Term Rewriting Systems Reviewed

    Ryota Nakayama, Naoki Nishida, Masahiko Sakai

    Informal Proceedings of the 3rd International Workshop on Rewriting Techniques f or Program Transformations and Evaluation (WPTE 2016)     page: 61-75   2016.9

     More details

    Language:English  

  14. Conditions for confluence of innermost terminating term rewriting systems Reviewed

    Sayaka Ishizuki, Masahiko Sakai, Michio Oyamaguchi

    Proceedings of the 5th International Workshop on Confluence (IWC 2016)     page: 65-69   2016.9

     More details

    Language:English  

  15. Non-E-overlapping, weakly shallow, and non-collapsing TRSs are confluent Reviewed

    Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa

    Lecture Notes in Computer Science (CADE 2015)   Vol. 9195   page: 111-126   2015.8

     More details

    Authorship:Lead author   Language:English  

    DOI: 10.1007/978-3-319-21401-6_7

  16. Term Rewriting with Prefix Context Constraints and Regularity Preservation and Bottom-Up Strategies Reviewed

    Yoshiharu Kojima, Masahiko Sakai, Florent Jacquemard

    Lecture Notes in Computer Science (CADE 2015)   Vol. 9195   page: 137-151   2015.8

     More details

    Language:English  

  17. Construction of an ROBDD for a PB-constraint in band form and related techniques for PB-solvers Reviewed

    Masahiko Sakai, Hidetomo Nabeshima

    IEICE Transaction on Information and Systems   Vol. E98-D ( 6 ) page: 1121-1127   2015.6

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

  18. Towards an Equational Theory of Rhythm Notation Reviewed

    Pierre Donat-Bouillud, Florent Jacquemard, and Masahiko Sakai

    Proc. of The Music Encoding Conference 2015     page: 2 pages   2015.5

     More details

    Language:English  

  19. Non-E-overlapping and weakly shallow TRSs are confluent Reviewed

    Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa

    Proceedings of the 3rd International Workshop on Confluence (IWC 2014)     page: 34-38   2014.7

     More details

    Authorship:Lead author   Language:English  

  20. Inverse Unfold Problem and Its Heuristic Solving Reviewed

    Masanori Nagashima, Tomofumi Kato, Masahiko Sakai and Naoki Nishida

    OASIcs   Vol. 40   page: 27-38   2014.7

     More details

    Language:English  

  21. On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms Reviewed

    Naoki Nishida, Masahiko Sakai, Yasuhiro Nakano

    Electronic Proceedings in Theoretical Computer Science   Vol. 134   page: 1-10   2013.10

     More details

    Language:English  

    DOI: 10.4204/EPTCS.134

  22. Improving Determinization of Grammar Programs for Program Inversion Reviewed

    Minami Niwa, Naoki Nishida, and Masahiko Sakai

    Lecture Notes in Computer Science   Vol. 7844   page: 137-154   2013.4

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  23. Determinization of conditional term rewriting systems Invited Reviewed

    Masanori Nagashima, Masahiko Sakai, Toshiki Sakabe

    Theoretical Computer Science   Vol. 464   page: 72-89   2012.12

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    This paper discusses determinization of conditional term rewriting systems with oriented constructor rules. We present a rule-based transformation system, which transforms a non-deterministic one into a deterministic one, together with examples of the transformation. We prove that the transformation system is simulation sound and simulation complete. We also prove that the transformation system is complete for some class by introducing a strategy for the transformation system.

    DOI: 10.1016/j.tcs.2012.09.005

  24. Extending Matching Operation in Grammar Program for Program Inversion Reviewed

    Minami Niwa, Naoki Nishida, and Masahiko Sakai

    Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)     page: 130-139   2012.9

     More details

    Language:English  

  25. Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity Reviewed

    Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe

    Logical Methods in Computer Science   Vol. 8 ( 3-4 ) page: 1-49   2012.8

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.2168/LMCS-8(3:4)2012

  26. Constrained Tree Automata and their Closure Properties Reviewed

    Naoki Nishida, Futoshi Nomura, Katsuhisa Kurahashi and Masahiko Sakai

    Proceedings of the 1st International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2012)     page: 24-34   2012.6

     More details

    Language:English  

  27. On determinazation of conditional term rewriting systems Reviewed

    Masahiko Sakai

    Proc. of 9th Asian Workshop on Foundation of Software (AWFS 2012)     page: 18-19   2012.6

     More details

    Authorship:Lead author   Language:English  

  28. A Sound Type System for Typing Runtime Errors Reviewed

    YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki, SAKAI Masahiko, NISHIDA Naoki

    IPSJ Transactions on Programming     page: to appear   2012.3

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  29. Controlled Term Rewriting Reviewed

    Florent Jacquemard, KOJIMA Yoshiharu, and SAKAI Masahiko

    Proceedings of the 8th International Symposium on Frontiers of Combining Systems (FroCos 2011), LNCS   Vol. 6989   page: 179-194   2011.10

     More details

    Language:English  

  30. Decidability of Reachability for Right-Shallow Context-Sensitive Term Rewriting Systems Reviewed

    KOJIMA Yoshiharu, SAKAI Masahiko, NISHIDA Naoki, KUSAKARI Keiichirou, SAKABE Toshiki

    IPSJ Transactions on Programming   Vol. 4 ( 4 ) page: 12-35   2011.9

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  31. Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity Reviewed

    NISHIDA Naoki, SAKAI Masahiko, SAKABE Toshiki

    Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011), LIPIcs   Vol. 10   page: 267-282   2011.5

     More details

    Language:English  

  32. 例外処理を持つ関数型プログラムの停止性・非停止性証明法 Reviewed

    濱口 毅, 酒井正彦, 馬場正貴, 阿草清滋

      Vol. 4 ( 2 ) page: 1-19   2011.3

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  33. Lemma Generation Method in Rewriting Induction for Constrained Term Rewriting Systems Reviewed

    Naoki NAKABAYASHI, Naoki NISHIDA, Keiichirou KUSAKARI, Toshiki SAKABE and Masahiko SAKAI

    Computer Software   Vol. 28 ( 1 ) page: 173-189   2011.2

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  34. 順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について

    服部達哉、酒井正彦、西田直樹、草刈圭一朗、坂部俊樹

    電子情報通信学会技術研究報告   Vol. 110 ( 336 ) page: 31-36   2010.12

     More details

    Language:Japanese  

  35. 等式理論を法とするDPLL遷移系について

    馬場達也、坂部俊樹、西田直樹、草刈圭一朗、酒井正彦

    電子情報通信学会技術研究報告   Vol. 110 ( 227 ) page: 49-54   2010.10

     More details

    Language:Japanese  

  36. 難解言語Malbolgeのチューリング完全性について

    長坂 哲、酒井正彦、坂部俊樹、草刈圭一朗、西田直樹

    電子情報通信学会技術研究報告   Vol. 110 ( 227 ) page: 55-60   2010.10

     More details

    Language:Japanese  

  37. Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent Reviewed

    Masahiko Sakai, Mizuhito Ogawa

    Information Processing Letters   Vol. 110 ( 18-19 ) page: 795-844   2010.9

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

  38. 等式論理を法とする抽象DPLLアルゴリズムの提案

    馬場達也、坂部俊樹、酒井正彦、草刈圭一朗、西田直樹

    平成22年度電気関係学会東海支部連合大会講演論文集     page: D3-4   2010.8

     More details

    Language:Japanese  

  39. 制約付き項書換え系における関数の効率的な等価性検証

    高桑一也、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗

    平成22年度電気関係学会東海支部連合大会講演論文集     page: D3-6   2010.8

     More details

    Language:Japanese  

  40. 2カウンタ法に基づく基本対称節を持つCNF論理式のSATソルバ

    日野善信、酒井正彦、草刈圭一朗、坂部俊樹、西田直樹

    平成22年度電気関係学会東海支部連合大会講演論文集     page: D3-5   2010.8

     More details

    Language:Japanese  

  41. On Disproving Termiation of Constrained Term Rewriting Systems Reviewed

    Naoki Nishida, Masahiko Sakai, Tatsuya Hattori

    Proc. of Ninth International Workshop on Termination, (WST2010)     page: 5 pages   2010.7

     More details

    Language:English  

  42. Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs Reviewed

    UCHIYAMA Keita, SAKAI Masahiko, SAKABE Toshiki

    IEICE Transaction on Information and Systems   Vol. E93-D ( 5 ) page: 953-962   2010.5

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  43. Proving Injectivity of Functions via Program Inversion in Term Rewriting. Reviewed

    Naoki Nishida and Masahiko Sakai

    Proceedings of the 10th International Symposium on Functional and Logic Programming (FLOPS 2010),Lecture Notes in Computer Science   Vol. 6009   page: 288-303   2010.4

     More details

    Language:English  

  44. Solving Satisfiability of CNF Formulas with Clauses based on Elementary Symmetric Functions Reviewed

      Vol. J93-D ( 1 ) page: 1-9   2010.1

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  45. Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs Reviewed

    Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe

    IEICE Trans. on Information and Systems   Vol. E93-D ( 5 ) page: 953-962   2010.1

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  46. 高階書換え系における引数切り落とし法と実効規則

    鈴木翔、草刈圭一朗、坂部俊樹、酒井正彦、西田直樹

    電子情報通信学会技術研究報告   Vol. 109 ( 343 ) page: 25-30   2009.12

     More details

    Language:Japanese  

  47. 条件付き等式の変換に基づくプログラム生成

    長島正憲,酒井正彦,坂部俊樹,西田直樹,草刈圭一朗

    電子情報通信学会技術研究報告   Vol. 109 ( 343 ) page: 37-42   2009.12

     More details

    Language:Japanese  

  48. 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について

    御宿義勝、酒井正彦、坂部俊樹、草刈圭一朗、西田直樹

    電子情報通信学会技術研究報告   Vol. 109 ( 343 ) page: 31-36   2009.12

     More details

    Language:Japanese  

  49. Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems Reviewed

    Yasuo Isogai, Keiichirou Kusakari, Masahiko Sakai, Frederic Blanqui

    IEICE Trans. on Information and Systems   Vol. E92-D ( 10 ) page: 235-247   2009.10

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  50. 制約付き項書換え系の書換え帰納法における補題等式の自動生成法

    中林直生,西田直樹,草刈圭一朗,坂部俊樹,酒井正彦

    日本ソフトウェア科学会 第26回大会論文集   Vol. 7B-12   page: 1-14   2009.9

     More details

    Language:Japanese  

  51. Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems Reviewed

    Yoshiharu Kojima, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe

    IPSJ Transactions of Programming   Vol. 2 ( 3 ) page: 20-32   2009.7

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  52. 制約付き項書換え系における書換え帰納法 Reviewed

    坂田 翼, 西田 直樹, 酒井 正彦, 草刈 圭一朗, 坂部 俊樹

    情報処理学会論文誌プログラミング   Vol. 2 ( 2 ) page: 80-96   2009.3

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  53. Recognizability of Redexes for Higher-Order Rewrite Systems Reviewed

    Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa

    IPSJ Transactions of Programming   Vol. 2 ( 2 ) page: 166-175   2009.3

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  54. Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes Reviewed

    Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa

    IPSJ Transactions of Programming   Vol. 2 ( 2 ) page: 144-165   2009.3

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  55. Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques Reviewed

    Keiichirou Kusakari, Masahiko Sakai

    IEICE Trans. on Information and Systems   Vol. E92-D ( 2 ) page: 235-247   2009.2

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  56. 制約付き項書換え系の潜在帰納法を利用した手続き型プログラム検証の試み Reviewed

    古市 祐樹, 西田 直樹, 酒井 正彦, 草刈 圭一朗, 坂部 俊樹

    情報処理学会論文誌プログラミング   Vol. 1 ( 2 ) page: 100-121   2008.9

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  57. *Innermost Reachability and Context Sensitive Reachability Properties are Decidable for Linear Right-Shallow Term Rewriting Systems Reviewed

    Yoshiharu Kojima, Masahiko Sakai

    Proc. of 19th Int'l Conference on Rewriting Techniqes and Applications, Hagenberg RTA2008, LNCS   Vol. 5117   page: 187-201   2008.7

     More details

    Language:English  

    A reachability problem is a problem used to decide whether s is reachable to t by R or not for a given two terms s, t and a term rewriting system R. Since it is known that this problem is undecidable, effort has been devoted to finding subclasses of term rewriting systems in which the eachabilit
    y is decidable. However few works on decidability exist for innermost reduction strategy or context-sensitive rewriting.

    In this paper, we show that innermost reachability and
    context-sensitive reachability are decidable for linear right-shallow term rewriting systems. Our approach is based on the tree automata technique that is commonly
    used for analysis of reachability and its related properties.

  58. Completion as Post-Process in Program Inversion of Injective Functions Reviewed

    Naoki Nishida, Masahiko Sakai

    "Proc. of 8th International Workshop on Reduction Strategies in Rewriting and Programming, Hagenberg (WRS2008)"     page: 61-75   2008.7

     More details

    Language:English  

  59. Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems Reviewed

    Keita Uchiyama, Masahiko Sakai and Toshiki Sakabe

    Electronic Notes in Theoretical Computer Science   Vol. 204 ( 4 ) page: 21-34   2008.4

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  60. *Undecidable Properties on Length-Two String Rewriting Systems Reviewed

    Masahiko Sakai and Wang Yi

    Electronic Notes in Theoretical Computer Science   Vol. 204 ( 4 ) page: 53-69   2008.4

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

    Length-two string rewriting systems are length-preserving string rewriting systems that consist of length-two rules. This paper shows that confluence, termination, left-most termination and right-most termination are undecidable
    properties for length-two string rewriting systems. These results mean that these properties are undecidable for
    the class of linear term rewriting systems in which depth-two variables are allowed in both-hand sides of rules.

  61. Error Detection with Soft Typing for Dynamically Typed Language

    "Akihisa Yamada, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, and Naoki Nishida"

    IEICE Technical Report   Vol. 107 ( 505 ) page: 7-12   2008.3

     More details

    Language:English  

  62. A Type System for Analyzing Secure Information Flow in Object-Oriented Programs with Exception Handling Reviewed

    IEICE Trans. on Information and Systems   Vol. J91-D ( 3 ) page: 757-770   2008.3

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  63. 等式を規則化する変換の停止条件

    水野清貴,西田直樹,坂部俊樹、酒井正彦,草刈圭一朗

    電子情報通信学会技術研究報告   Vol. 107 ( 505 ) page: 25-30   2008.3

     More details

    Language:Japanese  

  64. Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques

    "Keiichirou Kusakari, Masahiko Sakai"

    IEICE Technical Report   Vol. 107 ( 505 ) page: 19-24   2008.3

     More details

    Language:English  

  65. プログラム生成系GeneSysにおける等式仕様への否定の導入

    近藤悟、酒井正彦、坂部俊樹、草刈圭一朗、西田直樹

    電子情報通信学会技術研究報告   Vol. 107 ( 392 ) page: 43-48   2007.12

     More details

    Language:Japanese  

  66. 対話型埋込みによる数独問題の設計ツール

    馬野洋平、酒井正彦、西田直樹、坂部俊樹、草刈圭一朗

    電子情報通信学会技術研究報告   Vol. 107 ( 392 ) page: 73-78   2007.12

     More details

    Language:Japanese  

  67. 導出木からのループ検出による論理プログラムの非停止性証明法

    水谷知博、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗、

    電子情報通信学会技術研究報告   Vol. 107 ( 275 ) page: 1-6   2007.10

     More details

    Language:Japanese  

  68. *Enhancing Dependency Pair Method using Strong Computability in Simply-Typed Term Rewriting Reviewed

    Keiichirou Kusakari, Masahiko Sakai

    Applicable Algebra in Engineering, Communication and Computing   Vol. 18 ( 5 ) page: 407-431   2007.10

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational models of functional programs. The primary advantage of our method is that one can exclude higher-order variables which are difficult to analyze theoretically, from recursive structure analysis. The key idea of our method is to analyze recursive structure from the viewpoint of strong computability. This property was introduced for proving termination in typed lambda-calculus, and is a stronger condition than the property of termination. The difficulty in incorporating this concept into recursive structure analysis is that because it is defined inductively over type structure, it is not closed under the subterm relation. This breaks the correspondence between strong computability and recursive structure. In order to guarantee the correspondence, we propose plain function-passing as a restriction, which is satisfied by
    many non-artificial functional programs.

  69. 論理式への変換に基づく魔方陣の発見

    伊藤寛之、酒井正彦,草刈圭一朗,坂部俊樹,西田直樹

    平成19年度電気関係学会東海支部連合大会講演論文集     page: O-012   2007.9

     More details

    Language:Japanese  

  70. 左線形は定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン

    村田俊樹、西田直樹、酒井正彦、坂部俊樹、草刈圭一朗

    電子情報通信学会技術研究報告   Vol. 107 ( 176 ) page: 1-6   2007.8

     More details

    Language:Japanese  

  71. 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法

    笹田悠司、酒井正彦、西田直樹、坂部俊樹、草刈圭一朗

    電子情報通信学会技術研究報告   Vol. 107 ( 176 ) page: 7-12   2007.8

     More details

    Language:Japanese  

  72. Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems Reviewed

    "Keita Uchiyama, Masahiko Sakai and Toshiki Sakabe"

    "Proc. of 7th International Workshop on Reduction Strategies in Rewriting and Programming, Paris (WRS2007)"     page: 16-27   2007.6

     More details

    Language:English  

  73. Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems

    "Kiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Toshiki Sakabe and Naoki Nishida"

      Vol. 107 ( 99 ) page: 17-22   2007.6

     More details

    Language:English  

  74. 二階の書換え系における引数切り落とし法

    磯谷泰巨、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹

    電子情報通信学会技術研究報告   Vol. 107 ( 99 ) page: 23-28   2007.6

     More details

    Language:Japanese  

  75. Convergent Term Rewriting Systems for Inverse Computation of Injective Functions Reviewed

    "WaNaoki Nishida, Masahiko Sakai, and Terutoshi Kato"

    "Proc. of Ninth International Workshop on Termination, Paris (WST2007)"     page: 77-81   2007.6

     More details

    Language:English  

  76. Undecidable Properties on Length-Two String Rewriting Systems Reviewed

    Masahiko Sakai and Wang Yi

    "Proc. of 7th International Workshop on Reduction Strategies in Rewriting and Programming, Paris (WRS2007)"     page: 43-57   2007.6

     More details

    Authorship:Lead author   Language:English  

  77. Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems

    "Keita Uchiyama, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe and Keiichirou Kusakari"

    "RIMS Technical Report, Kyoto Universty"   Vol. 1554   page: 166-170   2007.5

     More details

    Language:English  

  78. Confluence of Length Preserving String Rewriting System is Undecidable

    "Yi Wang, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe and Keiichirou Kusakari"

    "RIMS Technical Report, Kyoto Universty"   Vol. 1554   page: 171-177   2007.5

     More details

    Language:English  

  79. Usable Rules and Labeling Producfor Dependency Pair Method in Simply-Typed Term Rewriting Systemst-Typed Terms Reviewed

    "Takahiro Sakurai, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida"

    IEICE Trans. on Information and Systems   Vol. J90-D ( 4 ) page: 978-989   2007.4

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  80. 単純型項書換え系における定理自動証明系HOPSYS

    蒲田 明憲,草刈 圭一朗,西田 直樹,酒井 正彦,坂部 俊樹

    電子情報通信学会技術研究報告   Vol. 106 ( 424 ) page: 7-12   2006.12

     More details

    Language:Japanese  

  81. 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み

    古市祐樹,西田 直樹,酒井 正彦,草刈 圭一朗,坂部 俊樹

    電子情報通信学会技術研究報告   Vol. 106 ( 324 ) page: 7-12   2006.10

     More details

    Language:Japanese  

  82. GeneSysによるプログラム生成例とIntroduction規則の追加

    近藤 悟,酒井 正彦,西田 直樹,坂部 俊樹,草刈 圭一朗

    電子情報通信学会技術研究報告   Vol. 106 ( 324 ) page: 37-42   2006.10

     More details

    Language:Japanese  

  83. 例外処理付きオブジェクト指向言語における情報流の安全性解析

    黒川 翔,桑原寛明,山本晋一郎,坂部俊樹,酒井正彦,草刈圭一朗,西田直樹

    電子情報通信学会技術研究報告   Vol. 106 ( 324 ) page: 13-18   2006.10

     More details

    Language:Japanese  

  84. 高階関数機能を持つ項書換え系のコンパイル

    笹田悠司,酒井正彦,坂部俊樹,草刈圭一朗,西田直樹

    平成18年度電気関係学会東海支部連合大会講演論文集     page: O-437   2006.9

     More details

    Language:Japanese  

  85. 所属制約を持つ条件付き項書換え系の紐解き変換

    村田俊樹,西田直樹,酒井正彦,坂部俊樹,草刈圭一朗

    平成18年度電気関係学会東海支部連合大会講演論文集     page: O-438   2006.9

     More details

    Language:Japanese  

  86. *Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs Reviewed

    Wang Yi and Masahiko Sakai

    Proc. of 17th Int'l Conference on Rewriting Techniqes and Applications, Seattle RTA2006, LNCS   Vol. 4098   page: 343-356   2006.8

     More details

    Language:English  

    "We consider several classes of term rewriting systems and prove that termination is decidable for these classes. By showing the cycling property of infinite dependency chains, we prove that termination is decidable for semi-constructor case, which is a superclass of right-ground TRSs. By analyzing argument propagation cycles in the dependency graph, we show that termination is also decidable for left-linear shallow TRSs. Moreover we extend these by combining these two techniques."

  87. Transformation for Refining Unraveled Conditional Term Rewriting Systems Reviewed

    "Naoki Nishida, Tomohiro Mizutani, and Masahiko Sakai"

    "Proc. of 6th International Workshop on Reduction Strategies in Rewriting and Programming, Seattle (WRS2006)"     page: 34-48   2006.8

     More details

    Language:English  

  88. On Non-looping Term Rewriting Reviewed

    Wang Yi and Masahiko Sakai

    "Proc. of Eighth International Workshop on Termination, Seattle (WST2006)"     page: 17-21   2006.8

     More details

    Language:English  

  89. 等式付き書換え系の等式数を削減する変換

    三浦浩一,西田直樹,酒井正彦,坂部俊樹,草刈圭一朗

    電子情報通信学会技術研究報告   Vol. 106 ( 120 ) page: 7-12   2006.6

     More details

    Language:Japanese  

  90. 単純型項書換え系上の依存対法における実行規則と直積型項へのラベル付け

    櫻井敬大,草刈圭一朗,酒井正彦,坂部俊樹,西田直樹

    電子情報通信学会技術研究報告   Vol. 106 ( 120 ) page: 13-18   2006.6

     More details

    Language:Japanese  

  91. 紐解かれた項書換え系の文脈依存条件の除去のための変換

    "水谷知博,西田直樹, 酒井正彦,草刈圭一朗, 坂部俊樹"

    京都大学数理解析研究所講究録   Vol. 1489   page: 195-201   2006.5

     More details

    Language:Japanese  

  92. 強計算依存対法による高階書換え系の停止性証明

    磯谷泰巨,草刈圭一朗,酒井正彦,坂部俊樹,西田直樹

    電子情報通信学会技術研究報告   Vol. 106 ( 15 ) page: 31-36   2006.4

     More details

    Language:Japanese  

  93. 項正規表現に基づくSpi計算の機密性検証

    "田代善彦, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹"

    電子情報通信学会技術研究報告   Vol. 105 ( 596 ) page: 35-40   2006.2

     More details

    Language:Japanese  

  94. 関数プログラムの停止性証明に関する辞書式経路順序

    "星野由美, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹"

    電子情報通信学会技術研究報告   Vol. 105 ( 597 ) page: 13-18   2006.2

     More details

    Language:Japanese  

  95. Primitive Indeuctive Theorems Bridge Implicit Induction methods and Inductive Theorems in Higher-Order Rewriting Reviewed

    "Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe"

    IEICE Trans. on Information and Systems   Vol. E88-D ( 12 ) page: 2715-2726   2005.12

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  96. Decidability of Termination fo Left-Linear Shallow Term Rewriting Systems and Related

    "Yi Wang, Masahiko Sakai, Naoki Nishida, Keiichiro Kusakari, Toshiki Sakabe"

    IEICE Technical Report   Vol. 105 ( 499 ) page: 9-13   2005.12

     More details

    Language:English  

  97. 分散JoinJAVAプログラムの通信エラーに対する型判定システム

    佐伯昌樹,坂部俊樹,酒井正彦,草刈圭一朗,西田直樹

    電子情報通信学会技術報告   Vol. 105 ( 491 ) page: 25-30   2005.12

     More details

    Language:Japanese  

  98. 強計算性による単純型項書換え系の依存対法の改良

      Vol. 105 ( 491 ) page: 13-18   2005.12

     More details

    Language:Japanese  

  99. 暗号プロトコル記述からカラーペトリネットへの変換による機密性検証

    奥谷大介,坂部俊樹,酒井正彦,草刈圭一朗,西田直樹

    電子情報通信学会技術報告   Vol. 105 ( 490 ) page: 19-24   2005.12

     More details

    Language:Japanese  

  100. 重なりを持つTRSにおける最外戦略の完全性について

    "岩田篤史,酒井正彦,西田直樹,草刈圭一朗, 西田直樹"

    電子情報通信学会技術報告 SS2005-46   Vol. 105 ( 331 ) page: 39-44   2005.10

     More details

    Language:Japanese  

  101. カラーペトリネットを用いた暗号プロトコルの安全性検証

    奥谷大介、坂部俊樹、酒井正彦、草刈圭一朗、西田直樹

    平成17年度電気関係学会東海支部連合大会講演論文集     page: O-198   2005.9

     More details

    Language:Japanese  

  102. 分散JoinJAVAプログラムの正常実行判定のための型システム

    佐伯昌樹、坂部俊樹、酒井正彦、草刈圭一朗、西田直樹

    平成17年度電気関係学会東海支部連合大会講演論文集     page: O-306   2005.9

     More details

    Language:Japanese  

  103. Proving Sufficient Completeness of Functional Programs based on Recursive Structure Analysis and Strong Computability Reviewed

    Information Technology Letters   Vol. LA-001   page: 1-4   2005.9

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  104. Generation of Inverse Computation Programs for Constructor Term Rewriting Systems Reviewed

    "Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"

      Vol. J88-D-I ( 8 ) page: 1171-1183   2005.8

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  105. Decidability of Termination for Semi-Constructor Term Rewriting Systems

    "Yi Wang, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe"

    "Tech. Reort of IEICE, SS2005-27"   Vol. 105 ( 228 ) page: 13-18   2005.8

     More details

    Language:English  

  106. 難読プログラミング言語Malbolgeにおけるプログラム構成手法

    "飯澤 恒, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹"

    電子情報通信学会技術報告   Vol. SS2005-22   page: 25-30   2005.6

     More details

    Language:Japanese  

  107. 弱最内戦略を完全にする項書換え系の等価変換

    "岡本晃治, 酒井正彦, 西田直樹, 草刈圭一朗"

    京都大学数理解析研究所講究録   Vol. 1426   page: 119-125   2005.4

     More details

    Language:Japanese  

  108. Partial Inversion of Constructor Term Rewriting Systems Reviewed

    "Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"

    "Proc. of 16th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science"   Vol. 3647   page: 264-278   2005.4

     More details

    Language:English  

  109. 配列を扱う非線形先頭再帰プログラムからの再帰除去

    "高須洋平, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹"

    京都大学数理解析研究所講究録   Vol. 1426   page: 39-44   2005.4

     More details

    Language:Japanese  

  110. 項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係

    "村田龍彦, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹"

    京都大学数理解析研究所講究録   Vol. 1426   page: 106-112   2005.4

     More details

    Language:Japanese  

  111. 変換と部分評価に基づく非左辺正規なメタ項の停止性証明

    "蛸島洋明, 酒井正彦, 坂部俊樹, 西田直樹, 草刈圭一朗"

    京都大学数理解析研究所講究録   Vol. 1426   page: 113-118   2005.4

     More details

    Language:Japanese  

  112. On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems Reviewed

    "Masahiko Sakai, Keiichirou Kusakari"

    IEICE Trans. on Information and Systems   Vol. E88-D ( 3 ) page: 583-593   2005.3

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

  113. 項の全正規形を探索するためのTRSコンパイラ

    岩田篤史、草刈圭一朗、酒井正彦、坂部俊樹

    平成16年度電気関係学会東海支部連合大会講演論文集     page: 363   2004.9

     More details

    Language:Japanese  

  114. 項書換え系と木オートマトンを用いた共通鍵方式暗号プロトコルの検証法

    奥谷大介、坂部俊樹、酒井正彦

    平成16年度電気関係学会東海支部連合大会講演論文集     page: 352   2004.9

     More details

    Language:Japanese  

  115. 高階書換え系の決定可能な計算戦略について

    粕谷英人、酒井正彦、阿草清滋

    電子情報通信学会技術報告   Vol. SS2004-6   page: 1-6   2004.8

     More details

    Language:Japanese  

  116. On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems

    "Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"

    Technical Report of IEICE   Vol. SS2004-6   page: 25-30   2004.8

     More details

    Language:English  

  117. On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems

    Naoki Nishida, Masahiko Sakai, Toshiki Sakabe

    LA symposium     page: 7.1-7.6   2004.7

     More details

    Language:English  

  118. Program Generation by Transformation from Quantified Equational Specifications Reviewed

      Vol. 21 ( 4 ) page: 49-54   2004.7

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  119. 左辺が一致するオーバレイ性を持つ左線形TRSの正規化戦略

    水野健一、草刈圭一朗、酒井正彦、坂部俊樹

    京都大学数理解析研究所講究録   Vol. 1375   page: 247-252   2004.5

     More details

    Language:Japanese  

  120. Improving Efficiency of Linear Constructor Term Rewriting Systems with Extra Variables Reviewed

      Vol. 21 ( 3 ) page: 40-47   2004.5

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  121. 非完全な仕様における振舞等価性の自動証明法

    山本友和、草刈圭一朗、酒井正彦、坂部俊樹

    電子情報通信学会技術報告   Vol. COMP2003 ( 66 ) page: 29-36   2003.12

     More details

    Language:Japanese  

  122. Characterizing Inductive Theorems by Extensional Initial Models in a Higher-Order Equational Logic

    "Keiichiro Kusakari, Masahiko Sakai, Toshiki Sakabe"

      Vol. 46 ( 9 )   2003.10

     More details

    Language:English  

  123. メタ項書き換え計算における左辺正規性を持つメタ項の停止性について、

    蛸島洋明、酒井正彦、坂部俊樹

    平成15年度電気関係学会東海支部連合大会講演論文集     page: 565   2003.10

     More details

    Language:Japanese  

  124. 最内書換えに基づく項書換え系の完全な書換え戦略

    岡本晃治、酒井正彦、坂部俊樹

    平成15年度電気関係学会東海支部連合大会講演論文集     page: 564   2003.10

     More details

    Language:Japanese  

  125. A Computation Model of Term Rewriing Systems Reviewed

      Vol. 20 ( 5 ) page: 85-89   2003.9

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  126. 右辺のみに現れる変数を持つ右線形構成子項書換え系の計算の効率化

    西田直樹、酒井正彦、坂部俊樹

    日本ソフトウェア科学会 第20回大会論文集   Vol. 441-445   2003.9

     More details

    Language:Japanese  

  127. 高階項書換え系の決定可能性問題のためのNk木オートマトンとその性質、

    粕谷英人、酒井正彦、阿草清滋

    日本ソフトウェア科学会 第20回大会論文集     page: 436-440   2003.9

     More details

    Language:Japanese  

  128. 限量子付き等式理論の変換に基づく仕様からのプログラム生成、

    長島正徳、酒井正彦、坂部俊樹、草刈圭一朗

    日本ソフトウェア科学会 第20回大会論文集     page: 431-435   2003.9

     More details

    Language:Japanese  

  129. 右辺のみに現れる変数を持つ右線形オーバーレイ項書換え系の最左最内ナローイングによる正規形の計算

    西田直樹、酒井正彦、坂部俊樹

    2003年度夏のLAシンポジウム     page: 24.1-24.6   2003.8

     More details

    Language:Japanese  

  130. 右辺のみに現れる変数を持つ右線形オーバーレイ項書換え系の最左最内ナローイングによる正規形の計算

    西田直樹、酒井正彦、坂部俊樹

    2003年度夏のLAシンポジウム     page: 24.1-24.6   2003.8

     More details

    Language:Japanese  

  131. Innermost Reductions Find All Normal Forms on Right-Linear Terminating Overlay TRSs Reviewed

    "Masahiko Sakai, Kouji Okamoto, Toshiki Sakabe"

    Proc. of 3rd Int'l Workshop on Reduction Strategies in Rewriting and Programming   Vol. WRS'03   page: 79-88   2003.6

     More details

    Authorship:Lead author   Language:English  

  132. Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof Reviewed

    "Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe"

    Proc. of 12th Int'l Workshop on Functional and (Constraint) Logic Programming   Vol. WFLP'03   page: 198-211   2003.6

     More details

    Authorship:Lead author   Language:English  

  133. Narrowing-based Effective Rewriting and its Termination for Term Rewriting Systems with Extra Variables

      Vol. 1325   page: 238-243   2003.5

     More details

    Language:Japanese  

  134. Typing Exception in an Object Oriented Calculus with Recoursive Type

      Vol. 1325   page: 104-109   2003.5

     More details

    Language:Japanese  

  135. オブジェクト指向計算モデルにおける例外処理機能の型付 Reviewed

    堀江美保子、酒井正彦、坂部俊樹

    コンピュータソフトウェア   Vol. 20 ( 2 ) page: 54-58   2003.3

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  136. Descendants and Head Normalization of Higher-Order Rewrite Systems Reviewed

    "Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa"

    Lecture Notes in Computer Science   Vol. 2441   2002.9

     More details

    Language:English  

  137. On Proving Termination of Higher-Order Rewrite Systems by Dependency Pair technique Reviewed

    "Masahiko Sakai, Keiichirou Kusakari"

    "Proc. of the First International Workshop on Higher-Order Rewriting (HOR'02), Copenhagen, Denmark"     page: 25   2002.7

     More details

    Authorship:Lead author   Language:English  

  138. Generation of a TRS Implementing the Inverse of Pure Treeless Function Reviewed

    "Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"

    Computer Software   Vol. 19 ( 1 ) page: 29-33   2002.1

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  139. Proving Behavioral Equivalence for Weakly Complete Behavioral Specifications by Implicit Induction

    "Yasushi Kano, Masahiko Sakai, Toshiki Sakabe"

    Technical Report of IEICE   Vol. COMP2001-79   page: 41-47   2002.1

     More details

    Language:Japanese  

  140. Descendants and Head Normalization of Higher-Order Rewrite Systems

    "Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa"

    Technical Report of IEICE   Vol. COMP2001-82   page: 65-72   2002.1

     More details

    Language:Japanese  

  141. Decidability of root-needed strategy in priority term rewriting systems

    "Tsuyoshi Suzuki, Masahiko Sakai, Toshiki Sakabe"

    Technical Report of IEICE   Vol. COMP2001-80   page: 49-55   2002.1

     More details

    Language:Japanese  

  142. n箇所パターン照合関数のDeforestationに基づく効率化

    中村敏広、酒井正彦、坂部俊樹

    シンポジウム,情報基礎理論ワークショップ     2002

     More details

    Language:Japanese  

  143. n箇所パターン照合関数のDeforestationに基づく効率化

    中村敏広、酒井正彦、坂部俊樹

    シンポジウム,情報基礎理論ワークショップ     2002

     More details

    Language:Japanese  

  144. Generation of a TRS Implementing the Inverses of the Functions with Specified Arguments Fixed

    "Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"

    Technical Report of IEICE   Vol. COMP2001-67   page: 33-40   2001.12

     More details

    Language:English  

  145. Generation of Inverse Term Rewriting Systems for Pure Treeless Functions Reviewed

    "Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"

    "Proc. of the International workshop on Rewriting in Proof and Computaion, Sendai, Japan"     page: 188-198   2001.10

     More details

    Language:English  

  146. On New Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems Reviewed

    "Masahiko Sakai, Keiichirou Kusakari"

    "Proc. of the International Workshop on Rewriting in Proof and Computation (RPC'01), Sendai, Japan"     page: 176-187   2001.10

     More details

    Authorship:Lead author   Language:English  

  147. An Extension of Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems Reviewed

    "Masahiko Sakai, Yoshitsugu Watanabe, Toshiki Sakabe"

    IEICE Trans. on Information and Systems   Vol. E84-D ( 8 ) page: 1025-1032   2001.8

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

  148. Generation of a Conditional TRS Implementing the Inverses of Pure Treeless Functions

    "Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"

    Technical Report of IEICE   Vol. COMP2001-14   page: 9-16   2001.6

     More details

    Language:Japanese  

  149. Confluence of Orthogonal Metaterm Rewriting Calculus with Rules Containing rules Reviewed

    "Sun Hui Hong, Masahiko Sakai, Toshiki Sakabe"

    Computer Software   Vol. 17 ( 6 ) page: 47-51   2000.11

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  150. Designing Unlimited Size Resource C-Libraries Freeing Users from GC Annoyance

    "Naoki Nishida, Masahiko Sakai, Toshiki Sakabe"

    Technical Report of IEICE   Vol. SS2000-9   page: 25-32   2000.5

     More details

    Language:Japanese  

  151. Confluence of Weakly Orthogonal CTRSs with Extra Variables

    Ould Seyid Ahmed, Masahiko Sakai, Toshiki Sakabe

    LA symposium     2000

     More details

    Language:English  

  152. Confluence of Weakly Orthogonal CTRSs with Extra Variables

    "Ould Seyid Ahmed, Masahiko Sakai, Toshiki Sakabe"

    LA symposium     2000

     More details

    Language:English  

  153. 直交メタ項書換え計算のデベロップメントと合流性

    洪順姫、酒井正彦、坂部俊樹

    電子情報通信学会技術報告   Vol. COMP99-9   page: 65-70   1999.4

     More details

    Language:Japanese  

  154. 順序ソートの自動推論とラベル付けに基づく合流性判定への応用

    宮下大、酒井正彦、坂部俊樹

    計算モデルとアルゴリズム、数理解析研究所講究録   Vol. 1093   page: 136-141   1999.2

     More details

    Language:Japanese  

  155. On Completion of Term Set Rewriting Systems

    "Hideto Kasuya, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa"

    Technical Report of IEICE   Vol. SS98-66   page: 25-31   1998.12

     More details

    Language:Japanese  

  156. Semantics and Strong Sequentiality of Priority Term Rewriting Systems Reviewed

    "Masahiko Sakai, Yoshihito Toyama"

    Theoretical Computer Science   Vol. 208   page: 87-110   1998.11

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

  157. An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems Reviewed

    "Munehiro Iwami, Masahiko Sakai, Yoshihito Toyama"

    IEICE Trans. on Information and Systems   Vol. E81-D ( 9 ) page: 988-996   1998.9

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  158. Index Reduction of Overlapping Strongly Sequential Systems Reviewed

    "Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"

    IEICE Trans. on Information and Systems   Vol. E81-D ( 5 ) page: 419-426   1998.5

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  159. Modularity of Termination in Extended Hierarchical Combination of Term Rewriting Systems

    "Kenji Ohno, Nobuo Kawaguchi, Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"

    Technical Report of IEICE   Vol. SS97-84   page: 57-61   1998.3

     More details

    Language:Japanese  

  160. Proing Termination of Higher Order Rewriting Systems based on Dependency Pairs

    "Yoshitsugu Watanabe, Nobuo Kawaguchi, Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"

    Technical Report of IEICE   Vol. SS97-85   page: 63-70   1998.3

     More details

    Language:Japanese  

  161. On Confluent Property of Type-IIn Conditional Term Rewrite Systems

    "Tohru Nishimura, Masahiko Sakai, Toshiki Sakabe"

    Technical Report of IEICE   Vol. COMP97-84   page: 45-49   1998.1

     More details

    Language:Japanese  

  162. Left-Incompatible Term Rewriting Systems and Functional Strategy Reviewed

    Masahiko Sakai

    IEICE Trans. on Information and Systems   Vol. E80-D ( 12 ) page: 1176-1182   1997.12

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

  163. Term Set Rewriting Systems and their Confluent Property Reviewed

    "Hideto Kasuya, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa"

    Transaction of IEICE   Vol. J80-D-I ( 4 ) page: 325-334   1997.4

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  164. An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems

    "Munehiro Iwami, Masahiko Sakai, Yoshihito Toyama"

    "Tech. Rep., IEICE"   Vol. COMP96-73   page: 17-24   1997.1

     More details

    Language:English  

  165. On the Confluence Property of Conditional Term Rewriting Systems Reviewed

    "Yoshitaka Takahashi, Masahiko Sakai, Yoshihito Toyama"

    Transaction of IEICE   Vol. J79-D-I ( 11 ) page: 897-902   1996.11

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  166. Semantics and Strong Sequentiality of Priority Term Rewriting Systems Reviewed

    "Masahiko Sakai, Yoshihito Toyama"

    "Proc. on Rewriting Techniques and Applications at New Brunswick NJ USA, LNCS"   Vol. 1103   page: 377-391   1996.7

     More details

    Authorship:Lead author   Language:English  

  167. 高階項書換え系の停止性について

    岩見宗弘,酒井正彦,外山芳人

    シンポジウム,情報基礎理論ワークショップ     page: 55-60   1996.7

     More details

    Language:Japanese  

  168. Index reduction of Overlapping Strong Sequential Systems

    "Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"

    "Tech. Rep., IEICE"   Vol. COMP96-32   page: 39-48   1996.7

     More details

    Language:English  

  169. Church-Rosser Property of Finite Ranked Terms of Non-Linear Term Rewriting Systems

    "Keiichiro Kusakari, Masahiko Sakai, Yoshihito Toyama"

    LA Symposium     page: 160-165   1996.7

     More details

    Language:English  

  170. Index reduction of Overlapping Strong Sequential Systems

    "Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"

    LA Symposium     page: 154-165   1996.7

     More details

    Language:English  

  171. Termination for Associative-Commutative Term Rewriting Systems

    "Kenji Nakano, Masahiko Sakai, Yoshihito Toyama"

    "Tech. Report, IEICE"   Vol. COMP95-104   page: 69-78   1996.3

     More details

    Language:Japanese  

  172. NVNF-sequeentiality of Left-linear Term Rewriting Systems

    "Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"

    "Kyokyuroku, Kyoto University"   Vol. 950   page: 153-159   1996.2

     More details

    Language:English  

  173. 高階項書換え系の停止性について

    岩見宗弘,酒井正彦,外山芳人

    電子情報通信学会技術報告   Vol. COMP95-85   page: 113-121   1996.1

     More details

    Language:Japanese  

  174. The Semantics of Priority Term Rewriting Systems and their Strong Sequentiality

    "Masahiko Sakai, Yoshihito Toyama"

    "Technical report, IEICE"   Vol. SS95-40   page: 31-38   1996.1

     More details

    Authorship:Lead author   Language:English  

  175. 非線形項書換え系の合流性について

    草刈圭一朗,酒井正彦,外山芳人

    電子情報通信学会技術報告   Vol. COMP95-86   page: 123-129   1996.1

     More details

    Language:Japanese  

  176. The Functional Strategy: the Extended Left-incompatible Systems

    Masahiko Sakai

    "Technical Report, IEICE"   Vol. SS95-17   page: 55-62   1995.7

     More details

    Authorship:Lead author   Language:English  

  177. NVNF-sequeentiality of Left-linear Term Rewriting Systems

    "Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"

    "Proc. of RIMS Workshop on Theory of Rewriting Systems and its Applications, Kyokyuroku, Kyoto University"   Vol. 918   page: 109-117   1995.7

     More details

    Language:English  

  178. An Implementation of TRS on Shared Memory Multipeocessors Reviewed

    "Shinichirou Yamamoto, Akira Ishikawa, Masahiko Sakai, Kiyoshi Agusa"

    Transaction of IEICE   Vol. J78-D-I ( 6 ) page: 559-562   1995.6

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  179. A Model for Reuse based on Formal Specifications Reviewed

    "Makoto Kawakita, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa"

    IPSJ Trans.   Vol. 36 ( 5 ) page: 1050-1058   1995.5

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  180. Error Description on Algebraic Specification and its Automatic Addition Reviewed

    "Takeshi Hamaguchi, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa"

    Transaction of IEICE   Vol. J78-D-I ( 3 ) page: 323-330   1995.3

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  181. On the modularity of confluent term rewriteing systems with shared construtors

    "Akira Kitahara, Masahiko Sakai, Yoshihito Toyama"

    Tech. Rep. of IPSJ   Vol. 20 ( 2 ) page: 11-20   1995.1

     More details

    Language:Japanese  

  182. 仕様に基づく部品再利用法とその適用

    川北誠,酒井正彦,山本晋一郎,阿草清滋

    第1回ソフトウェア工学の基礎 ワークショップ   Vol. FOSE94   1994.12

     More details

    Language:Japanese  

  183. On the Confluence of Conditional Term Rewriting Systems

    "Yoshitaka Takahashi, Masahiko Sakai, Yoshihito.Toyama"

    Tech. Rep. of IEICE   Vol. COMP94-65   page: 105-111   1994.11

     More details

    Language:Japanese  

  184. Decidability of Indices on NVNF-sequential Term Rewriting Systems

    "Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"

    Tech. Rep. of IEICE   Vol. COMP94-63   page: 87-94   1994.11

     More details

    Language:Japanese  

  185. On Counfluence of Term Set Rewriting System

    "Hideto Kasuya, Masahiko Sakai, Shin'ichiro Yamamoto, Kiyoshi Agusa"

    Tech. Rep. of IEICE   Vol. SS94-14   page: 17-24   1994.7

     More details

    Language:Japanese  

  186. On Term Set Rewriting System

    "Masahiko Sakai, Hideto Kasuya, Shinichiro Yamamoto and Kiyoshi Agusa"

    LA Symposium     page: 45-48   1994.7

     More details

    Authorship:Lead author   Language:English  

  187. Similarity on Algebraic Specifications toward Specification Databases

    Masahiko Sakai

    "Technical Report, JAIST"   Vol. IS-RR-94-0012S   page: 1-20   1994.5

     More details

    Authorship:Lead author   Language:English  

  188. 項の集合の書換え系とKnuth-Bendixの完備化に関する考察

    粕谷英人,酒井正彦,山本晋一郎,阿草清滋

    電子情報通信学会,ソフトウェアサイエンス研究会   Vol. SS93-41   page: 17-22   1994.1

     More details

    Language:Japanese  

  189. ソフトウェア操作言語の提案

    吉田敦,山本晋一郎,酒井正彦,阿草清滋

    電子情報通信学会,ソフトウェアサイエンス研究会   Vol. SS92-18   page: 1-8   1993.1

     More details

    Language:Japanese  

  190. 代数的仕様へのエラー記述の自動付加について

    濱口毅,酒井正彦,山本晋一郎,阿草清滋

    電子情報通信学会,ソフトウェアサイエンス研究会   Vol. SS92-26   page: 25-32   1993.1

     More details

    Language:Japanese  

  191. Cover Set Induction for Verifying Algebraic Specifications Reviewed

    "Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"

    Transaction of IEICE   Vol. J75-D-I ( 3 ) page: 170-179   1992.3

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (scientific journal)  

  192. Similarity on Algebraic Specifications toward Specification Databases

    "Masahiko Sakai, Soichi Matsui, Shinichiro Yamamoto, Kiyoshi Agusa"

    LA Symposium     page: 30-35   1992.2

     More details

    Authorship:Lead author   Language:English  

  193. 代数的仕様の検証のための被覆集合帰納法

    酒井正彦,坂部俊樹,稲垣康善

    情報基礎理論ワークショップ,LAシンポジュウム     page: 12-17   1991.2

     More details

    Authorship:Lead author   Language:Japanese  

  194. Algebraic Specification and Automatic Generation of Compilers Reviewed

    "Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"

    Transaction of IEICE   Vol. J73-D-I ( 12 ) page: 979-989   1990.12

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (scientific journal)  

  195. LASS : Language Processor Generator based on Algebraic Specification Reviewed

    "Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"

    Transaction of IEICE   Vol. J73-D-1 ( 10 ) page: 829-838   1990.10

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (scientific journal)  

  196. 代数的仕様の検証のための被覆集合帰納法

    酒井正彦,坂部俊樹,稲垣康善

    電子情報通信学会,コンピュテーション研究会   Vol. COMP90-5   1990.5

     More details

    Authorship:Lead author   Language:Japanese  

  197. コンパイル機能を持つTRSインタプリタの実現

    酒井正彦,坂部俊樹,稲垣康善

    電子情報通信学会,コンピュテーション研究会   Vol. COMP88-93   1989.2

     More details

    Authorship:Lead author   Language:Japanese  

  198. TRSインタプリタの並列最外戦略実現法

    山本晋一郎,酒井正彦,坂部俊樹,稲垣康善

    電子情報通信学会,コンピュテーション研究会   Vol. COMP88-94   1989.2

     More details

    Language:Japanese  

  199. 代数的仕様における帰納的性質の証明法

    酒井正彦,坂部俊樹,稲垣康善

    電子情報通信学会,コンピュテーション研究会   Vol. COMP88-86   page: 83-92   1989.1

     More details

    Authorship:Lead author   Language:Japanese  

  200. Direct Implementation System of Algebraic Specification of Abstract Data Types Reviewed

    "Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"

    Computer Software   Vol. 4 ( 4 ) page: 16-27   1987.10

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Research paper (scientific journal)  

  201. An Algebraic Approach to Specification of Programming Languages and Automatic Generation of Language Processors Reviewed

    "Yasuyoshi Inagaki, Hidehiko Kita, Masahiko Sakai, Toshiki Sakabe"

    Proceedings of Regional Symposium on Computer Science and its Applications in Thai     page: 35-1-35-25   1987.1

     More details

    Language:English  

  202. 抽象データ型の代数的仕様の直接実現系Cdimple

    酒井正彦,坂部俊樹,稲垣康善

    電子通信学会技術研究報告,コンピュテーション研究会   Vol. COMP96-67   page: 61-69   1987.1

     More details

    Authorship:Lead author   Language:Japanese  

  203. An Algebraic Approach to Specification of Programming Languages and Automatic Generation of Language Processors

    "Yasuyoshi Inagaki, Hidehiko Kita, Masahiko Sakai, Toshiki Sakabe"

    "Technical Research Report, Nagoya University"   Vol. 8601   1986.11

     More details

    Language:English  

  204. 抽象データ型直接実現システムCdimple

    酒井正彦,坂部俊樹,稲垣康善

    ソフトウエア科学会,関数的プログラミング研究会   Vol. FP-86-07   page: 122-127   1986.11

     More details

    Authorship:Lead author   Language:Japanese  

  205. コンパイラの代数的仕様記述とその自動生成

    酒井正彦,坂部俊樹,稲垣康善

    情報処理学会研究報告,プログラミング言語研究会   Vol. 86-PL-8-1   page: 1-9   1986.10

     More details

    Authorship:Lead author   Language:Japanese  

  206. コンパイラの代数的仕様記述法

    酒井正彦,坂部俊樹,稲垣康善

    電子通信学会技術研究報告,ソフトウエアサイエンス研究会   Vol. SS86-9   page: 1-6   1986.7

     More details

    Authorship:Lead author   Language:Japanese  

  207. 代数的手法に基づくプログラミング言語の仕様記述法と処理系の自動生成

    稲垣康善,北英彦,酒井正彦,坂部俊樹

    情報処理学会,知識情報処理シンポジウム論文集     page: 165-174   1985.9

     More details

    Language:Japanese  

  208. プログラミング言語の代数的仕様記述からのコンパイラ自動生成に関する基礎的考察

    酒井正彦,北英彦,坂部俊樹,稲垣康善

    言語理論とオートマトン理論シンポジウム論文集     page: 98-101   1985.7

     More details

    Authorship:Lead author   Language:Japanese  

  209. プログラミング言語の代数的仕様記述からのコンパイラ自動生成

    酒井正彦,北英彦,坂部俊樹,稲垣康善

    電子通信学会技術研究報告,オートマトンと言語研究会   Vol. AL85-10   page: 1-10   1985.5

     More details

    Authorship:Lead author   Language:Japanese  

▼display all

Books 1

  1. プログラムの設計

    坂部俊樹編、分担執筆酒井正彦( Role: Joint author)

    オーム社  2000 

     More details

    Language:Japanese

MISC 3

  1. Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions

    Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda

    arXiv 2110.05184     2021.6

     More details

    Authorship:Last author   Language:English  

  2. Reduced dependency spaces for existential parameterised Boolean equation system Reviewed

    Yutaro Nagae, Masahiko Sakai

    Informal Proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017)     page: 10   2017.9

     More details

    Language:English  

  3. Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers Reviewed

    Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, and Tomoya Ueyama

    Informal Proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017)     page: 10   2017.9

     More details

    Language:English  

Presentations 49

  1. レプ・タイルの定式化を用いた各種ソルバの性能比較

    番原睦則, 橋本健二, 堀山貴史, 湊真一, 中村駆, 西野正彬, 酒井正彦, 上原隆平, 宇野裕之, 安田宜仁

    組合せゲーム・パズル(CGP) プロジェクト, 第16回 研究集会 

     More details

    Event date: 2022.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:オンライン  

  2. Equivalence of Context-Free and Regular Languages on Commutative Strings International conference

    Masahiko Sakai

    the 56th TRS meeting  2022.2.24 

     More details

    Event date: 2022.2

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Nagoya/online   Country:Japan  

  3. 命題論理式の全ての投射モデルを表現するBDDの構成法

    磯貝孝明, 橋本健二, 酒井正彦

    第116回人工知能基本問題研究会  2021.3.22  人工知能学会

     More details

    Event date: 2021.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:オンライン  

  4. 計数セマフォを含むプログラムから論理制約付き項書換え系への変換

    小嶋美咲, 西田直樹, 酒井正彦

    情報処理学会第83回全国大会  2020.3.20  情報処理学会

     More details

    Event date: 2021.3

    Language:Japanese  

    Venue:オンライン  

  5. 擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化

    岸潤一郎, 酒井正彦, 西田直樹, 橋本健二

    ソフトウェアサイエンス研究会  2021.1.27  電子情報通信学会

     More details

    Event date: 2021.1

    Language:Japanese   Presentation type:Oral presentation (general)  

    Venue:オンライン   Country:Japan  

  6. ASAP: a dataset of aligned scores and performances for piano transcription International coauthorship International conference

    Francesco Foscarin, Andrew McLeod, Philippe Rigaux, Florent Jacquemard, Masahiko Sakai

    the 21st International Society for Music Information Retrieval Conference (ISMIR 2020)  2020.10 

     More details

    Event date: 2020.10

    Language:English   Presentation type:Oral presentation (general)  

  7. Transformation of SQL-based Combinatorial Optimization Problems into Constraint Problems

    2020.9.30  人工知能学会

     More details

    Event date: 2020.9

    Presentation type:Oral presentation (general)  

    Venue:オンライン   Country:Japan  

  8. On Decision Diagrams

    Masahiko Sakai

    the 52nd TRS meeting 

     More details

    Event date: 2020.2

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Kaga, Ishikawa   Country:Japan  

  9. Rhythm quantization as an efficiently-solvable optimization problem

    Masahiko Sakai

    the 51st TRS meeting 

     More details

    Event date: 2019.9

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Sounkyo, Hokkaido   Country:Japan  

  10. SQL for combinatorial optimization problems and SMT-based solving by SQL transformation Invited International conference

    Masahiko Sakai

    Sixth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2019) 

     More details

    Event date: 2019.6

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Dortmund   Country:Germany  

  11. An extended SQL for combinatorial optimization problems and transformation into constraint problems

    Masahiko Sakai

    the 49th TRS meeting 

     More details

    Event date: 2018.9

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Ikaho, Gunma   Country:Japan  

  12. Transformation of combinatorial optimization problems written in extended SQL into constraint problems

    Genki Sakanashi, Masahiko Sakai

    IPSJ-SIGPRO 

     More details

    Event date: 2018.6

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Gifu   Country:Japan  

  13. On Confluence of Innermost Terminating Term Rewriting Systems

    Masahiko Sakai

    the 47th TRS meeting 

     More details

    Event date: 2017.9

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Matsue, Shimane   Country:Japan  

  14. On Confluence of Innermost Terminating Term Rewriting Systems Invited International conference

    Masahiko Sakai

    IFIP Working Group 1.6: Rewriting 

     More details

    Event date: 2017.9

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Oxford   Country:United Kingdom  

  15. Solving QFLIA by combining unit cube test and Smith normal form

    Masahiko Sakai

    the 46th TRS meeting 

     More details

    Event date: 2017.2 - 2017.3

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Shinojima, Aichi   Country:Japan  

  16. Programming in the Esoteric Language Malbolge for Obfuscation International conference

    Masahiko Sakai

    4th Austria--Japan Summer Workshop on Term Rewriting 

     More details

    Event date: 2016.9

    Language:English   Presentation type:Oral presentation (general)  

    Venue:Obergurgl   Country:Austria  

  17. CombSQL: an SQL for Specifying Combinatorial Optimization Problems

    SAKAI Masahiko

    the 44th TRS meeting 

     More details

    Event date: 2016.2

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  18. A heuristic procedure for inverse unfold problem

    SAKAI Masahiko

    the 42nd TRS meeting 

     More details

    Event date: 2015.2

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  19. A Simple Sufficient Condition for the Completeness of a Heuristic Procedure for Inverse Unfold Problem

    Masahiko Sakai, Tatsuki Kato

    IPSJ Special Interest Group on Programming 

     More details

    Event date: 2014.11

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  20. A heuristic procedure for inverse unfold problem

    SAKAI Masahiko

    the 42nd TRS meeting 

     More details

    Event date: 2014.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  21. On Coding for Problems on Bounded-Integers to Efficient Pseudo-Boolean Constraints - Magic Square as an Example -

    SAKAI Masahiko

    the 41st TRS meeting 

     More details

    Event date: 2014.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  22. Esoteric Programming Language Malbolge and Its Low-Level Assembler

    Masahiko Sakai, Tatsuki Kato

    IPSJ Special Interest Group on Programming 

     More details

    Event date: 2014.6 - 2014.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  23. Size complexity of BDD construction of Pseudo-Boolean constraints in binary/mixed-radix base form

    Naoki Nagatsuka, Masahiko Sakai, Harald Zankl, Keiichiro Kusakari

    The 28th Annual Conference of the Japan Society of Artifical Intelligence (JSAI 2014), Organized session "Theory, implementation, and application of SAT technology" 

     More details

    Event date: 2014.5

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  24. On constructing ROBDDs of Pseudo-Boolean constraints in band form and 2-clauses coding

    SAKAI Masahiko

    the 40th TRS meeting 

     More details

    Event date: 2014.3

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  25. On Converting Pseudo-Boolean constraints via BDD International conference

    SAKAI Masahiko

    the 39th TRS meeting 

     More details

    Event date: 2013.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  26. 項書換え系におけるSAT技術

    酒井正彦

    2013年度 人工知能学会全国大会(第27回), オーガナイズドセッション「OS-09 SAT技術の理論,実装,応用」 

     More details

    Event date: 2013.6

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Venue:富山市   Country:Japan  

  27. A CSP solver for bounded-integer linear constraints and its non-linear extension

    SAKAI Masahiko

    the 38th TRS meeting 

     More details

    Event date: 2013.4

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  28. On determinazation of conditional rewrite systems

    SAKAI Masahiko

    the 37th TRS meeting 

     More details

    Event date: 2012.11

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  29. On Disproving and Postulating for Multi-Context Rewriting Induction

    SAKAI Masahiko

    the 36th TRS meeting 

     More details

    Event date: 2012.2

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  30. New Encodings of Pseudo-Boolean Constraints into CNF (by Olivier Bailleux, Yacine Boufkhad, and Olivier Roussel) International conference

    SAKAI Masahiko

    the 35th TRS meeting 

     More details

    Event date: 2011.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  31. CNFs with Elementary Symmetric Clauses and Their SAT Solving International conference

    Masahiko Sakai, Yohei Umano and Yoshizane Hino

    8th Asian Workshop on Foundation of Software (AWFS 2011) 

     More details

    Event date: 2011.5

    Language:English   Presentation type:Oral presentation (general)  

    Country:China  

  32. Introduction to Esoteric Language Malbolge International conference

    Japan-Vietnam Workshop on Software Engineering 2010 (JVSE 2010) 

     More details

    Event date: 2010.12

    Language:English   Presentation type:Oral presentation (invited, special)  

  33. 例外処理を持つ関数型プログラムの停止性証明法

    馬場正貴、酒井正彦、濱口毅、西田直樹、坂部俊樹、草刈圭一朗

    第12回プログラミングおよびプログラミング言語ワークショップPPL2010 

     More details

    Event date: 2010.3

    Language:Japanese   Presentation type:Poster presentation  

    Country:Japan  

  34. SATソルバを利用したお絵かきロジックの問題作成支援ツール

    長坂哲、伊藤寛之、酒井正彦、草刈圭一朗、西田直樹、坂部俊樹

    組合せゲーム・パズルミニプロジェクト 第5回ミニ研究集会、東京 

     More details

    Event date: 2010.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

  35. 制約付き等式の定理自動証明器の試作

    西田直樹,中林直生、酒井正彦、草刈圭一朗,坂部俊樹

    日本ソフトウェア科学会 大会 

     More details

    Event date: 2009.9

    Language:Japanese   Presentation type:Poster presentation  

    Country:Japan  

  36. Almost-Non-Overlapping Non-Collapsing Shallow Term Rewriting Systems are Confluent International conference

    Masahiko Sakai

     More details

    Event date: 2009.6

    Language:English   Presentation type:Oral presentation (general)  

  37. Decidability of Termination for CS-TRSs with Right-Linear Right-Shallow DPs International conference

    The 33rd Workshop on Term Rewriting Systems, Tsu 

     More details

    Event date: 2009.2

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  38. Decidability of termination for TRSs with right-shallow DPs International conference

    The 31st Workshop on Term Rewriting Systems, Yamanaka 

     More details

    Event date: 2009.2

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  39. On confluent property of shallow term rewriting systems International conference

    The 30th Workshop on Term Rewriting Systems, Sapporo 

     More details

    Event date: 2008.8

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  40. On Decidability of Innermost Terminafor Shallow Term Rewriting Systems

    1st Mini-Workshop on Rewriting Techniques, Jaist 

     More details

    Event date: 2008.8

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  41. Programming in Malbolge International conference

    The 2nd Austria - Japan Summer Workshop on Term Rewriting, Obergurgl 

     More details

    Event date: 2007.8

    Language:English   Presentation type:Oral presentation (general)  

  42. Straight line programming in Malbolge International conference

    The 28th Workshop on Term Rewriting Systems, Katayamazu 

     More details

    Event date: 2007.2

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  43. On decidability of termination International conference

    The 27th Workshop on Term Rewriting Systems, Katayamazu 

     More details

    Event date: 2006.9

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  44. On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems

    LA symposium 

     More details

    Event date: 2004.7

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  45. On Normalizing Strategies of Left-linear Strong-overlay TRSs International conference

    The 24nd Workshop on Term Rewriting Systems, Matsue 

     More details

    Event date: 2004.4

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  46. 右辺のみに現れる変数を持つ右線形オーバーレイ項書換え系の最左最内ナローイングによる正規形の計算

    西田直樹、酒井正彦、坂部俊樹

    2003年度夏のLAシンポジウム 

     More details

    Event date: 2003.8

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

  47. Decidability of termination for TRSs with right-shallow DPs International conference

    The 31st Workshop on Term Rewriting Systems, Yamanaka 

     More details

    Event date: 2002.2

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

  48. n箇所パターン照合関数のDeforestationに基づく効率化

    中村敏広、酒井正彦、坂部俊樹

    シンポジウム,情報基礎理論ワークショップ 

     More details

    Event date: 2002.2

    Language:Japanese   Presentation type:Oral presentation (general)  

    Country:Japan  

  49. Confluence of Weakly Orthogonal CTRSs with Extra Variables

    LA symposium 

     More details

    Event date: 2000.7

    Language:English   Presentation type:Oral presentation (general)  

    Country:Japan  

▼display all

Research Project for Joint Research, Competitive Funding, etc. 5

  1. Constrained Rewriting and SMT: Emerging Trends in Rewriting

    2012.5 - 2014.3

      More details

    Grant type:Competitive

  2. Austria - Japan Summer Workshop on Term Rewriting

    2010.8

      More details

    Grant type:Competitive

  3. 項書換え理論の関数型言語への応用

    2002.4

    日東学術振興財団第19回助成金 

      More details

    Grant type:Competitive

  4. 関数型言語における計算戦略

    2000.4 - 2002.3

    栢森情報科学振興財団研究助成金 

      More details

    Grant type:Competitive

  5. 定理自動証明のためのAC停止性

    1998 - 1999

    財団法人人工知能研究振興財団 

      More details

    Grant type:Competitive

KAKENHI (Grants-in-Aid for Scientific Research) 8

  1. 形式言語理論に基づく自動採譜 International coauthorship

    Grant number:20H04302  2020.4 - 2025.3

    科学研究費補助金  基盤研究(B)

      More details

    Authorship:Principal investigator  Grant type:Competitive

    Grant amount:\15990000 ( Direct Cost: \12300000 、 Indirect Cost:\3690000 )

  2. データベース上の制約プログラミングのためのSQL言語の拡張とその処理系

    Grant number:17H01721  2017.4 - 2020.3

    科学研究費補助金  基盤研究(B)

      More details

    Authorship:Principal investigator 

    Grant amount:\11050000 ( Direct Cost: \8500000 、 Indirect Cost:\2550000 )

  3. 耐改竄性をもつプログラム言語とそのプログラム開発手法の研究

    2014 - 2017.3

    科学研究費補助金  挑戦的萌芽研究

    酒井 正彦

      More details

    Authorship:Principal investigator 

  4. ソフトウェアプロテクションのための超難読言語Malbolgeの研究

    2010 - 2013.3

    科学研究費補助金  挑戦的萌芽研究,課題番号:22650003

    酒井 正彦

      More details

    Authorship:Principal investigator 

  5. 関数型言語の解析・検証・効率的実行のための書換え系理論の研究

    2006.4 - 2010.3

    科学研究費補助金  基盤研究(C),課題番号:18500011

    酒井 正彦

      More details

    Authorship:Principal investigator 

  6. 関数型言語の解析・検証・効率的実行のための書換え系理論の研究

    2003.4 - 2006.3

    科学研究費補助金  基盤研究(C),課題番号:15500007

    酒井 正彦

      More details

    Authorship:Principal investigator 

  7. 関数型言語における計算戦略

    1999.4 - 2003.3

    科学研究費補助金  基盤研究(C)(2)・11680352

  8. 代数的手法に基づくソフトウェアの検証の基礎的研究

    1995 - 1998

    科学研究費補助金  一般研究(C)(2)・07680350

▼display all

 

Teaching Experience (On-campus) 5

  1. プログラム理論特論

    2001

  2. 情報基礎論第1及び演習

    1999

  3. プログラム理論特論

    1999

  4. 情報基礎論第1及び演習

    1998

  5. 情報基礎論第1及び演習

    1997

Teaching Experience (Off-campus) 14

  1. 計算機科学特論I

    2004.4 - 2005.3 Kochi University)

  2. 計算機科学特論I

    2003.4 - 2004.3 Kochi University)

  3. 計算機科学特論I

    2002.4 - 2003.3 Kochi University)

  4. 計算機科学特論I

    2001.4 - 2002.3 Kochi University)

  5. 計算機科学特論I

    2000.4 - 2001.3 Kochi University)

  6. プログラミングII

    2000.4 - 2001.3 Aichi Prefectural University)

  7. プログラミングI

    2000.4 - 2001.3 Aichi Prefectural University)

  8. プログラミングI

    1999.4 - 2000.3 Aichi Prefectural University)

  9. プログラミングII

    1999.4 - 2000.3 Aichi Prefectural University)

  10. プログラミングI

    1998.4 - 1999.3 Aichi Prefectural University)

  11. 1993.4 - 1994.3 Toyota National College of Technology)

  12. 1992.4 - 1993.3 Toyota National College of Technology)

  13. 1991.4 - 1992.3 Toyota National College of Technology)

  14. 1990.4 - 1991.3 Toyota National College of Technology)

▼display all