AtCoder
競技プログラミングは、アルゴリズムやデータ構造の理解度や限られた時間の中で最適な実装を競い合うものです。私は国内最大級の競技プログラミングサイト「AtCoder」にて緑色の実力を有しており、これは上位16%ほどの成績と言えます。 (https://info.atcoder.jp/utilize/jobs/rating-business-impact)
400万人が利用するビジネスSNS
株式会社Elastic Infra / SRE・インフラエンジニア
株式会社Elastic Infraにて、SRE・インフラエンジニアとして働いております。
大学ではコンピュータサイエンスを専攻しておりました。 3年次には「プロジェクト研究」を選択し、通常より1年早く研究活動に取り組み始めました。 研究テーマは「Rank2多相再帰の型推論手法」です。Rank2多相再帰的な構造を持つ項に対して、型に関する情報が一切与えられていな
木村 海斗さん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
木村 海斗さんのプロフィールをすべて見る
競技プログラミングは、アルゴリズムやデータ構造の理解度や限られた時間の中で最適な実装を競い合うものです。私は国内最大級の競技プログラミングサイト「AtCoder」にて緑色の実力を有しており、これは上位16%ほどの成績と言えます。 (https://info.atcoder.jp/utilize/jobs/rating-business-impact)