Profile

ひらこばの写真

宮崎大学 工学研究科 工学専攻 機械・情報系コース 修士課程1年 片山(徹)研究室所属

研究でKotlin、ETロボコンでC++を扱っています。学部の頃の研究でPythonを扱っていました。また、Javascriptを勉強中です。
仕様書からテストケースを生成する研究をしていました。
現在は形式手法を用いて記述された仕様書からテストケースを生成する研究を行っています。

History

2011~2014: 鹿児島工業高校 情報技術系
2014~2018: 宮崎大学 工学部 情報システム工学科 - 片山(徹)研究室
2018~20??: 宮崎大学 工学研究科
機械・情報系 修士課程 - 片山(徹)研究室

2014~2015: 宮崎大学国際交流宿舎 会計
2015~2016: 宮崎大学国際交流宿舎 寮長
2014~20??: 宮崎県学生献血推進協議会

Activity

Document

Photo