Presentations -
-
小栗 滉介, 酒井正彦, 橋本健二
組合せゲーム・パズル(CGP) プロジェクト, 第18回 研究集会 2024.3
-
Ground Canonical Rewrite Systems Revisited International coauthorship International conference
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 International conference
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 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
-
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 Invited International conference
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 Invited International conference
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 International conference
Masahiko Sakai
4th Austria--Japan Summer Workshop on Term Rewriting
-
CombSQL: an SQL for Specifying Combinatorial Optimization Problems
SAKAI Masahiko
the 44th TRS meeting
-
A heuristic procedure for inverse unfold problem
SAKAI Masahiko
the 42nd TRS meeting
-
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
-
A heuristic procedure for inverse unfold problem
SAKAI Masahiko
the 42nd TRS meeting
-
On Coding for Problems on Bounded-Integers to Efficient Pseudo-Boolean Constraints - Magic Square as an Example -
SAKAI Masahiko
the 41st TRS meeting
-
Esoteric Programming Language Malbolge and Its Low-Level Assembler
Masahiko Sakai, Tatsuki Kato
IPSJ Special Interest Group on Programming
-
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"
-
On constructing ROBDDs of Pseudo-Boolean constraints in band form and 2-clauses coding
SAKAI Masahiko
the 40th TRS meeting
-
On Converting Pseudo-Boolean constraints via BDD International conference
SAKAI Masahiko
the 39th TRS meeting
-
項書換え系におけるSAT技術
酒井正彦
2013年度 人工知能学会全国大会(第27回), オーガナイズドセッション「OS-09 SAT技術の理論，実装，応用」
-
A CSP solver for bounded-integer linear constraints and its non-linear extension
SAKAI Masahiko
the 38th TRS meeting
-
On determinazation of conditional rewrite systems
SAKAI Masahiko
the 37th TRS meeting
-
On Disproving and Postulating for Multi-Context Rewriting Induction
SAKAI Masahiko
the 36th TRS meeting
-
New Encodings of Pseudo-Boolean Constraints into CNF (by Olivier Bailleux, Yacine Boufkhad, and Olivier Roussel) International conference
SAKAI Masahiko
the 35th TRS meeting
-
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)
-
Introduction to Esoteric Language Malbolge International conference
Japan-Vietnam Workshop on Software Engineering 2010 (JVSE 2010)
-
例外処理を持つ関数型プログラムの停止性証明法
馬場正貴、酒井正彦、濱口毅、西田直樹、坂部俊樹、草刈圭一朗
第12回プログラミングおよびプログラミング言語ワークショップPPL2010
-
SATソルバを利用したお絵かきロジックの問題作成支援ツール
長坂哲、伊藤寛之、酒井正彦、草刈圭一朗、西田直樹、坂部俊樹
組合せゲーム・パズルミニプロジェクト 第5回ミニ研究集会、東京
-
制約付き等式の定理自動証明器の試作
西田直樹，中林直生、酒井正彦、草刈圭一朗，坂部俊樹
日本ソフトウェア科学会 大会
-
Almost-Non-Overlapping Non-Collapsing Shallow Term Rewriting Systems are Confluent International conference
Masahiko Sakai
-
Decidability of Termination for CS-TRSs with Right-Linear Right-Shallow DPs International conference
The 33rd Workshop on Term Rewriting Systems, Tsu
-
Decidability of termination for TRSs with right-shallow DPs International conference
The 31st Workshop on Term Rewriting Systems, Yamanaka
-
On confluent property of shallow term rewriting systems International conference
The 30th Workshop on Term Rewriting Systems, Sapporo
-
On Decidability of Innermost Terminafor Shallow Term Rewriting Systems
1st Mini-Workshop on Rewriting Techniques, Jaist
-
Programming in Malbolge International conference
The 2nd Austria - Japan Summer Workshop on Term Rewriting, Obergurgl
-
Straight line programming in Malbolge International conference
The 28th Workshop on Term Rewriting Systems, Katayamazu
-
On decidability of termination International conference
The 27th Workshop on Term Rewriting Systems, Katayamazu
-
On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems
LA symposium
-
On Normalizing Strategies of Left-linear Strong-overlay TRSs International conference
The 24nd Workshop on Term Rewriting Systems, Matsue
-
右辺のみに現れる変数を持つ右線形オーバーレイ項書換え系の最左最内ナローイングによる正規形の計算
西田直樹、酒井正彦、坂部俊樹
2003年度夏のLAシンポジウム
-
Decidability of termination for TRSs with right-shallow DPs International conference
The 31st Workshop on Term Rewriting Systems, Yamanaka
-
n箇所パターン照合関数のDeforestationに基づく効率化
中村敏広、酒井正彦、坂部俊樹
シンポジウム，情報基礎理論ワークショップ
-
Confluence of Weakly Orthogonal CTRSs with Extra Variables
LA symposium