総勢217名の女性競技プログラマーが参加 女性競技プログラミングコンテスト「CodeQUEEN」結果発表
AtCoder株式会社（本社：東京都新宿区/代表取締役社長：高橋直大、以下AtCoder）は、合同会社AlgoParade（本社：東京都港区/社長：中村謙弘、以下AlgoParade）と共催した女性競技プログラミングコンテスト「CodeQUEEN」の優勝者および上位入賞者を発表いたします。 ■大会開催の背景 競技プログラミングは、国籍や性別を問わず誰でも参加できる競技です。AtCoderでは、毎週定期的にプログラミングコンテストを開催する日本最大の競技プログラミングのプラットフォームとして、2012年の創業時から国籍・性別等を問わずコンテストを運営してまいりました。 その一方で、理系人材の女性比率の低さや、ITエンジニアとして働く女性の割合が低いことが指摘されており、IT領域で女性が活躍できる機会の創出を求める声が高まっています。一般社団法人情報オリンピック日本委員会では、性別を問わず参加
「競プロの神」と「Rubyの神」が考える、生成AI時代のエンジニアとプログラミング言語
2024年春、「競プロの神」と「Rubyの神」がホンネで語り合った。 競プロの神は、日本最大の競技プログラミング（競プロ）サイト「AtCoder」を率いるchokudaiこと高橋直大（たかはし なおひろ）さん。Rubyの神は言うまでもなく、Rubyの開発者である、Matzことまつもとゆきひろさんだ。 神々が対面したのは、学生エンジニアのキャリアや就職活動（就活）を支援する「サポーターズ」が、エンジニアを目指す学生のために開いているオンラインカンファレンス「技育祭2024春」のプログラム「競プロの神とRubyの神のエンジニア対談～神々の一問一答～」。 最初は“神”の呼称に困惑していた2人だが、chokudaiさんは「競技プログラミングサイトで一番はやっているのはAtCoder。僕はそこでユーザーをBANする権限を持っているので神じゃん、と思いました」と納得。まつもとさんは「僕は、Rubyコミ
ICPC 2023 世界大会参加記 - E869120's Blog
1. はじめに こんにちは、東京大学 4 年の米田 (E869120) です。この度は、4/14～19 にエジプトで開催されたプログラミングコンテスト「ICPC 2023 世界大会」に、チーム Time Manipulators (E869120 + square1001 + QCFium) として参加し、世界 9 位で銅メダルを獲得しました。 そこで本記事では、ICPC について、ICPC に向けた練習について、そして本番の参加記について記したいと思います。長文になりますが、ぜひお読みいただけると幸いです。 2. ICPC について まず、読者の中には ICPC を知らないという方もいると思うので、「ICPC が一体どういうものか」という話から始めましょう。 ICPC は、大学生・大学院生を対象としたプログラミングの大会です。ここで、プログラミングの大会にも様々なものがありますが、ICP
裏 EDPC・裏 TDPC
EDPC と TDPC の出題のうち、題意よりも強いか効率的な解法があるもの。 Educational DP Contest : (https://atcoder.jp/contests/dp) Typical DP Contest : (https://atcoder.jp/contests/tdpc) 説明は詳細ではない。実装例および外部の出題、あるいは個別問題のユーザ解説(2024-05-25 追記)を参考にしてください。 2024-02-22 実装例中の無駄な実装を削減しました。 2024-02-26 EDPC B – Frog 2 を追加しました。 2024-05-28 TDPC S – マス目 を再検討し、訂正しました。 2024-05-28 ユーザ解説を参考に、 TDPC O – 文字列 を追加しました。 2024-05-28 対応するユーザ解説へのリンクを追加しました。 2
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のプログラミングコンテストの参加
【第4回】競技プログラミングはITエンジニアをどう鍛えるか | GeeklyMedia(ギークリーメディア) | Geekly（ギークリー） IT・Web・ゲーム業界専門の人材紹介会社
プログラミングのスキルは、ウェブをはじめシステム開発の業務に欠かせないものですが、それ自体を「競技」として楽しみ、練習を通じて上位を目指すという世界もあります。そんな競技プログラミングにおいて「強くなる」ことは業務におけるプログラミングスキルの向上に関係があるのか、そもそも人間にとって「学び」とは何なのか、日本語で参加できる競技プログラミングのコンテストを定期的に開催するAtCoder株式会社の高橋直大さんと青木謙尚さんが、株式会社一休でウェブシステム開発に携わる伊藤直也さん、所澤友大さんと語ります。 ・伊藤 直也さん / 株式会社 一休 執行役員 CTO 新卒入社したニフティ株式会社でブログサービス「ココログ」を立ち上げ、CTOを務めた株式会社はてなでは「はてなブックマーク」などの開発を主導。グリー株式会社では統括部長としてSNSを担当した。2016年4月、一休に入社し執行役員CTOに就
AtCoder黄色になりました｜Yuta Fukazawa
割と初期（茶〜水くらいのころ）この記事の150問・典型90問（最後の1問のFPSパート以外）を埋めました。特に典型は2周しました。 その後鉄則も復習的な感じで全部、EducationalDPも全部、PASTを8回分くらい埋めました。 https://atcoder.jp/contests/typical90 https://atcoder.jp/contests/tessoku-book https://atcoder.jp/contests/dp hamamuさん、社会人になってから始めた勢の先輩でもありますし、ライブラリや問題を解く部分以外での向き合い方など色変記事の中でもとりわけ参考にさせていただきました。 意識していることなどコンテストに出られるだけ出る発熱や遅刻以外のタイミングでは基本ratedで、参加できるコンテストは全部出ていました。解けなかった問題＋1問くらいも（難易度によ
AtCoder株式会社に入社しました - 競プロ始めました-kaede2020-
0.はじめに 1.前職と求人に応募するまでの話 2.オンラインでの1次面談 3.大学の就職活動と新卒で入社したときの話 4.オンラインでの2次面談 5.対面での最終面談 6.終わりに 7.おまけ：入社後の競技プログラミング参加について 0.はじめに はじめまして、もしくはお久しぶりです、競プロ歴3年のかえでです。46歳で競技プログラミングを始め、今の年齢は49歳になります。 そんな私が、本日2023年2月1日、AtCoder株式会社に入社しました。 atcoder.jp いったい何が起こったのかと驚かれた方も多いのではないかと思います。私自身もこの事実を人から聞いたとしたら、「え、どういうこと？」と思ったことでしょう。だから、書ける範囲で入社までの経緯を書きたいと思います。（事前にchokudaiさん*1とけんしょーさん*2には読んでいただいて許可をもらっています。） 1.前職と求人に応募
AtCoderの社長のままトヨタ自動車にアルゴリズムグループを作った話 - chokudaiのブログ
2022年1月より、トヨタ自動車 デジタル変革推進室 に主査(担当部長)としてジョインし、6月より、アルゴリズムグループを新設しました。 （22/08/09 11:40追記） アルゴリズムグループについての情報は以下のページにあります！！！ (追記おわり) atcoder.jp 「なんで急にそんなことやってるの？」、「AtCoderの業務に集中しろよ！って思う人もちょこちょこいると思うので、そのあたりの考えを、AtCoder社長としての立場で書きたいと思います。 AtCoder・chokudaiを知らない人のための情報 ここは知ってる人は飛ばしてください。 AtCoder 2012年から提供されている、プログラミングコンテスト(競技プログラミング)のサービスです。年間70回程度のコンテストをオンラインで開催しており、世界中から40万人のユーザが登録・参加しています。 chokudai At
ならし計算量のよくある誤解について - えびちゃんの日記
ならし計算量 (amortized complexity) というのがありますが、競プロ初心者層には誤解されがちな概念なので、誤解を解くためのことを書きたくなりました。 以下で「よくある誤解」と称して架空の人物がしゃべりますが、複数回見てきた事例であり、特定個人に対する揶揄等ではありません。えびちゃん自身の事例である場合もあります*1。 多少知っている人へ：ポテンシャル解析などの話を直接はしないので、そういうのは別の記事を見に行ってほしいです。文献の紹介くらいはあります。 導入 説明 お気持ち 定義（ゆるふわ） 定義（かっちりめ） やや細かい話 \(\Theta\) とか \(\Omega\) とかの話 よくある例 可変長配列 キュー カウンタ ゆるふわな話 ならしがうれしい話 ならしだと困る話 ならし計算量あるあるデータ構造 まとめ 参考文献 おわり 導入 データ構造の計算量などで、次の
競技プログラミングの問題を自動で解きたい - うさぎ小屋
TL;DR 問い「競技プログラミングの問題は自動で解けるか？」 答え「ある程度は自動で解けるだろう。ただし問題の形式化を人間に任せる必要はある」 問い’「競技プログラミングの問題を自動で解くソルバは、具体的にはどのような形になるか？」 答え’「少なくとも初期のソルバは、最適化付きのトランスパイラと呼ばれるものになるだろう」 このような議論に従い、競技プログラミングの問題の実用的なソルバとして、Python から C++ への最適化付きトランスパイラを開発している。 目次 TL;DR 目次 競技プログラミングの問題を解くとはどういうことか 競技プログラミングのソルバは形式化を人間に任せることになるだろう 競技プログラミングの問題を自動で解くことは不可能ではない 具体例 1 具体例 2 競技プログラミングのソルバは (初めは) トランスパイラの形がよいだろう 競技プログラミングのソルバは (近
輸送問題を近似的に行列計算で解く（機械学習への応用つき） - 私と理論
輸送問題と呼ばれる問題があります． この問題は，普通は線形計画法やフローのアルゴリズムを使って解かれます． この記事では，この輸送問題を近似的に行列計算で解くアルゴリズム（エントロピー正則化 + Sinkhorn-Knopp アルゴリズム）を紹介します． 輸送問題とは アルゴリズム 得られる解の例 なぜこれで解けるのか？ 競プロの問題を解いてみる 機械学習界隈における流行 まとめ 輸送問題とは 輸送問題とは以下のような問題です． 件の工場と 件の店舗からなる，ある商品の流通圏があるとする． 各工場には 個の在庫がある.． 各店舗では 個の需要がある． 在庫の総和と需要の総和は等しいとする （すなわち ）． 工場 から店舗 に商品を一つ運ぶためには の輸送コストがかかる． 各工場 から各店舗 への輸送量 を適切に決めて，各店舗の需要を満たしつつ輸送コストの総和を最小化せよ． 輸送問題は最適化
mod で計算するときに零の重複度も持つテク - うさぎ小屋
概要 通常の整数の乗除算を、計算過程に出現する数の最大値を小さくするなどの目的で、ある $p$ に対して $\bmod~ p$ で計算することがあります。 しかし、$p$ が途中に出現する数より小さい場合には、もともとは $0$ ではないのだが $\bmod~ p$ では $0$ になってしまうような数が問題となることがあります。 このような場合には、整数 $a$ に対して $b = a ~\bmod~ p$ の値だけでなく、その整数 $a$ が約数として $p$ をいくつ含むかの数 $c$ も管理するとうまくいくことがあります。 つまり $a = b p^c$ に対して単に $b$ のみを持つのでなく組 $(b, c)$ を持つようにするとうまくいくことがあります。 また、計算の過程では $c \lt 0$ のような組 $(b, c)$ を許して考えると便利です。 例題 1: AtCod
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
定数倍高速化の技術
高難易度木問題を解くテクニック集
国試控えた中で世界大会、臨床実習後7時間の練習重ね-東大医学部6年の伊佐碩恭氏に聞く◆Vol.2
東大医学部生が競技プログラミング世界大会で金メダル-東大医学部6年の伊佐碩恭氏に聞く◆Vol.1
SantaとAHCと遺伝的アルゴリズム
AtCoder Companions
区間をsetで管理するやつ