研究者
J-GLOBAL ID:200901045729688136   更新日: 2020年05月04日

酒井 正彦

Sakai Masahiko
所属機関・部署:
職名: 教授
ホームページURL (1件): http://www.trs.css.i.nagoya-u.ac.jp/~sakai
研究キーワード (5件): プログラム変換 ,  停止性 ,  計算戦略 ,  項書換え系 ,  プログラム意味論
競争的資金等の研究課題 (7件):
  • 2017 - 2020 データベース上の制約プログラミングのためのSQL言語の拡張とその処理系
  • 2014 - 2017 耐改竄性をもつプログラム言語とそのプログラム開発手法の研究
  • 2010 - 2013 ソフトウェアプロテクションのための超難読言語Malbolgeの研究
  • 2006 - 2010 関数型言語の解析・検証・効率的実行のための書換え系理論の研究
  • 2003 - 2006 関数型言語の解析・検証・効率的実行のための書換え系理論の研究
全件表示
論文 (91件):
  • 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
もっと見る
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件):
  • プログラムの設計
    オーム社 2000
講演・口頭発表等 (22件):
  • SQL for combinatorial optimization problems and SMT-based solving by SQL transformation
    (Sixth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2019) 2019)
  • An extended SQL for combinatorial optimization problems and transformation into constraint problems
    (the 49th TRS meeting 2018)
  • Transformation of combinatorial optimization problems written in extended SQL into constraint problems
    (情報処理学会 プログラミング研究会 2018)
  • On Confluence of Innermost Terminating Term Rewriting Systems
    (the 47th TRS meeting 2017)
  • On Confluence of Innermost Terminating Term Rewriting Systems
    (IFIP Working Group 1.6: Rewriting 2017)
もっと見る
学位 (1件):
  • 博士(工学) (名古屋大学)
受賞 (2件):
  • 2011/05/28 - 電子情報通信学会 第67回 平成22年度 電子情報通信学会論文賞
  • 1992/05/23 - 電子情報通信学会 第48回 平成3年度 電子情報通信学会論文賞
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る