渡瀬 泰成
ワタセ ヤスシゲ (yasushige WATAE)
更新日: 02/01
基本情報
研究分野
1経歴
6-
2022年9月 - 現在
-
2021年4月 - 現在
-
2017年 - 2019年3月
-
2012年 - 2017年
-
2000年 - 2012年
-
1988年 - 2000年
学歴
3-
2006年10月 - 2010年9月
-
2005年4月 - 2006年9月
-
1984年4月 - 1988年3月
委員歴
1論文
15-
Formaliz. Math. 31(1) 143-150 2023年9月1日 査読有り
-
Formaliz. Math. 31(1) 67-73 2023年9月1日 査読有り
-
Formaliz. Math. 31(1) 1-8 2023年9月 査読有り
-
Formalized Mathematics 30(3) 211-221 2022年 査読有り
-
Formaliz. Math. 29(2) 95-101 2021年 査読有り
-
Formaliz. Math. 29(1) 1-8 2021年 査読有り
-
FORMALIZED MATHEMATICS 28(1) 79-87 2020年4月 査読有り
-
FORMALIZED MATHEMATICS 26(4) 277-283 2018年12月 査読有り
-
FORMALIZED MATHEMATICS 25(4) 283-288 2017年12月 査読有り
-
FORMALIZED MATHEMATICS 24(4) 291-299 2016年12月 査読有り
-
FORMALIZED MATHEMATICS 23(2) 101-106 2015年6月 査読有り
-
Formaliz. Math. 22(2) 105-110 2014年 査読有り
-
Formaliz. Math. 20(4) 349-357 2012年 査読有り
-
Formaliz. Math. 18(1-4) 159-169 2010年 査読有り筆頭著者
-
Formaliz. Math. 16(1-4) 361-369 2008年 査読有り筆頭著者
MISC
6-
Mechanized Mathematics and Its Applications, Works in Progress 5(3) 1-8 2023年5月 査読有り
-
Mechanized Mathematics and Its Applications, Works in Progress ISSN 2434-5458 (Online) 4(3) 1-14 2022年5月 査読有り
-
Mechanized Mathematics and Its Applications, Works in Progress ISSN 2434-5458 (Online) 3(3) 1-13 2021年3月 査読有り
-
2(2) 1-15 2020年2月 査読有り
-
Mechanized Mathematics and Its Applications, Works in Progress ISSN 2434-5458 (Online) 1(3) 1-12 2019年10月 査読有り
-
Mechanized Mathematics and Its Application Volume 8 Number 1 March 2010 8(1) 17-22 2010年3月 査読有り
講演・口頭発表等
17-
The 17th Theorem Proving and Provers meeting (TPP 2021) 2021年11月21日
-
第9回 国際ICT利用研究学会 研究会 2021年3月21日
-
Mizar研究会による発表会(TSGA 2020) 2020年12月27日 2020年12月27日
-
The 16th Theorem Proving and Provers meeting (TPP 2020) 2020年11月16日
-
Mizar研究会による発表会(TSGA 2019) 2019年12月27日 2019年12月27日
-
ポーランド共和国ビアウィストク大学情報科学研究所・ポーランド情報処理協会 招待講演 2019年10月22日 招待有り
-
Mizar研究会による発表会(TSGA 2018) 2019年12月27日 2018年12月27日
-
Mizar研究会による発表会(TSGA 2017) 2017年12月26日 2017年12月26日
-
Mizar研究会による発表会(TSGA 2016) 2017年3月3日 2016年3月3日
-
Mizar研究会による発表会(TSGA 2015) 2016年2月22日 2016年
-
Mizar研究会による発表会(TSGA 2014) 2015年1月30日 2015年1月30日
-
Mizar研究会による発表会(TSGA 2012) 2012年10月28日 2012年10月28日
-
2011 JOINT MATHEMATICS Meeting. AMS Special Session on Formal Mathematics for Mathematicians 2011年1月9日
-
Mizar研究会による発表会(TSGA 2009) 2009年6月19日 2009年6月19日
-
Mizar研究会による発表会(TSGA 2009) 2008年11月15日 2008年11月15日
-
Mizar研究会による発表会(TSGA 2008) 2009年6月23日 2008年6月23日
-
Mizar研究会による発表会(TSGA 2006) 2006年9月22日 2006年9月22日