「競プロは役立たない」論とちょくだい氏の悟り。「急すぎた地位向上」で背負った宿命【フォーカス】 2024年11月27日 AtCoder株式会社 代表取締役社長 高橋 直大（ちょくだい） 2012年、慶應義塾大学環境情報学部卒業。2014年、慶應義塾大学大学院政策・メディア研究科修士課程修了。2008年に、Microsoftが主催するプログラミングコンテスト「Imagine Cup」で世界3位を獲得。その後、ICFP Contestの4度の優勝、TopCoder Openの2度の準優勝など、プログラミングコンテストにおいて多くの成績を残す。2012年に、日本でプログラミングコンテストを開催するサービス「AtCoder」を立ち上げ、代表取締役社長に就任。 X プロフィール 「競技プログラミング（以下、競プロ）は仕事に役立たない」――。プログラマとしてのスキルアップに、競プロは実用性がない。競プ

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番目以降は正直良くわからないが、一点目についてはわかりみしかない。 うちはメガベンチャーで内製アプリの開発保守をしてるんだが、新卒で採った青(水色？)のエンジニアが連続でクソ野郎でめちゃくちゃしんどかった。 ◯色コーダーマウントちょくちょく自分は◯色コーダーだって主張してくる。 こっちはお前が学生時代に取った資格の話なんて興味ねえんだよ。 センター試験の点数自慢してる社会人いるか？いねえだろ。 評価されたければ与えられたタスク以上の成果を挙げろ。 資格自慢をしたければ、社会人にふさわしい資格を取れ。 お前のガクチカなんぞ知らん。 コードがゴミ競プロエンジニアといっしょに仕事したことある人なら大体頷いてくれると思うんだが、彼らの書くコードは本当にひどい。 処理がどれだけ効率的だろうが、実務においてメンテナンサビリティの無いコード

2024年4月3日、株式会社estieとの共催で「競プロer のソフトウェアエンジニアとしてのキャリアパス」をテーマにしたキャリアイベントを開催しました。 当日は株式会社estieと当社のエンジニア計4人がパネルディスカッションを行い、競プロの知識や経験がソフトウェアエンジニアリングの業務にどう活かされているかや、将来のキャリアについての各自の考えを伝えました。 オンライン会場（Zoom）には203人、オフライン会場（株式会社estie本社・東京都港区）には35人の参加者が集まる大盛況となった本イベントの様子を前編・後編の２回に分けて紹介します。 開催背景2018年12月に創業した株式会社estieと、2021年7月に創業した株式会社ALGO ARTISは、いずれも競プロer（競技プログラマー）出身者が活躍するスタートアップとして知られています。 今回、両社は「ソフトウェアエンジニア」とし

はじめに こんにちは、through です。 先日行われた AHC029 にて Heuristic で黄色になりました！Algorithm ではなく Heuristic ではありますが、晴れてずっとなりたかった暖色コーダーを名乗ることが出来るようになりました。つい最近 Algorithm の方で入青を達したばかり (今は水色に落ちてしまいましたが…) で、2023年終盤に色変を 2 回も出来てとても嬉しい限りです。 入黄に至るまでのレート遷移 Heuristic 初参加は 2021.12.12 の AHC007 で、競技プログラミングを始めて 2 週間足らずの競技プログラミングを始めたての時だったようです。当時は AHC の問題を AC することすら出来ませんでした…。ただその次の 2022.02.26 の AHC008 にて青 performance を獲得することが出来、AHC にハマ

子どものころは絵を描くのが好きだった。 学校の休み時間は、クラスメートはみな外にサッカーをしにいっていたが一人教室にのこってノートに漫画を描いている、そんな小学生だった。 自宅に戻っても、自室にこもってよく漫画を描いていた。 漫画と書くいっても、別に人を楽しませるために描いているわけではなかった。もちろん褒められると嬉しかったが、それが目的だったわけではなく、いま思えば、それは自分で自分を癒すかのような行為だった。自分を救うために絵を描いていた。 絵を描いているときは、それに夢中で没頭していて、ほかの何にも代えがたい時間を過ごすことが出来た。この時間が、どこか自分の救いになっていた。 中学二年生ぐらいになって思春期にさしかかった頃だろうか。教室で絵を描いていると浮いてしまうことに気づいて、恥ずかしくなって、描かなくなった。 それでもやっぱり絵を描いたりなにか作品を作ったりするのは好きだった

2023/8/10のDeNA/Go AI技術共有会の発表資料です。

AtCoder Junior League 2023 ランキング上位校の強さの秘密に迫る（第1回：筑波大学附属駒場中・高等学校） AtCoder株式会社（以下AtCoder）のコミュニティリーダー、kaede2020（以下かえで）です。コミュニティの運営もやっています。この連載では弊社代表取締役社長の高橋直大（以下直大）と私がAtCoder Junior League 2023（以下AJL）に参加しているランキング上位校の中高生に会いに行き、AJLや競技プログラミングにどのように取り組んでいるかを伺い、その様子をみなさんにお伝えしていきたいと思います。 https://atcoder.jp/contests/ajl2023 AJLは、今年5月より始めたAtCoderが主催する中高生向けの学校対抗長期リーグ戦です。参加登録を行った中高生に対して、AtCoderのプログラミングコンテストの参加

問題 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さんの記事などで解説されている他の実装方法を紹介したいと考えています。本記事中のソースコードは自由に利用していただいて構いませんが、万一何らかの不利益が生じて

概要 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を使った自作ジャッジを作りたいなと思っていたので重い腰を上げましたがその辺

AHC020でシュタイナー木を作るような問題がでました。そこでプリム法ベースのシュタイナー木を作ることがあったのでその方法を説明します。 シュタイナー木とは グラフとターミナルと呼ばれる頂点集合が与えられたとき、ターミナルを全てつなぐ木のことをシュタイナー木といいます。 頂点A,B,Cがターミナル シュタイナー木の例 ターミナルでない頂点はつないでもつながなくても構いません。 シュタイナー木のうちコストが最小のものを最小シュタイナー木といい、これを求めるアルゴリズムとしてDreyfus-Wagner法というものがあるらしいです。しかしこの方法はとても計算量が多いです。 今回紹介するプリム法ベースのシュタイナー木は、計算量は少なくて済みますがコストが最小になるとは限りません。ヒューリスティックコンテストにおける焼きなましの最中など、厳密さより速度が優先されるようなケースでの使用を想定していま

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回繰り返す。 出力した経路が最短経路に近いほど得点が高くなる。回数を重ね

「競技プログラミング」と呼ばれるコンピュータプログラムのコンテストを手掛けるAtCoder（アットコーダー）で代表取締役を務める高橋直大氏が、トヨタ自動車のデジタル変革推進室のアルゴリズム開発を率いる担当部長として入社し、社内からの改革を進めている。 トヨタ自動車が自動車メーカーからモビリティカンパニーへと変革する中、ソフトウェア開発を担う人材は必須だ。しかし各企業におけるソフトウェアエンジニア不足はトヨタ自動車にとっても例外ではなく、採用は難しい。この状況を打破するべく、トヨタ自動車では、DX推進を担う「デジタル変革推進室」を設置。採用の仕方自体も見直すなど、旧来の体制に大きくメスを入れている。 ソフトウェアエンジニア不足という企業が抱える課題を、新たな手法を持って解決に挑むトヨタ自動車の取り組みについて、トヨタ自動車 デジタル変革推進室デジタル人財育成グループ長 DIG1グループ長 担