論文 - 酒井 正彦
-
拍対応情報の利用による楽譜と実演奏の音符対応情報の自動生成法
佐藤 宏志, 酒井 正彦
情報処理学会技術報告 SIGMUS 142 巻 2025年3月
-
Solving Rep-Tile by Computers: Performance of Solvers and Analyses of Solutions 招待有り
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 頁： 187 - 208 2025年3月
-
Tokenization of MIDI Sequences for Transcription 査読有り 国際共著
Florent Jacquemard, Masahiko Sakai, Yosuke Amagasu
Proceedings of the International Conference on Technologies for Music Notation and Representation (TENOR 2024) 頁： 98 - 108 2024年4月
-
演奏MIDIのリズム量子化のためのトークン化の提案
天春 陽介, 酒井 正彦
情報処理学会技術報告 SIGMUS 2024年3月
-
Automatic Phrasing System for Expressive Performance Based on The Generative Theory of Tonal Music 査読有り
Madoka Goto, Masahiko Sakai, Satoshi Tojo
The 16th International Symposium on Computer Music Multidisciplinary Research 頁： 536 - 546 2023年9月
-
8+8=4: Formalizing Time Units to Handle Symbolic Music Durations 査読有り 国際共著
Emmanouil Karystinaios, Francesco Foscarin, Florent Jacquemard, Masahiko Sakai, Satoshi Tojo and Gerhard Widmer
The 16th International Symposium on Computer Music Multidisciplinary Research 頁： 536 - 546 2023年9月
-
Ground Canonical Rewrite Systems Revisited 査読有り 国際共著
Aart Middeldorp, Masahiko Sakai, Sarah Winkler
12th International Workshop on Confluence 頁： 44 - 48 2023年8月
-
SQL 型制約プログラミングシステム CombSQL+ の複数制約ソルバー連携
小菅 脩司、酒井 正彦、番原 睦則
人工知能学会研究会資料 125 巻 頁： 54 - 59 2023年8月
-
レプ・タイルの定式化を用いた各種ソルバの性能比較
番原 睦則, 橋本 健二, 堀山 貴史, 湊 真一, 中村 駆, 西野 正彬, 酒井 正彦, 上原 隆平, 宇野 裕之, 安田 宜仁
人工知能学会研究会資料 人工知能基本問題研究会 119 巻 ( 0 ) 頁： 02 - 07 2022年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年10月
-
SQL 型ソルバ CombSQL+による車両割当て問題の記述
井上 和哉, 岸 潤一郎, 酒井 正彦
人工知能学会全国大会論文集 JSAI2021 巻 ( 0 ) 頁： 2E4OS13c01 - 2E4OS13c01 2021年6月
-
Transformation of SQL-based Combinatorial Optimization Problems into Constraint Problems
Genki Sakanashi, Masahiko Sakai
SIG-FPAI-112 112 巻 ( 4 ) 頁： 6pages 2020年3月
-
Conditions for Confluence of Innermost Terminating Term Rewriting Systems 査読有り
Sayaka Ishizuki, Masahiko Sakai, and Michio Oyamaguchi
Applicable Algebra in Engineering, Communication and Computing 30 巻 ( 4 ) 頁： 349-360 2019年8月
-
A Parse-based Framework for Coupled Rhythm Quantization and Score Structuring 査読有り
Francesco Foscarin, Florent Jacquemard, Philippe Rigaux, and Masahido Sakai
Lecture Notes in Artificial Intelligence 11502 巻 頁： 248-260 2019年6月
-
Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems 査読有り
Genki Sakanashi and Masahiko Sakai
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018) 頁： 19:1-19:13 2018年9月
-
Reduced dependency spaces for existential parameterised Boolean equation system 査読有り
Yutaro Nagae, Masahiko Sakai
Electronic Proceedins in Theoretical Computer Science (EPTCS) 265 巻 頁： 67-81 2018年1月
-
Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers 査読有り
Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, and Tomoya Ueyama
Electronic Proceedins in Theoretical Computer Science (EPTCS) 265 巻 頁： 82-97 2018年1月
-
Generating Equivalent Rhythmic Notations Based on Rhythm Tree Languages 査読有り
Florent Jacquemard, Adrien Ycart, and Masahiko Sakai
Proceedings of the International Conference on Technologies for Music Notation and Representation 頁： 145-153 2017年5月
-
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems 査読有り
Ryota Nakayama, Naoki Nishida and Masahiko Sakai
Electronic Proceedins in Theoretical Computer Science 235 巻 頁： 62-77 2017年1月
-
An extension of proof graphs for disjunctive parameterised Boolean equation systems 査読有り
Yutaro Nagae, and Masahiko Sakai and Hiroyuki Seki
Electronic Proceedins in Theoretical Computer Science 235 巻 頁： 46-61 2017年1月