Profile

ひらこばの写真

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

最近はKotlinとJavascriptにハマっています。過去は、研究でPython、ETロボコンでC++を扱っていました。
仕様書からテストケースを生成する研究をしていました。
現在は形式手法を用いて記述された仕様書からテストケースを生成する研究を行っています。

History

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

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

Activity

2017/07 宮大支援課お知らせBOT【非公式】 ←作りました
2017/07 ETロボコン2017 ←出場しました。来年はもっとがんばります。
2017/10 専門教育入門セミナーT 2017 in 片山(徹)研 ←1年生にレースさせました。
2017/12 ETロボコンのビルド環境Docker Image←作りました。

Document

Photo