競技プログラミング

こんにちは。エンジニアの城武です。フォルシアの競技プログラミング部（以下、競プロ部）では、「ゆるふわ競技プログラミングオンサイト（以下、ゆるふわオンサイト）」を過去 7 回開催しています。前回の... Read more

今回はわりと真面目に頑張りました！ ざっくり20〜30時間はPCの前に張り付いて、「考察 → 実装 → 測定 → 順位表チラ見…」の無限ループ。結果としては、問題の本質である「任意の色を正確に作... Read more

お久しぶりです。西村です。業務に追われ気味でAtCoderのアルゴにはほぼ出られておらず、ヒューリスティックコンテストもしばらく勝てていなかったのですが、AHC046にて、久々にいい順位をとれた... Read more

【いい生活公式note 『いいnote』を更新しました！】今回は競プロスキルが実務にどう活きるか？という内容を中心に、いい生活屈指のいい生活の競プロerであるエンジニアの中山さんと森恒さんに語っ... Read more

こんにちは。エンジニアの田屋です。フォルシアの競技プログラミング部（以下、競プロ部）では、「ゆるふわ競技プログラミングオンサイト（以下、ゆるふわオンサイト）」という、競プロ部員が作問・運営を行う... Read more

こんにちは、フォルシア株式会社エンジニアの宮本です。このたびCodeQUEEN2024というイベントに参加し、優勝することができました。この記事では当日のコンテストを振り返ります。また、今年もフ... Read more

こんにちは。エンジニアの桃原です。このたび、2023年8月にフォルシアに競技プログラミング部が発足しました。この記事では、競技プログラミング部（以下、競プロ部）の活動内容について紹介します！競プ... Read more

こんにちは！エンジニアの宮本唯です。このたび、会社として、個人として、CodeQUEENというイベントにかかわったので、その模様をレポートいたします。CodeQUEENとは？CodeQUEENは... Read more

DXプラットフォーム部の大沢です。先日、2/25(土) に「ゆるふわ競技プログラミングオンサイト at FORCIA #4 てんぷらごりら・りたーんず」を開催しましたので、レポートを書いていきま... Read more

2022年6月10日（金）に弊社iLect Studioとオンラインのハイブリッド形式で競技プログラミング（以下：競プロ）に関する外部向けイベントを開催しました！本イベントは、AI開発の基礎力強... Read more

　本記事では，要素数が2の冪とは限らないようなセグメント木上の二分探索の，再帰を使わない実装を例示し，それに準じる実装の正しさを定理証明支援系 Coq を用いて検証します．これによって，より高速... Read more

　本記事では、定理証明支援系 Coq 上で形式的に検証したセグメント木の実装を使って、実際に競技プログラミングの問題を解いてみます。これによって、実用に堪えるコードであっても形式検証を行えること... Read more

　本記事では、セグメント木と呼ばれるデータ構造を一次元配列を使って実装した際の、区間積を求めるアルゴリズムの正しさを定理証明支援系 Coq を用いて証明します。　前回の記事ではセグメント木に関す... Read more

　本記事では、セグメント木と呼ばれるデータ構造の諸操作の中でも実装が複雑な、区間積を求めるクエリと、適当な始点を与えて条件を満たす最大の区間を二分探索するクエリの正しさを定理証明支援系 Coq ... Read more

皆さんクリスマスケーキの予約は済みましたか？私は 24日,25日 受け取りの予約は一杯で取れませんでした。TL;DRTLE (Time Limit Exceeded) は XCTWaiter で... Read more