講演・口頭発表等 - 酒井 正彦
-
小栗 滉介, 酒井正彦, 橋本健二
組合せゲーム・パズル(CGP) プロジェクト, 第18回 研究集会 2024年3月
-
Ground Canonical Rewrite Systems Revisited 国際共著 国際会議
Aart Middeldorp, Masahiko Sakai, and Sarah Winkler
12th International Workshop on Confluence (IWC 2023) 2023年8月24日
-
Takeshi Hamaguchi, Masahiko Sakai
Technical report of IEICE, SS group 2023年1月11日
-
自動演奏への表情付けのための生成音楽理論に基づくフレーズ情報の生成法
後藤 円香, 酒井 正彦, 東条 敏
第135回音楽情報科学研究発表会 2022年9月15日 情報処理学会
-
番原睦則, 橋本健二, 堀山貴史, 湊真一, 中村駆, 西野正彬, 酒井正彦, 上原隆平, 宇野裕之, 安田宜仁
組合せゲーム・パズル(CGP) プロジェクト, 第16回 研究集会
-
Equivalence of Context-Free and Regular Languages on Commutative Strings 国際会議
Masahiko Sakai
the 56th TRS meeting 2022年2月24日
-
命題論理式の全ての投射モデルを表現するBDDの構成法
磯貝孝明, 橋本健二, 酒井正彦
第116回人工知能基本問題研究会 2021年3月22日 人工知能学会
-
計数セマフォを含むプログラムから論理制約付き項書換え系への変換
小嶋美咲, 西田直樹, 酒井正彦
情報処理学会第83回全国大会 2020年3月20日 情報処理学会
-
擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化
岸潤一郎, 酒井正彦, 西田直樹, 橋本健二
ソフトウェアサイエンス研究会 2021年1月27日 電子情報通信学会
-
ASAP: a dataset of aligned scores and performances for piano transcription 国際共著 国際会議
Francesco Foscarin, Andrew McLeod, Philippe Rigaux, Florent Jacquemard, Masahiko Sakai
the 21st International Society for Music Information Retrieval Conference (ISMIR 2020) 2020年10月
-
Transformation of SQL-based Combinatorial Optimization Problems into Constraint Problems
2020年9月30日 人工知能学会
-
On Decision Diagrams
Masahiko Sakai
the 52nd TRS meeting
-
Rhythm quantization as an efficiently-solvable optimization problem
Masahiko Sakai
the 51st TRS meeting
-
SQL for combinatorial optimization problems and SMT-based solving by SQL transformation 招待有り 国際会議
Masahiko Sakai
Sixth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2019)
-
An extended SQL for combinatorial optimization problems and transformation into constraint problems
Masahiko Sakai
the 49th TRS meeting
-
Transformation of combinatorial optimization problems written in extended SQL into constraint problems
Genki Sakanashi, Masahiko Sakai
IPSJ-SIGPRO
-
On Confluence of Innermost Terminating Term Rewriting Systems
Masahiko Sakai
the 47th TRS meeting
-
On Confluence of Innermost Terminating Term Rewriting Systems 招待有り 国際会議
Masahiko Sakai
IFIP Working Group 1.6: Rewriting
-
Solving QFLIA by combining unit cube test and Smith normal form
Masahiko Sakai
the 46th TRS meeting
-
Programming in the Esoteric Language Malbolge for Obfuscation 国際会議
Masahiko Sakai
4th Austria--Japan Summer Workshop on Term Rewriting