揺蕩う海藻 環境構築おじさん AtCoder青 PythonときどきRust
Joined January 2022
- Tweets5.9K
- Following329
- Followers351
- Likes8.6K
藻 retweeted
コピペルールを明文化するには避けて通れなかっただけで、一切関係ないです……！
（それを理由にするなら「証明用にWebにアップロードするのはAtCoderの適当な問題に提出でいいよ！」とか言わんので……ｗ）
藻 retweeted
【AtCoder Algorithm Lectures 公開のお知らせ】
「AtCoder Algorithm Lectures」を公開しました。
競技プログラミングの理論やテクニックを解説する講座です。
今後も講座を拡充し、質の高い学習コンテンツの提供を目指します。
info.atcoder.jp/entry/algori…
藻 retweeted
【お知らせ】
プログラミング競技イベント「ISUCON」につきまして、これまでイベント運営を支えてきたLINEヤフー株式会社から、さくらインターネットがサポート体制を引き継ぐことを決定いたしましたのでお知らせいたします。詳細は以下をご参照ください。
sakura.ad.jp/corporate/infor…
藻 retweeted
私がエンジニアとして見識を広げ一皮剥けるきっかけをもらったイベントが続いてくれることを嬉しく思います
運営を引き継いでいただけるさくらインターネットさんに敬意を表します
ISUCONイベントサポート体制引継ぎのお知らせ sakura.ad.jp/corporate/infor…
藻 retweeted
【お知らせ】
本日をもってkyopro_friendsのtwitter上での活動を終了します。
2018年2月のアカウント開設以来、7年間半に渡り応援いただいた皆様に感謝します。いままでありがとうございました。
藻 retweeted
AtCoder Heuristic Contestを解くAI向けベンチマーク「ALE-Bench」を、Sakana AIと共同開発しました！
AtCoderのHeuristic部門は、Algorithm部門と比べて実践的な最適化の開発に近く、AIにこれが解けるようになればかなり役立つと思ってます！
（逆に言えば、実務の複雑さにより近い、長期型のコンテストは、まだ全然解けていないので、人間が活躍する場面もまだまだ多くあると思ってます！）
ぶっちゃけAtCoderの問題をAIが解けるようになってしまうと、AtCoder的に困ることも多くあると思うんですが、「自社の利益のためにそういうのを出し渋るのってダサいよね」って話を副社長とした上で、ベンチマークを公開することにしました！
自分はAtCoder社としての問題提供はもちろん、指標の話（RatingよりPerformance平均の方がいいよねみたいなの）とか、Solverを作るうえでのいくつかの提案、みたいな所で協力してます。（まともな論文に共著で入れて嬉しい）
nitter.gq/SakanaAILabs/status/19…
「組合せ最適化問題」への挑戦
ALE-BenchおよびALE-Agentの開発
ブログ：sakana.ai/ale-bench-jp/
論文：arxiv.org/abs/2506.09050
AIの次の挑戦として、「組合せ最適化問題」のアルゴリズム生成に着目した新ベンチマーク「ALE-Bench」、および特化型エージェント「ALE-Agent」を開発しました。
正解/不正解を問うこれまでのAIベンチマークとは異なり、未知の最適解を探し続ける「組合せ最適化問題」では、長期的な推論能力や創造性が求められます。この度、世界最大級の競技プログラミングコンテストを運営するAtCoder株式会社とともに、組合せ最適化問題のアルゴリズム開発のコンテスト出題問題を収録したベンチマークALE-Bench（ALgorithm Engineering Benchmark）を開発しました。
またSakana AIは、本領域に特化したAIエージェント「ALE-Agent」を開発。ALE-AgentはAtCoder社が開催するプログラミングコンテストにリアルタイムで参加し、2025年5月18日に開催されたコンテストでは、専門家や実務者を多く含む1,000人以上の人間のプログラマーの中で上位2%に相当する成績を収めました。
本研究はAtCoder株式会社 @atcoder との共同で行われました。組合せ最適化問題およびアルゴリズムにおいて卓越した知見と実績を持つ同社に、データの提供や分析など様々な面で協力いただき、また、AIエージェントが実際のコンテストへ参加することを許諾いただきましたことを感謝申し上げます。
将来的には、AIが組合せ最適化問題で人間を超える解を導くことで、大きな産業面でのインパクトにつながりうるとともに、より広く複雑な知的作業の自動化に向けた重要なマイルストーンになると考えております。Sakana AIは、本研究で得た知見をもとに、アルゴリズムエンジニアリングを含む様々な課題で、これまでにない推論能力を持つAIの開発に挑戦していきます。
⚙️ALE-Benchデータセット：huggingface.co/datasets/Saka…
⚙️ALE-Bench評価コード：github.com/SakanaAI/ALE-Benc…
藻 retweeted
突然社員さんが作り出して「売っていいですか」って言われて、まぁ拒否る理由もないからいいよって……ｗ
nitter.gq/mo124121/status/193205…
藻 retweeted
競プロキャンプ2025@淡路島 の概要を公開しました！
募集開始は 6/21 20:00 を予定しています。ご不明な点がございましたら本アカウントまでお問い合わせください。
#kyoprocamp
connpass.com/event/356109
藻 retweeted
記事を投稿しました！ PythonのSortedContainersで一番大きい要素にアクセスしたいときは-1でアクセスした方がいい on #Qiita qiita.com/kemuniku/items/969…
藻 retweeted
ログイン周り、色々ソフトウェア開発している人には不便で申し訳ないけど、とりあえずAtCoderがちゃんと動くことの方が優先度が高いので、一旦ごめんなさい＞＜
ちょっとエンジニア戦力が今足りないので手がどれくらい回せるかわかんないけど色々考えます……！
藻 retweeted
【緊急性高】topページが落ちているので、ABCに出る方はここからアクセスしてください
atcoder.jp/contests/abc397
藻 retweeted
Rustのsqlx
pool か transaction を受け取るするの、難易度が高すぎるな
github.com/launchbadge/sqlx/…
藻 retweeted
codeforces . net という偽サイト（本当は codeforces.com ）に引っかかっておそらくパスワードを抜き取られてしまった
みなさん こどふぉに接続したときにログインが外れてたりロゴが表示されなくなっていたりしたときはURLを見てちゃんと com であることを確認しよう
藻 retweeted
現時点で言えることがちょっと少なめなので、ひとまず中止の拡散だけしておきます！楽しみにしてた人たちにはごめんなさい＞＜
nitter.gq/pg_battle/status/18337…
藻 retweeted
二分探索の練習 kenkoooo.com/atcoder/#/conte… #AtCoderProblems
殺意高めです
