Sakai Masahiko

Affiliation and department：
Job title： Professor
Homepage URL (1)： http://www.trs.css.i.nagoya-u.ac.jp/~sakai

Research field (3)： Information theory , Software , Intelligent informatics

Research keywords (7)：音楽情報処理 , Combinatorial optimization , Program transformation , Termination , Computation strategy , Term rewriting system , Semantics of programs

Research theme for competitive and other funds (8)：

2020 - 2025 Automatic transcription based on formal language theory
2017 - 2020 データベース上の制約プログラミングのためのSQL言語の拡張とその処理系
2014 - 2017 耐改竄性をもつプログラム言語とそのプログラム開発手法の研究
2010 - 2013 ソフトウェアプロテクションのための超難読言語Malbolgeの研究
2006 - 2010 関数型言語の解析・検証・効率的実行のための書換え系理論の研究

Show all

Papers (92)：

Sayaka Ishizuki, Masahiko Sakai, Michio Oyamaguchi. Conditions for Confluence of Innermost Terminating Term Rewriting Systems. Applicable Algebra in Engineering, Communication and Computing. 2019. 30. 349. 349-360
Francesco Foscarin, Florent Jacquemard, Philippe Rigaux, Masahido Sakai. A Parse-based Framework for Coupled Rhythm Quantization and Score Structuring. Proceedings of the 7th International Conference on Mathematics and Computation in Music. 2019. 11502. 248-260
Genki Sakanashi, Masahiko Sakai. Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems. Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018). 2018. 19:1-19:13
Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, Tomoya Ueyama. Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers. Electronic Proceedins in Theoretical Computer Science (EPTCS). 2018. 265. 82-97
Yutaro Nagae, Masahiko Sakai. Reduced dependency spaces for existential parameterised Boolean equation system. Electronic Proceedins in Theoretical Computer Science (EPTCS). 2018. 265. 67-81

ｍore...

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

Books (1)：

プログラムの設計
オーム社 2000

Lectures and oral presentations (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)

ｍore...

Professional career (1)：

博士(工学) (名古屋大学)

Committee career (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

Show all

Awards (2)：

2011/05/28 - IEICE Best Paper Award of IEICE
1992/05/23 - Best Paper Award of IEICE

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page