早稲田大学 / 基幹理工学部 情報理工学科
Discover companies you will love
株式会社Elastic Infra / SRE・インフラエンジニア
株式会社Elastic Infraにて、SRE・インフラエンジニアとして働いております。
大学ではコンピュータサイエンスを専攻しておりました。 3年次には「プロジェクト研究」を選択し、通常より1年早く研究活動に取り組み始めました。 研究テーマは「Rank2多相再帰の型推論手法」です。Rank2多相再帰的な構造を持つ項に対して、型に関する情報が一切与えられていな
View Kaito Kimura's
Full Profile
This information is visible only to Wantedly users or the user’s connections
View past posts
View mutual connections
View Kaito Kimura's full profile
早稲田大学 / 基幹理工学部 情報理工学科