佐藤 洋祐
サトウ ヨウスケ (Yosuke Sato)
更新日: 2022/09/27
基本情報
- 学位
-
Ph.D(ニューヨーク州立大学バッファロー校)
- 連絡先
- ysators.kagu.tus.ac.jp
- J-GLOBAL ID
- 200901056692242576
- researchmap会員ID
- 1000171053
研究キーワード
1経歴
3-
1998年 - 2003年
-
1993年 - 1998年
-
1987年 - 1993年
学歴
4-
- 1986年
-
- 1983年
-
- 1983年
-
- 1979年
委員歴
29-
2004年4月 - 2037年12月
-
2018年4月 - 2021年3月
-
2018年4月 - 2021年3月
-
2018年6月 - 2018年6月
-
2018年6月 - 2018年6月
-
2017年7月 - 2017年7月
-
2017年7月 - 2017年7月
-
2013年11月 - 2016年11月
-
2013年11月 - 2016年11月
-
2013年12月 - 2014年8月
-
2013年8月 - 2014年8月
-
2013年8月 - 2014年8月
-
2012年1月 - 2012年12月
-
2012年1月 - 2012年12月
-
2009年11月 - 2012年11月
-
2009年11月 - 2012年11月
-
2009年4月 - 2011年3月
-
2009年4月 - 2011年3月
論文
46-
Proceedings of MACIS2018(8th International Conference on Mathematical Aspects of Computer and Information Sciences), LNCS 11989 10-15 2020年3月 査読有り
-
Proceedings of the 23rd Asian Technology Conference in Mathematics(ATCM 2018) 176-185 2018年11月 査読有り
-
Mathematics in Computer Science 2018年10月 査読有り
-
Proceedings of International Symposium on Symbolic and Algebraic Computation(ISSAC 2018) 359-365 2018年7月 査読有り
-
Proceedings of the 22nd Asian Technology Conference in Mathematics(ATCM 2017) 198-207 2017年12月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10693 258-263 2017年 査読有り
-
Proceedings of the 21st Asian Technology Conference in Mathematics(ATCM 2016) 269-278 2016年12月 査読有り
-
Proceedings of the 21st Asian Technology Conference in Mathematics(ATCM 2016) 190-199 2016年12月 査読有り
-
ACM Communications in Computer Algebra 50(3) 101-104 2016年9月1日 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9582 231-235 2016年 査読有り
-
MATHEMATICAL SOFTWARE, ICMS 2016 9725 165-172 2016年 査読有り
-
Proceedings of the 20th Asian Technology Conference in Mathematics(ATCM 2015) 316-325 2015年12月 査読有り
-
Proceedings of the 20th Asian Technology Conference in Mathematics(ATCM 2015) 326-335 2015年12月 査読有り
-
Mathematics in Computer Science 9(3) 267-281 2015年10月1日 査読有り
-
Proceedings of International Symposium on Symbolic and Algebraic Computation(ISSAC 2015) 2015- 173-180 2015年6月24日 査読有り
-
Artificial Intelligence and Symbolic Computation, Proceedings of 12th International Conference,AISC2014, Lecture Notes in Artificial Intelligence, Springer (LNAI 8884) 88-98 2014年12月 査読有り
-
Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences(MACIS 2013) 21-24 2013年12月 査読有り
-
JOURNAL OF SYMBOLIC COMPUTATION 46(5) 622-632 2011年5月 査読有り
-
ACM Communications in Computer Algebra Volume 43(Number 3-4) 83-84 2009年9月 査読有り
-
ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION 311-315 2009年 査読有り
MISC
37-
数式処理 25(1) 87-89 2019年1月
-
23rd Conference on Applications of Computer Algebra, Book of Abstracts 224-225 2017年7月
-
数式処理 23(2) 116-119 2017年5月
-
数式処理 23(2) 120-123 2017年5月
-
京都大学数理解析研究所講究録 (2019) 113-123 2017年4月
-
京都大学数理解析研究所講究録 (2019) 124-130 2017年4月
-
数式処理 22(2) 31-34 2016年5月
-
京都大学数理解析研究所講究録 (1976) 52-61 2015年12月
-
数式処理 21(2) 21-24 2015年8月
-
京都大学数理解析研究所講究録 (1955) 124-133 2015年7月
-
京都大学数理解析研究所講究録 (1955) 134-141 2015年7月
-
京都大学数理解析研究所講究録 (1955) 142-145 2015年7月
-
京都大学数理解析研究所講究録 (1907) 132-141 2014年7月
-
数式処理 20(2) 58-61 2014年6月
-
数式処理研究と産学連携の新たな展開 , COE Lecture Note Vol.49 Kyushu University (49) 27-32 2013年8月
-
京都大学数理解析研究所講究録 (1843) 28-37 2013年7月
-
京都大学数理解析研究所講究録 (1785) 51-56 2012年3月
-
数式処理 17(2) 9-11 2011年3月
-
数式処理 16(2) 100-102 2009年12月
-
京都大学数理解析研究所講究録 (1666) 6-8 2009年10月
書籍等出版物
2-
数学書房 2006年8月
講演・口頭発表等
57-
The 8th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2019) 2019年11月13日
-
日本数式処理学会2019年度理論分科会&システム分科会合同研究会 2019年10月19日
-
日本数式処理学会2019年度理論分科会&システム分科会合同研究会 2019年6月1日
-
The 23rd Asian Technology Conference in Mathematics(ATCM 2018) 2018年11月21日
-
International Workshop on Mathematical Softwares in Educations and Researches 2018年10月7日
-
平成30年度京都大学数理解析研究所共同研究(公開型) 「数学ソフトウェアとその効果的教育利用に関する研究」 2018年8月28日
-
International Symposium on Symbolic and Algebraic Computation(ISSAC 2018) 2018年7月17日
-
Conference on Applications of Computer Algebra 2018 2018年6月21日
-
第27回日本数式処理学会大会 2018年6月10日
-
第5回金沢数理データサイエンス研究会 2018年3月23日
-
The 22nd Asian Technology Conference in Mathematics(ATCM 2018) 2017年12月18日
-
Seventh International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2017) 2017年11月15日
-
東京理科大学数学教育研究会 月例会 2017年10月7日
-
日本数学会2017年度秋季総合分科会 数学基礎論および歴史 特別講演 2017年9月14日
-
平成29年度京都大学数理解析研究所共同研究(公開型) 「数学ソフトウェアとその効果的教育利用に関する研究」 2017年8月31日
-
The 21st Asian Technology Conference in Mathematics(ATCM 2016) 2016年12月15日
-
The 21st Asian Technology Conference in Mathematics(ATCM 2016) 2016年12月15日
-
平成28年度RIMS 研究集会「数式処理とその周辺分野の研究」 2016年12月8日
-
RIMS研究集会 数学基礎論とその応用 2016年9月29日
-
平成28年度RIMS共同研究「数式処理の新たな発展」 2016年9月9日