酒井 正彦
Masahiko Sakai
更新日: 2024/12/18
基本情報
- 所属
- 名古屋大学 大学院情報学研究科 情報システム学専攻 計算論 教授
- 学位
-
博士(工学)(1992年1月 名古屋大学)
- J-GLOBAL ID
- 200901045729688136
- researchmap会員ID
- 1000165682
- 外部リンク
委員歴
11受賞
2-
1992年5月
論文
91-
129Applicable Algebra in Engineering, Communication and Computing 30(349) 349-360 2019年8月 査読有り -
Proceedings of the 7th International Conference on Mathematics and Computation in Music 11502 248-260 2019年6月 査読有り
-
136Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018) 19:1-19:13 2018年9月 査読有り -
Electronic Proceedins in Theoretical Computer Science (EPTCS) 265 82-97 2018年1月 査読有り
-
Electronic Proceedins in Theoretical Computer Science (EPTCS) 265 67-81 2018年1月 査読有り
-
Proceedings of the International Conference on Technologies for Music Notation and Representation 145-153 2017年5月 査読有り
-
Electronic Proceedings in Theoretical Computer Science, EPTCS 235 46-61 2017年1月1日 査読有り
-
Electronic Proceedings in Theoretical Computer Science, EPTCS 235 62-77 2017年1月1日 査読有り
-
Proceedings of the 5th International Workshop on Confluence (IWC 2016) 65-69 2016年9月 査読有り
-
Informal Proceedings of the 3rd International Workshop on Rewriting Techniques f or Program Transformations and Evaluation (WPTE 2016) 61-75 2016年9月 査読有り
-
Informal Proceedings of the 3rd International Workshop on Rewriting Techniques f or Program Transformations and Evaluation (WPTE 2016) 3-14 2016年9月 査読有り
-
Lecture Notes in Computer Science (CADE 2015) 9195 137-151 2015年8月 査読有り
-
IEICE Transaction on Information and Systems E98-D(6) 1121-1127 2015年6月 査読有り
-
Proc. of The Music Encoding Conference 2015 2 pages 2015年5月 査読有り
-
AUTOMATED DEDUCTION - CADE-25 9195 111-126 2015年 査読有り
-
Proceedings of the 3rd International Workshop on Confluence (IWC 2014) 34-38 2014年7月13日 査読有り
-
OASIcs 40 27-38 2014年7月 査読有り
-
Electronic Proceedings in Theoretical Computer Science 134 1-10 2013年10月 査読有り
-
Lecture Notes in Computer Science 7844 137-154 2013年4月 査読有り
-
THEORETICAL COMPUTER SCIENCE 464 72-89 2012年12月 査読有り招待有り
MISC
2-
Informal Proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017) 10 2017年9月8日 査読有り
-
Informal Proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017) 10 2017年9月8日 査読有り
書籍等出版物
1-
オーム社 2000年
講演・口頭発表等
29-
第116回人工知能基本問題研究会 2021年3月22日 人工知能学会
-
情報処理学会第83回全国大会 2020年3月20日 情報処理学会
-
ソフトウェアサイエンス研究会 2021年1月27日 電子情報通信学会
-
the 21st International Society for Music Information Retrieval Conference (ISMIR 2020) 2020年10月
-
the 52nd TRS meeting 2020年2月20日
-
the 51st TRS meeting 2019年9月25日
-
Sixth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2019) 2019年6月24日 招待有り
-
the 49th TRS meeting 2018年9月25日
-
情報処理学会 プログラミング研究会 2018年6月7日
-
the 47th TRS meeting 2017年9月25日
-
IFIP Working Group 1.6: Rewriting 2017年9月9日 IFIP Working Group 1.6 招待有り
-
the 46th TRS meeting 2017年2月27日
-
4th Austria--Japan Summer Workshop on Term Rewriting 2016年9月8日
-
the 44th TRS meeting 2016年2月22日
-
the 42nd TRS meeting 2015年2月7日
-
IPSJ Special Interest Group on Programming 2014年11月10日
-
the 41st TRS meeting 2014年9月26日
-
the 42nd TRS meeting 2014年9月26日
-
IPSJ Special Interest Group on Programming 2014年6月19日
共同研究・競争的資金等の研究課題
8-
日本学術振興会 科学研究費補助金 基盤研究(B) 2020年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 2017年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2014年 - 2017年3月
-
科学研究費助成事業 挑戦的萌芽研究，課題番号：22650003 2010年 - 2013年3月
-
科学研究費助成事業 基盤研究（Ｃ），課題番号：18500011 2006年4月 - 2010年3月
-
科学研究費助成事業 基盤研究（Ｃ），課題番号：15500007 2003年4月 - 2006年3月
-
科学研究費助成事業 基盤研究(C)(2)・11680352 1999年4月 - 2003年3月
-
科学研究費助成事業 一般研究(C)(2)・07680350 1995年 - 1998年