競技プログラミング

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

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

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

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

こんにちは！ランドネット広報担当の山崎です。当社では、以前より定期的に社内勉強会を開催しておりましたが、今回は社内で"初”となるバックエンド（Python/Django）を使った競技プログラミン... Read more

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

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

みなさん、こんにちは！採用担当の増田です。突然ですが、みなさんは「競技プログラミング」をご存知でしょうか？「競技プログラミング」とは、その名の通り、プログラミングの能力を競って楽しむコンテンツで... Read more

こんにちは！3代目ラクマくんです！コロナになってリアルなコミュニケーションが減っちゃったね...そんなラクマでは不定期にオンラインで様々な勉強会が開かれていて、社内で知見を共有しあっているぞ！そ... Read more

Techブログ更新しました！第8回 フィックスターズ社内プログラミングコンテスト『素数大貧民』 結果発表会詳細URL：https://proc-cpuinfo.fixstars.com/2020... Read more

bitFlyer には、さまざまなバックグラウンドを持つ人材が集まっています。今回お話を聞いたのは、株式会社 bitFlyer でエンジニアとして活躍している kema さん。仮想通貨（暗号資産... Read more

こんにちは、キャディインターン生の山口です。今回は【特別編】インターン生が聞く！キャディインターン生インタビューです。今回インタビューさせていただいたのは、エンジニアの松下祐介さんです。松下さん... Read more

こんばんは、情報系の専門学校に通って現在就職活動真っ盛りの小山です。今日は現状の把握をかねて、自身の問題点を洗い出してみたいと思います。①　競技プログラミング大会のスコアがほぼ伸びない②　知らな... Read more