フォルシア社内の雰囲気 about 1 month ago Follow Asuka Itoh フォルシア競プロ部発足!活動レポート こんにちは。エンジニアの桃原です。このたび、2023年8月にフォルシアに競技プログラミング部が発足しました。この記事では、競技プログラミング部(以下、競プロ部)の活動内容について紹介します!競プ... Read more
フォルシア社員に聞いてみた 8 months ago Follow Asuka Itoh CodeQUEEN2023でスポンサーをしたり優勝したりした話 こんにちは!エンジニアの宮本唯です。このたび、会社として、個人として、CodeQUEENというイベントにかかわったので、その模様をレポートいたします。CodeQUEENとは?CodeQUEENは... Read more
フォルシア社内の雰囲気 about 1 year ago Follow Asuka Itoh 「ゆるふわ競技プログラミングオンサイト at FORCIA #4」を開催しました DXプラットフォーム部の大沢です。先日、2/25(土) に「ゆるふわ競技プログラミングオンサイト at FORCIA #4 てんぷらごりら・りたーんず」を開催しましたので、レポートを書いていきま... Read more
NABLAS almost 2 years ago Follow 村田 美南 and 1 others 「今日から競プロ!レッドコーダー米田 優峻氏が教える楽しい競プロの世界」を開催しました!【イベントレポート】 2022年6月10日(金)に弊社iLect Studioとオンラインのハイブリッド形式で競技プログラミング(以下:競プロ)に関する外部向けイベントを開催しました!本イベントは、AI開発の基礎力強... Read more
Wantedly Engineer Blog almost 2 years ago Follow Mizuno Masayuki 要素数が2の冪でないセグメント木でも,再帰を使わずに二分探索できる 本記事では,要素数が2の冪とは限らないようなセグメント木上の二分探索の,再帰を使わない実装を例示し,それに準じる実装の正しさを定理証明支援系 Coq を用いて検証します.これによって,より高速... Read more
Wantedly Engineer Blog almost 2 years ago Follow Mizuno Masayuki 形式的に検証したセグメント木の実装を使って競技プログラミングの問題を解く 本記事では、定理証明支援系 Coq 上で形式的に検証したセグメント木の実装を使って、実際に競技プログラミングの問題を解いてみます。これによって、実用に堪えるコードであっても形式検証を行えること... Read more
Wantedly Engineer Blog about 2 years ago Follow Mizuno Masayuki セグメント木の一次元配列による実装の検証 本記事では、セグメント木と呼ばれるデータ構造を一次元配列を使って実装した際の、区間積を求めるアルゴリズムの正しさを定理証明支援系 Coq を用いて証明します。 前回の記事ではセグメント木に関す... Read more
株式会社ランドネット about 2 years ago Follow 下田 大樹 社内で一番美しいコードは誰?Python社内競プロを開催! こんにちは!ランドネット広報担当です。当社では、以前より定期的に社内勉強会を開催しておりましたが、今回は社内で"初”となるバックエンド(Python/Django)を使った競技プログラミングコン... Read more
Wantedly Engineer Blog about 2 years ago Follow Mizuno Masayuki セグメント木の形式的検証 本記事では、セグメント木と呼ばれるデータ構造の諸操作の中でも実装が複雑な、区間積を求めるクエリと、適当な始点を与えて条件を満たす最大の区間を二分探索するクエリの正しさを定理証明支援系 Coq ... Read more
Wantedly, Inc. over 2 years ago Follow Shota Kashihara TLE を出さないために、プログラムの実行時間をテストする (Swift) 皆さんクリスマスケーキの予約は済みましたか?私は 24日,25日 受け取りの予約は一杯で取れませんでした。TL;DRTLE (Time Limit Exceeded) は XCTWaiter で... Read more
株式会社AISing almost 3 years ago Follow 増田憲太郎 エイシング社員もやっている、競技プログラミングAtCoderの楽しみ方【エイシング AtCoder部】 みなさん、こんにちは!採用担当の増田です。突然ですが、みなさんは「競技プログラミング」をご存知でしょうか?「競技プログラミング」とは、その名の通り、プログラミングの能力を競って楽しむコンテンツで... Read more
Rakuten Rakuma Tech Blog almost 3 years ago Follow Hiromu Tsuruta and 1 others 【社内勉強会】エンジニア発!競技プログラミングで知識を高め合う取り組み こんにちは!3代目ラクマくんです!コロナになってリアルなコミュニケーションが減っちゃったね...そんなラクマでは不定期にオンラインで様々な勉強会が開かれていて、社内で知見を共有しあっているぞ!そ... Read more
株式会社フィックスターズ almost 4 years ago Follow Satoko Natsuga Techブログ更新しました!第8回 フィックスターズ社内プログラミングコンテスト『素数大貧民』 結果発表会 Techブログ更新しました!第8回 フィックスターズ社内プログラミングコンテスト『素数大貧民』 結果発表会詳細URL:https://proc-cpuinfo.fixstars.com/2020... Read more
bitFlyer almost 4 years ago Follow bitFlyer Recruiter and 1 others 競技プログラミングを通じて bitFlyer に転職を決めた、元車掌エンジニアのお話 bitFlyer には、さまざまなバックグラウンドを持つ人材が集まっています。今回お話を聞いたのは、株式会社 bitFlyer でエンジニアとして活躍している kema さん。仮想通貨(暗号資産... Read more
キャディ's member over 4 years ago Follow 山口 紗来 and 1 others 「筋のいい解法への嗅覚を研ぎ澄ます」元競プロ日本代表選抜進出のRust研究者が”実践の場”として選んだのは、製造業... こんにちは、キャディインターン生の山口です。今回は【特別編】インターン生が聞く!キャディインターン生インタビューです。今回インタビューさせていただいたのは、エンジニアの松下祐介さんです。松下さん... Read more