酒井正彦

Sakai Masahiko

所属機関・部署：
職名：教授
ホームページURL (1件)： http://www.trs.css.i.nagoya-u.ac.jp/~sakai

研究分野 (3件)：情報学基礎論 , ソフトウェア , 知能情報学

研究キーワード (7件)：音楽情報処理 , 組合せ最適化 , プログラム変換 , 停止性 , 計算戦略 , 項書換え系 , プログラム意味論

競争的資金等の研究課題 (8件)：

全件表示

論文 (92件)：

MISC (2件)：

Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, Tomoya Ueyama. Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers. Informal Proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017). 2017. 10
Yutaro Nagae, Masahiko Sakai. Reduced dependency spaces for existential parameterised Boolean equation system. Informal Proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017). 2017. 10

書籍 (1件)：

講演・口頭発表等 (29件)：

命題論理式の全ての投射モデルを表現するBDDの構成法
(第116回人工知能基本問題研究会 2021)
計数セマフォを含むプログラムから論理制約付き項書換え系への変換
(情報処理学会第83回全国大会 2020)
擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化
(ソフトウェアサイエンス研究会 2021)
ASAP: a dataset of aligned scores and performances for piano transcription
(the 21st International Society for Music Information Retrieval Conference (ISMIR 2020) 2020)
Transformation of SQL-based Combinatorial Optimization Problems into Constraint Problems
(2020)

学位 (1件)：

委員歴 (11件)：

2021/03 - 2022/11 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022) Program Committee Member
2020/01 - 2020/11 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) Program Committee Member
2017/01 - 2017/07 4th International workshop on rewriting techniques for program transformations and evaluation (WPTE 2017) Program committee member
2015/12 - 2016/07 8th International Joint Conference on Automated Reasoning (IJCAR 2016) Program Committee Member
2015/01 - 2015/07 2nd International workshop on rewriting techniques for program transformations and evaluation (WPTE 2015) Program committee member

全件表示

受賞 (2件)：

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

酒井 正彦