Skills
中級
OCaml
中級
GitHub
初級
C++
初級
TypeScript
初級
Android
初級
React.js
初級
Kotlin
初級
Elm
Experience
2012
- 2018
阿南高専制御情報工学科
部活動でプログラミング同好会に所属し高専プロコンに自由、競技部門で出場した。
他に吹奏楽部（バストロンボーン・チューバ担当、3年次部長）と留学生のサポートをする英会話クラブに所属。
2016
- 2017
ドイツ留学
休学しドイツ留学。ロボカップのチームに参加し、ロボットの行動を制御を勉強しシミュレーションを作った。
ドイツ語を勉強し、A2（英検の準2級相当）を取得して現地の学生と交流を楽しんだ。
2018
- 2020
Space Time Engineering
株式会社スペースタイムエンジニアリングでソフトウェアエンジニアとしてインターンを行った。
災害時の救護活動を支援するシステムのスマートフォンアプリを作成した。
2018
- 2020
筑波大学情報学群情報科学類 三年次編
主専攻はソフトウェアサイエンス主専攻。
在学中は、インターンシップや競技プログラミング、卒業研究に従事
2019
- 2020
卒業研究
プログラム論理研究室に所属。プログラム合成を研究。
情報科学類心青会賞受賞。
また、SMTソルバーを作るプロジェクトで、ソルバーの性能を競う国際的な競技会に出場した。
""この先やってみたいこと""
教育、農林水産業、金融、医療などのITとは異なるドメインの知識を持って〇〇techの分野で活躍したいです（具体的な分野は検討中）。ある分野で突き詰めて得た知識や経験は、たとえ他分野に進んでも役に立つと考えていて、若いうちは特にITとその分野の専門性を高めることに集中したいと思っています。
30歳を目処に、その分野で突き詰めていくか、転職や独立をするか考えています。また、その際に大学院に進学することを視野に入れています。
スキルの面では、フロントの経験を生かしていきたいです。また、TypeScriptやElmのように静的型付けがしっかりできる言語を積極的に利用ができると嬉しいです。
また、競技プログラミングや研究ではアルゴリズムを考えて実装することに魅力を感じたので、アルゴリズムを考えるような仕事にも興味があります！