【ちょくだい】競プロer採用のミスマッチが起こる理由と、開発者体験が高いチームのつくり方【Developer eXperience Day 2024 レポート】 | レバテックラボ（レバテックLAB）
TOPコラムテック最前線レポート【ちょくだい】競プロer採用のミスマッチが起こる理由と、開発者体験が高いチームのつくり方【Developer eXperience Day 2024 レポート】 【ちょくだい】競プロer採用のミスマッチが起こる理由と、開発者体験が高いチームのつくり方【Developer eXperience Day 2024 レポート】 2024年8月20日 AtCoder株式会社 代表取締役社長 高橋直大（ちょくだい） 2012年、慶應義塾大学環境情報学部卒業。2014年、慶應義塾大学院政策メディア研究科卒業。2008年に、Microsoftが主催するプログラミングコンテスト「Imagine Cup」で世界3位を獲得。その後、ICFP Contestの4度の優勝、TopCoder Openの2度の準優勝など、プログラミングコンテストにおいて多くの成績を残す。2012年に、
競プロ出身者の使えなさは異常
anond:20240624084844 を読んで思ったこと。2番目以降は正直良くわからないが、一点目についてはわかりみしかない。 うちはメガベンチャーで内製アプリの開発保守をしてるんだが、新卒で採った青(水色？)のエンジニアが連続でクソ野郎でめちゃくちゃしんどかった。 ◯色コーダーマウントちょくちょく自分は◯色コーダーだって主張してくる。 こっちはお前が学生時代に取った資格の話なんて興味ねえんだよ。 センター試験の点数自慢してる社会人いるか？いねえだろ。 評価されたければ与えられたタスク以上の成果を挙げろ。 資格自慢をしたければ、社会人にふさわしい資格を取れ。 お前のガクチカなんぞ知らん。 コードがゴミ競プロエンジニアといっしょに仕事したことある人なら大体頷いてくれると思うんだが、彼らの書くコードは本当にひどい。 処理がどれだけ効率的だろうが、実務においてメンテナンサビリティの無いコード
【イベントレポート】「競プロer のソフトウェアエンジニアとしてのキャリアパス」【前編】｜計画最適化のことならアルゴアーティス
2024年4月3日、株式会社estieとの共催で「競プロer のソフトウェアエンジニアとしてのキャリアパス」をテーマにしたキャリアイベントを開催しました。 当日は株式会社estieと当社のエンジニア計4人がパネルディスカッションを行い、競プロの知識や経験がソフトウェアエンジニアリングの業務にどう活かされているかや、将来のキャリアについての各自の考えを伝えました。 オンライン会場（Zoom）には203人、オフライン会場（株式会社estie本社・東京都港区）には35人の参加者が集まる大盛況となった本イベントの様子を前編・後編の２回に分けて紹介します。 開催背景2018年12月に創業した株式会社estieと、2021年7月に創業した株式会社ALGO ARTISは、いずれも競プロer（競技プログラマー）出身者が活躍するスタートアップとして知られています。 今回、両社は「ソフトウェアエンジニア」とし
AtCoder の Heuristic で入黄しました！
はじめに こんにちは、through です。 先日行われた AHC029 にて Heuristic で黄色になりました！Algorithm ではなく Heuristic ではありますが、晴れてずっとなりたかった暖色コーダーを名乗ることが出来るようになりました。つい最近 Algorithm の方で入青を達したばかり (今は水色に落ちてしまいましたが…) で、2023年終盤に色変を 2 回も出来てとても嬉しい限りです。 入黄に至るまでのレート遷移 Heuristic 初参加は 2021.12.12 の AHC007 で、競技プログラミングを始めて 2 週間足らずの競技プログラミングを始めたての時だったようです。当時は AHC の問題を AC することすら出来ませんでした…。ただその次の 2022.02.26 の AHC008 にて青 performance を獲得することが出来、AHC にハマ
自分を救うプログラミング｜naoya
子どものころは絵を描くのが好きだった。 学校の休み時間は、クラスメートはみな外にサッカーをしにいっていたが一人教室にのこってノートに漫画を描いている、そんな小学生だった。 自宅に戻っても、自室にこもってよく漫画を描いていた。 漫画と書くいっても、別に人を楽しませるために描いているわけではなかった。もちろん褒められると嬉しかったが、それが目的だったわけではなく、いま思えば、それは自分で自分を癒すかのような行為だった。自分を救うために絵を描いていた。 絵を描いているときは、それに夢中で没頭していて、ほかの何にも代えがたい時間を過ごすことが出来た。この時間が、どこか自分の救いになっていた。 中学二年生ぐらいになって思春期にさしかかった頃だろうか。教室で絵を描いていると浮いてしまうことに気づいて、恥ずかしくなって、描かなくなった。 それでもやっぱり絵を描いたりなにか作品を作ったりするのは好きだった
AtCoder株式会社代表 高橋直大氏
タグ 環境印刷エクササイズ夢ECサイトオークションリーダー育成社会貢献若者支援6次化産業バーチャルオフィス資料作成シェアハウス組織改革代行サービスコンサルキャリア行政書士うつ病通販フィットネス子ども東洋医学パッケージ販売代行書店業web制作シングルマザー社労士家事営業育成サービスオンラインサロンブランド闘病M&A健康広報ＰＲソーシャルメディアリスクEC販売アニメ職場風土デジタルサイネージパーソナルトレーナー医師フィットネスクラブライフキャリアNPOオーガニックリサイクルMBA地球温暖化新規事業開発ひきこもりレンタルオフィスオンラインイベント人事評価戦略支援心理カウンセラー起業産業医創業セミナーマーケティング採用研修セミナービジネスゲーム福祉リゾート開発動画作成採用コンサルタントエステサロンファブレス経営OEM製作代行オンライン顧問SDGs印刷インターネットSNSヘッドハンティングインテリア
AtCoder Junior League 2023 ランキング上位校の強さの秘密に迫る（第1回：筑波大学附属駒場中・高等学校）
AtCoder Junior League 2023 ランキング上位校の強さの秘密に迫る（第1回：筑波大学附属駒場中・高等学校） AtCoder株式会社（以下AtCoder）のコミュニティリーダー、kaede2020（以下かえで）です。コミュニティの運営もやっています。この連載では弊社代表取締役社長の高橋直大（以下直大）と私がAtCoder Junior League 2023（以下AJL）に参加しているランキング上位校の中高生に会いに行き、AJLや競技プログラミングにどのように取り組んでいるかを伺い、その様子をみなさんにお伝えしていきたいと思います。 https://atcoder.jp/contests/ajl2023 AJLは、今年5月より始めたAtCoderが主催する中高生向けの学校対抗長期リーグ戦です。参加登録を行った中高生に対して、AtCoderのプログラミングコンテストの参加
Marathon Match 147 SurfaceReconstruction 参加記 - simanのブログ
問題 www.topcoder.com 提出コード https://gist.github.com/siman-man/2218aee9a4a99e3bc6c780dbb72066ba 方針 N と A の値からサンプリングの回数を決定 クエリーの投げる位置を焼きなましで調整 クエリーの結果からグリッドを生成している方程式のパラメータを焼きなましで求める N と A の値からサンプリング回数を求める サンプルの個数から大体これぐらいの mse スコアが出るよというのを事前に計算しておいて、ちょうどいい感じのサンプル個数を求める。 mse の推測値が悪かったのか N < 40 のケースだとうまくいかなかったので場合分け。もっと細かく調整できたと思うけど多分そんなスコア改善しないし面倒なのでやってない。（cover_rate は sample_count * 9 / (N * N) で計算して
ビームサーチをライブラリ化する【基礎編】 - 競技プログラミング学習
7/30 追記：一部の実装を変更して高速化しました。(ビームサーチ内で毎回配列を定義するコストが無視できなかったため、一度だけ定義して毎回中身を全て消去する形にしました) ヒューリスティックコンテストでよく用いられるビームサーチという手法があります。山登り/焼きなまし法と並んで必ずと言っていいほど紹介されるビームサーチですが、実装が大変と感じている方も多いと思います。 この記事ではビームサーチを既に知っている方向けに、ライブラリ化の指針を提供したいと考えています。ビームサーチ自体については簡単に説明する程度ですのでご了承ください*1。 今回は基礎編と題して、一般に広く用いられていると思われる実装方法を紹介します。応用編*2ではrhooさんの記事などで解説されている他の実装方法を紹介したいと考えています。本記事中のソースコードは自由に利用していただいて構いませんが、万一何らかの不利益が生じて
「AWS上にマラソンマッチ用のジャッジ環境を作った」をChatGPTに投げて、Lambdaを使ったAHC用のジャッジ環境を作る。 - じじいのプログラミング
概要 ChatGPTのいいなりになればOK はまったところ typescriptを使った設定にする必要があった。 リージョン間違いでログが何も見れなかった… ジャッジ環境のディレクトリ構成が分からなかった。 別なバケット名を設定していた。 各種パスの更新をわすれていた 同時実行数が最大で10になっていた。 最後にChatGPTによるブログ 1. AWS CDKとLambda関数の作成 2. Step Functionsの構築 3. ログの確認 4. バケットとファイルパスの確認 5. 同時実行数の調整 概要 Webやサーバー関係に詳しくなくても、良い記事をChatGPTに投げればなんとかなる。 ChatGPTのいいなりになればOK AtCoder Heuristics Contest（AHC）用にAWS Lambdaを使った自作ジャッジを作りたいなと思っていたので重い腰を上げましたがその辺
プリム法ベースのシュタイナー木 - bowwowforeachの日記
AHC020でシュタイナー木を作るような問題がでました。そこでプリム法ベースのシュタイナー木を作ることがあったのでその方法を説明します。 シュタイナー木とは グラフとターミナルと呼ばれる頂点集合が与えられたとき、ターミナルを全てつなぐ木のことをシュタイナー木といいます。 頂点A,B,Cがターミナル シュタイナー木の例 ターミナルでない頂点はつないでもつながなくても構いません。 シュタイナー木のうちコストが最小のものを最小シュタイナー木といい、これを求めるアルゴリズムとしてDreyfus-Wagner法というものがあるらしいです。しかしこの方法はとても計算量が多いです。 今回紹介するプリム法ベースのシュタイナー木は、計算量は少なくて済みますがコストが最小になるとは限りません。ヒューリスティックコンテストにおける焼きなましの最中など、厳密さより速度が優先されるようなケースでの使用を想定していま
Topcoderマラソンマッチの探索問題で重要なこと - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? Competitive Programming （その2） Advent Calendar 2015の14日目の記事です。 Topcoderマラソンマッチ初心者向け、主にTopcoderで出題される探索問題に取り組むときに重要だと思っていることを書きます。 任意のマラソン系コンテストで重要なこと まず、Topcoder MMの探索問題に限らず、マラソン系コンテストで重要なことについて。 時間で殴る BFS、DFS、Dijkstraなど基本的なアルゴリムズを使いこなせる人(ABCのC,ARCのBぐらいが解ける人)なら、時間さえかければマラ
ヒューリスティックコンテストでベイス推定に入門しよう - 競技プログラミング学習
ヒューリスティックコンテストでは、一部の数値が与えられないタイプの問題が出題されることがあります。多くの場合はインタラクティブ形式の問題で、少しずつ与えられる情報で数値を予測していくことになります。 (例：AHC003, HTTF2022予選, HTTF2023本選, AHC018) こうした推定タイプの問題では、ベイズ推定が強力な手法となることがあります。 本記事はベイズ推定を使って問題を解いてみたい方の第一歩となることを目的としています(C++での実装例も載せました)。題材はAHC003としました。問題の概要は以下です。 30×30のグリッド(上下左右が辺で結ばれている)があり、各辺の長さは与えられない。 始点と終点が与えられるので経路を出力すると、その経路の長さ(±10%の誤差を含む)が返ってくる。これを1000回繰り返す。 出力した経路が最短経路に近いほど得点が高くなる。回数を重ね
【第4回】競技プログラミングはITエンジニアをどう鍛えるか | GeeklyMedia(ギークリーメディア) | Geekly（ギークリー） IT・Web・ゲーム業界専門の人材紹介会社
プログラミングのスキルは、ウェブをはじめシステム開発の業務に欠かせないものですが、それ自体を「競技」として楽しみ、練習を通じて上位を目指すという世界もあります。そんな競技プログラミングにおいて「強くなる」ことは業務におけるプログラミングスキルの向上に関係があるのか、そもそも人間にとって「学び」とは何なのか、日本語で参加できる競技プログラミングのコンテストを定期的に開催するAtCoder株式会社の高橋直大さんと青木謙尚さんが、株式会社一休でウェブシステム開発に携わる伊藤直也さん、所澤友大さんと語ります。 ・伊藤 直也さん / 株式会社 一休 執行役員 CTO 新卒入社したニフティ株式会社でブログサービス「ココログ」を立ち上げ、CTOを務めた株式会社はてなでは「はてなブックマーク」などの開発を主導。グリー株式会社では統括部長としてSNSを担当した。2016年4月、一休に入社し執行役員CTOに就
AtCoder社長兼トヨタのアルゴリズム担当部長が誕生--トヨタデジタル変革推進室の取り組み
「競技プログラミング」と呼ばれるコンピュータプログラムのコンテストを手掛けるAtCoder（アットコーダー）で代表取締役を務める高橋直大氏が、トヨタ自動車のデジタル変革推進室のアルゴリズム開発を率いる担当部長として入社し、社内からの改革を進めている。 トヨタ自動車が自動車メーカーからモビリティカンパニーへと変革する中、ソフトウェア開発を担う人材は必須だ。しかし各企業におけるソフトウェアエンジニア不足はトヨタ自動車にとっても例外ではなく、採用は難しい。この状況を打破するべく、トヨタ自動車では、DX推進を担う「デジタル変革推進室」を設置。採用の仕方自体も見直すなど、旧来の体制に大きくメスを入れている。 ソフトウェアエンジニア不足という企業が抱える課題を、新たな手法を持って解決に挑むトヨタ自動車の取り組みについて、トヨタ自動車 デジタル変革推進室デジタル人財育成グループ長 DIG1グループ長 担
Kaggleや競プロのトップランカーが持つ「本質的な強み」とは。リクルートが作り出す、競技と業務の好循環 - はてなニュース
ソフトウェアエンジニアがプログラミングの腕を競い合う競技プログラミングや、データサイエンティストや機械学習エンジニアが機械学習モデルの精度を競い合うKaggle。こうしたコンペティションのトップランカーが持つテクニックやスキルを実際の業務にも活かそうとしている、あるいはすでに活かしている企業も少なくないでしょう。 一方で、その能力を最大限活かして仕事に取り組めるかには課題も残っているようです。「競技のトップランカー」の肩書きに引きずられるためか、彼らの強みを活かすためには起用範囲を絞らざるをえない、という悩みも方々から聞こえてきます。 そんな中、リクルートではトップランカーのスキルや技術だけでなく、「本質的な強み」に着目。その「本質的な強み」を、領域を横断してさまざまなプロジェクトに活用することで、事業課題の解決やサービス価値の向上につなげています。 トップランカーの「本質的な強み」とは、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
AHC035解説
https://x.com/eijirou_kyopro/status/1753041794617823445?s=12&t=YpIPcsjKfoTpmECNdRL-uw
ヒューリスティックコンテストで機械学習しよう
https://twitter.com/ngtkana/status/1634777658964996096?s=12&t=YpIPcsjKfoTpmECNdRL-uw