2025.5- | Operations Manager, AWS Support Engineering, Amazon Web Services |
2023.10-2025.4 | Cloud Support Engineer II, AWS Support Engineering, Amazon Web Services |
2019.6-2023.9 | Cloud Support Engineer, AWS Support Engineering, Amazon Web Services |
2016.4-2019.5 | Cloud Support Associate, AWS Support Engineering, Amazon Web Services |
2014.4-2016.3 | 特別研究員(DC2), 日本学術振興会 |
2013.6-2014.2 | リサーチ・アシスタント, 静岡大学創造科学技術大学院 |
2013.4-2016.3 | 静岡大学大学院自然科学系教育部 博士(情報学) |
2011.4-2013.3 | 静岡大学大学院情報学研究科情報学専攻 |
2007.4-2011.3 | 静岡大学情報学部情報科学科CSプログラム |
年月 | 内容 | 概要 |
2023.5 | AWS Lambda Subject Matter Expert |
Credly |
2013.10 | 授業料免除特例に基づく授業料免除 |
静岡大学創造科学技術大学院において,過去1年間の成績・業績の優秀な学生(1年生については、入試成績と入学時点までの研究業績)に対し、半期ごとに各学年5名を上限として授業料を免除する制度「授業料免除特例」に基づき,博士後期課程後期の学費を免除された. |
2013.5 | 授業料免除特例に基づく授業料免除 |
静岡大学創造科学技術大学院において,過去1年間の成績・業績の優秀な学生(1年生については、入試成績と入学時点までの研究業績)に対し、半期ごとに各学年5名を上限として授業料を免除する制度「授業料免除特例」に基づき,博士後期課程前期の学費を免除された. |
2012.8 | 「静岡大学学士課程及び大学院修士課程等の成績優秀者に対する授業料免除に関する要項」に基づく授業料免除 |
静岡大学の「人文社会科学研究科、教育学研究科(共同教科開発学専攻を除く。)、情報学研究科、理学研究科、工学研究科及び農学研究科」のそれぞれの最上位学年の学生のうち「前年度までの成績が優秀であり、かつ、優秀な人物と認められる者として、研究科長から推薦があった者」の中から1人(「特に必要と認める場合には、特定の者若干名」)の対象者を決める選考を通過し,「当該年度授業料の全額」を免除された. |
2012.5 | The 11th IEEE/ACIS International Conference on Computer and Information ScienceにおいてThe best 15 papersに選定 |
The 11th IEEE/ACIS International Conference on Computer and Information Scienceにおいて発表された141件の論文のうち15件の優秀論文に,渡部,宮崎が発表した"Visualization of Logical Structure in Mathematical Proofs for Learners"が選定された.選定された15件の論文は,"Computer and Information Science 2012 (Springer)"に収録されている. |