Papers - SAKAI, Masahiko

拍対応情報の利用による楽譜と実演奏の音符対応情報の自動生成法

佐藤 宏志, 酒井 正彦

情報処理学会技術報告　SIGMUS   Vol. 142   2025.3

　More details

Authorship：Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

Solving Rep-Tile by Computers: Performance of Solvers and Analyses of Solutions Invited

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

Algorithmic Foundations for Social Advancement     page： 187 - 208   2025.3

　More details

Language：English   Publishing type：Part of collection (book)  

DOI： 10.1007/978-981-96-0668-9_13

Tokenization of MIDI Sequences for Transcription Reviewed International coauthorship

Florent Jacquemard, Masahiko Sakai, Yosuke Amagasu

Proceedings of the International Conference on Technologies for Music Notation and Representation (TENOR 2024)     page： 98 - 108   2024.4

　More details

Authorship：Corresponding author   Language：English  

DOI： 10.5281/zenodo.13144433

演奏MIDIのリズム量子化のためのトークン化の提案

天春 陽介, 酒井 正彦

情報処理学会技術報告　SIGMUS     2024.3

　More details

Authorship：Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

8+8=4: Formalizing Time Units to Handle Symbolic Music Durations Reviewed International coauthorship

Emmanouil Karystinaios, Francesco Foscarin, Florent Jacquemard, Masahiko Sakai, Satoshi Tojo and Gerhard Widmer

The 16th International Symposium on Computer Music Multidisciplinary Research     page： 536 - 546   2023.9

　More details

Authorship：Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

DOI： 10.5281/zenodo.10112505

Automatic Phrasing System for Expressive Performance Based on The Generative Theory of Tonal Music Reviewed

Madoka Goto, Masahiko Sakai, Satoshi Tojo

The 16th International Symposium on Computer Music Multidisciplinary Research     page： 536 - 546   2023.9

　More details

Authorship：Last author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

DOI： 10.5281/zenodo.10113493

Ground Canonical Rewrite Systems Revisited Reviewed International coauthorship

Aart Middeldorp, Masahiko Sakai, Sarah Winkler

12th International Workshop on Confluence     page： 44 - 48   2023.8

　More details

Authorship：Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

SQL 型制約プログラミングシステム CombSQL+ の複数制約ソルバー連携

小菅 脩司、酒井 正彦、番原 睦則

人工知能学会研究会資料   Vol. 125   page： 54 - 59   2023.8

　More details

Authorship：Corresponding author   Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

DOI： 10.11517/jsaifpai.125.0_54

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

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

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

　More details

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

DOI： 10.11517/jsaifpai.119.0_02

CiNii Research

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.10

　More details

Authorship：Corresponding author   Language：English  

DOI： 10.48550/arXiv.2110.05184

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

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  

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

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

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

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

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

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  

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

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