400万人が利用するビジネスSNS
株式会社Elastic Infra / SRE・インフラエンジニア
株式会社Elastic Infraにて、SRE・インフラエンジニアとして働いております。
大学ではコンピュータサイエンスを専攻しておりました。 3年次には「プロジェクト研究」を選択し、通常より1年早く研究活動に取り組み始めました。 研究テーマは「Rank2多相再帰の型推論手法」です。Rank2多相再帰的な構造を持つ項に対して、型に関する情報が一切与えられていな
木村 海斗さん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
木村 海斗さんのプロフィールをすべて見る