上地 悠斗

Yuto Uechi / OBmentor

▼所属/経歴

・ 琉球大学 知能情報コース

▼専門/研究 ・agdaを用いて、研究室で開発している言語を検証・証明

▼その他（活動、趣味、関心事）

始めたばかりであまり解けないですが、競技プログラミングをしています。

▼メッセージ

バイトで機械学習を少しやっていたのと、去年のプログラムでコンテナ技術(k8s)を使用していたので、その部分でお手伝いができると思います！