講演・口頭発表等 - 酒井 正彦
-
小栗 滉介, 酒井正彦, 橋本健二
組合せゲーム・パズル(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
-
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 国際会議
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) 国際会議
SAKAI Masahiko
the 35th TRS meeting
-
CNFs with Elementary Symmetric Clauses and Their SAT Solving 国際会議
Masahiko Sakai, Yohei Umano and Yoshizane Hino
8th Asian Workshop on Foundation of Software (AWFS 2011)
-
Introduction to Esoteric Language Malbolge 国際会議
Japan-Vietnam Workshop on Software Engineering 2010 (JVSE 2010)
-
例外処理を持つ関数型プログラムの停止性証明法
馬場正貴、酒井正彦、濱口毅、西田直樹、坂部俊樹、草刈圭一朗
第12回プログラミングおよびプログラミング言語ワークショップPPL2010
-
SATソルバを利用したお絵かきロジックの問題作成支援ツール
長坂哲、伊藤寛之、酒井正彦、草刈圭一朗、西田直樹、坂部俊樹
組合せゲーム・パズルミニプロジェクト 第5回ミニ研究集会、東京
-
制約付き等式の定理自動証明器の試作
西田直樹，中林直生、酒井正彦、草刈圭一朗，坂部俊樹
日本ソフトウェア科学会 大会
-
Almost-Non-Overlapping Non-Collapsing Shallow Term Rewriting Systems are Confluent 国際会議
Masahiko Sakai
-
Decidability of Termination for CS-TRSs with Right-Linear Right-Shallow DPs 国際会議
The 33rd Workshop on Term Rewriting Systems, Tsu
-
Decidability of termination for TRSs with right-shallow DPs 国際会議
The 31st Workshop on Term Rewriting Systems, Yamanaka
-
On confluent property of shallow term rewriting systems 国際会議
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 国際会議
The 2nd Austria - Japan Summer Workshop on Term Rewriting, Obergurgl
-
Straight line programming in Malbolge 国際会議
The 28th Workshop on Term Rewriting Systems, Katayamazu
-
On decidability of termination 国際会議
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 国際会議
The 24nd Workshop on Term Rewriting Systems, Matsue
-
右辺のみに現れる変数を持つ右線形オーバーレイ項書換え系の最左最内ナローイングによる正規形の計算
西田直樹、酒井正彦、坂部俊樹
2003年度夏のLAシンポジウム
-
Decidability of termination for TRSs with right-shallow DPs 国際会議
The 31st Workshop on Term Rewriting Systems, Yamanaka
-
n箇所パターン照合関数のDeforestationに基づく効率化
中村敏広、酒井正彦、坂部俊樹
シンポジウム，情報基礎理論ワークショップ
-
Confluence of Weakly Orthogonal CTRSs with Extra Variables
LA symposium