[過去ﾛｸﾞ] 競技プログラミングにハマるプログラマのスレ 178 (383ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(2): 2024/05/18(土)20:43 AAS
競技プログラミング、オンラインジャッジ、プログラミングコンテストやCTFに関する雑談スレ
次スレは>>950
AtCoder 外部ﾘﾝｸ:atcoder.jp
yukicoder 外部ﾘﾝｸ:yukicoder.me
Codeforces 外部ﾘﾝｸ:codeforces.com
CodeChef 外部ﾘﾝｸ:codechef.com
Project Euler 外部ﾘﾝｸ:projecteuler.net
CLIST 外部ﾘﾝｸ:clist.by
AtCoder Problems 外部ﾘﾝｸ:kenkoooo.com
AtCoder Clans 外部ﾘﾝｸ:kato-hiro.github.io
省17
257: 2024/05/19(日)01:00 AAS
ゆきこも有志で運営出来てるんだしサーバーの規模次第ではスポンサー離れてもなんとかなりそうだけど
258: 2024/05/19(日)01:00 AAS
>>253
むしろ可能性高くないか
259: 2024/05/19(日)01:00 AAS
みんなで参加料払えばいいよね
260(1): 2024/05/19(日)01:01 AAS
競プロを観戦競技として見た場合壁に塗られたペンキが乾くのを観察する程度の面白さしかないのが問題だと思うよぉ🤥
261: 2024/05/19(日)01:01 AAS
本当そう
ここまではただデータドリブンで解決してるから今回みたいな捻りのない典型問題が解けてるだけで、そういう論理力が要求されるアドホックな問題が解けるようになってたら証明とかも出来てしまうようになる
262: 2024/05/19(日)01:01 AAS
社長って定期的に会社売ったら一生安泰みたいなポストしてるけどあれは意図的に伏線張ってるのか
263: 2024/05/19(日)01:01 AAS
電通を騙し続けられれば問題ない
264(1): 2024/05/19(日)01:01 AAS
>>256
芸術分野も駆逐寸前だから頭脳分野も同じ運命
265: 2024/05/19(日)01:01 AAS
LLM、インコのオウム返しと同じで問題の本質を何も理解してないので
266: 2024/05/19(日)01:02 AAS
>>264
LLMの研究開発に従事したことがないどころか論文すら読んだことなさそう
267: 2024/05/19(日)01:03 AAS
>>260
まじでこれ
競プロ観戦イベントとか公式でしてたけどあんなものが流行るわけがない
268: 2024/05/19(日)01:03 AAS
まあ同じレス繰り返す人間もbotみたいなもんだし
269: 2024/05/19(日)01:03 AAS
競プロの問題が解けるようになってる頃には研究とかも出来るようになってるし逆に出来ないことなくなってそう
つまり競プロは最終防衛ラインだよ
270: 2024/05/19(日)01:03 AAS
す、凄い
純粋培養すぎてWebページの検索システムすらsite:使ってgoogle検索に飛ばすことしかできなかった俺でも1時間で自動提出スクリプト作れた
英語問題文とタグ使って使用トークンも減らせたし色々工夫もできた
chatgptplusとAPIマジで即効課金した
AI使った開発ってこんなに楽しいのか、非本質とか言って避けてたけど面白い...
271: 2024/05/19(日)01:04 AAS
産業革命の歴史的瞬間
272: 2024/05/19(日)01:05 AAS
実際すでにLLMが数学の未解決問題を解いた実績もあるやん
273: 2024/05/19(日)01:05 AAS
競プロが生き延びる期間とAtCoderが生き延びる期間は違うのが問題なのであり...
274(1): 2024/05/19(日)01:05 AAS
数理的な問題解決が出来るようになるのは多分だいぶ後だろうね、ポジショントークとかじゃなくて現状をみるに
逆にいうと原義やるだけの業務はもう需要なさそう
275: 2024/05/19(日)01:05 AAS
競技としてなら大会で順位表絡むレベルになるまで生きそうだけど就活文脈だと寿命無さそう
276: 2024/05/19(日)01:05 AAS
普通にこどふぉがあればいいです
国際社会の未定義動作は恥ずかしいので英語を勉強しましょう
277: 2024/05/19(日)01:06 AAS
たまにReact書かされるけどCopilot入れるだけでコーディングのストレスが激減するから非本質のコード書くときはもう手放せないね
本質(数理分野)はまだまだなんだろうけど
278: 2024/05/19(日)01:06 AAS
結局学歴が支配的になってくるので、(TKNDKS+)UTの学歴くらいは掴んでおけ
279: 2024/05/19(日)01:07 AAS
チェリーピッキング的な例出されてもな
社会が変わるってのはそういう次元じゃなくてどんどん未解決問題が刈り取られるような状況
280: 2024/05/19(日)01:07 AAS
結局インコ業務のみ駆逐されてインコだけが損をするオチ
281: 2024/05/19(日)01:07 AAS
社長たまらずIBMとGoogleに喧嘩を売る
282: 2024/05/19(日)01:08 AAS
マジでARC暖色diffをAIが安定して解けるようになるんだったら、それこそシンギュラリティだよ
283(1): 2024/05/19(日)01:08 AAS
外部ﾘﾝｸ:deepmind.google
284: 2024/05/19(日)01:08 AAS
茶色の人E解くの早いなあ
好き
285: 2024/05/19(日)01:08 AAS
社長、さすがに効きすぎている
286: 2024/05/19(日)01:08 AAS
やばい楽しすぎる、AIすごいな🤗
今まで得意なことと苦手なことかなりはっきりしてたけど、苦手なことも強制的に5段階中3まで引き上げてくれる
287: 2024/05/19(日)01:09 AAS
無限の猿理論と同じで、そりゃ一つくらいは運良く当たる
288(1): 2024/05/19(日)01:09 AAS
>>274
それずっと言われていたが、ここ2年の進化スピードの急カーブみたら後2,3年だろうな
289: 2024/05/19(日)01:09 AAS
安定して数理的な難問を解けるようになるかっていうのが大事
290: 2024/05/19(日)01:10 AAS
AIとレスバする意味ないしここも終わりだな
291(1): 2024/05/19(日)01:10 AAS
>>288
LLMの論文読んでね高卒インコくん
arXivからも読めるからね
292: 2024/05/19(日)01:11 AAS
競技研究やるか
arXiv精進から
293: 2024/05/19(日)01:11 AAS
>>283
未解決問題解いたってこと？
294: 2024/05/19(日)01:12 AAS
正直AIの予測は仕組み理解してるかどうかほぼ関係ない気がする(まつーおの動画や画像、言語タスクの予想空振りを見ながら)
295: 2024/05/19(日)01:12 AAS
社長がGPTを見くびりまくってるの草
急に強くなったらどう思うんだろ
296: 2024/05/19(日)01:12 AAS
むしろGPT4oで数理能力の向上は減速しているという見方もあるけど
3.5→4はすごかったけど、4→4oはそうでもない
学習データが飽和しつつあるから、スケーリング則的に頭打ちが近づいているし、アプローチ変えないとインコ人間境界線の突破は難しい
297: 2024/05/19(日)01:13 AAS
まあゲームチェンジャー的なモデルとか理論が生まれたら現状が大きく変わるのはそう
ただ今のモデルだと確実に数理的なタスクは厳しいのだけは言える
298(1): 2024/05/19(日)01:13 AAS
>>291
最新の論文読もうぜ
299: 2024/05/19(日)01:14 AAS
4oは数理的なタスク能力が下がってるらしいから、何かしらデータ食わせまくると逆効果になるみたいなのがあるんだろうな
過学習ではないけど
300: 2024/05/19(日)01:14 AAS
ここでAIを上げてるやつもAIだから
301: 2024/05/19(日)01:14 AAS
>>298
貼ってね
302: 2024/05/19(日)01:14 AAS
alphacode2もLLMをスパコンでめちゃくちゃ働かせました！みたいなアプローチだから、アルゴリズム的な工夫がないと頭打ち
303: 2024/05/19(日)01:14 AAS
kaggleやるかあ
スレ民でチーム組もう
304: 2024/05/19(日)01:15 AAS
GPT4以降はモデルの推論力向上というよりは他にできること増やしたり速度あげたりコスト下げたりしてるだけだからな
305: 2024/05/19(日)01:15 AAS
データドリブンからの脱却がポイント
データドリブンであるうちはインコ大王が上限
306: 2024/05/19(日)01:15 AAS
googleが撤退したのもそりゃそうだよなっと
307: 2024/05/19(日)01:16 AAS
結局自動証明みたいなのもあまり発展してないしなあ
308: 2024/05/19(日)01:16 AAS
そう、現状では論理パズル能力では高度な人間には劣るとしても、知識量的には人間なんか比較にもならないぐらい賢いし、
どうやって省エネ化するか、に今はより注力されてる気がするよ
スマホみたいな小さい端末に載せてオフラインで動かすとか、1 bit LLM で高速化とかな
309: 2024/05/19(日)01:17 AAS
インコにとってはABCとその他の問題の質とか傾向の違いがわからないんだろうな
310: 2024/05/19(日)01:18 AAS
インコ人間境界線、実に有意な線引きで素晴らしい
このスレはいつも本質を突いてるよ
311(1): 2024/05/19(日)01:19 AAS
競プロみたいなAIの苦手分野と思える競技ですら、AIが勝てるようになったらマジで人間はやれることなさそう
312: 2024/05/19(日)01:19 AAS
AIのせいで競プロが崩壊するより先に俺の仕事がなくなる模様
313: 2024/05/19(日)01:19 AAS
自立して問題解決ができるってことだからねえ
本当に全部任せられちゃう
314: 2024/05/19(日)01:20 AAS
その頃には一部を除いて大半の人が職を失ってるため
315: 2024/05/19(日)01:21 AAS
ジョン・タイターです
2100年から来ました
未来の世界には肉体労働とセックスワーク、上位層のAI研究者しかいません
俺も、今はウリをして生計を立てています
こんな生活続けてたらマジに狂うな、俺
316: 2024/05/19(日)01:21 AAS
まあロボット買うより人間のほうがずっと安いから職はなくならないだろ
コード吐き出すだけとかのポジションはなくなるかもしれんが
317: 2024/05/19(日)01:22 AAS
人間だと割安なジャップでも500万円/年 ほどはあげないといけないのに、ロボットより人間のほうが安いと？
318: 2024/05/19(日)01:23 AAS
円安だからロボットの方が高価だよ
319: 2024/05/19(日)01:24 AAS
ジャップは安い
320: 2024/05/19(日)01:24 AAS
お気持ちでの議論じゃなくてもうちょっと論文とか貼ったりした根拠に基づいた書き込みをしてほしい
321: 2024/05/19(日)01:26 AAS
5chは便所の落書きです
322: 2024/05/19(日)01:30 AAS
4oの数理能力が微妙なのはまだ論文化されてなさそう
一応、GSM8k（数理能力用ベンチマーク）とかでは強いことになっているけど、そもそもそれが過学習で上がりやすいインコ仕様のベンチマークで最近問題になっている（MSのphi-3はもろ過学習してて失笑されている）
有志がそれとは独立したデータセットで測ったところ、4よりスコアが低下している
323: 2024/05/19(日)01:32 AAS
G推移律が効いてるのかあ
324: 2024/05/19(日)01:32 AAS
競プロerのABC過学習とかいう表現、意外とLLMの本質を突いていて面白い
325: 2024/05/19(日)01:33 AAS
とりあえずABC-EFを解けた、というのが最新の実績値ですね
326: 2024/05/19(日)01:35 AAS
openaiはそもそもモデルの詳細を明かしてないだろ
327: 2024/05/19(日)01:36 AAS
モデル公開してないけど、GPT系列のモデルの性能をprobeするような論文はKLUerに並に大量発生してるし、4oも多分でまくる
328: 2024/05/19(日)01:38 AAS
逆に推移律と最適化と来たらdilworthですよね
329: 2024/05/19(日)01:41 AAS
年内に、ABCをGPTで全完した、っていうユーザが現れる回がありそうな気がするな
330: 2024/05/19(日)01:42 AAS
Gが既出高度典型だったらあり得るんじゃね
逆にインコ人間境界線より手前は防衛しきれなくてもおかしくないよ
331: 2024/05/19(日)01:53 AAS
ポジショントーク&煽りポストまだ続けてて笑う
まあ社長としては有能かもしれん
332: 2024/05/19(日)02:00 AAS
Gが完全既出だった回とか過去に何回かあるのでまあ可能性は0ではない
333: 2024/05/19(日)02:01 AAS
AHCがAI大得意ってことはないだろうから、ワンチャンAHCをメインに移行するのかも
334: 2024/05/19(日)02:03 AAS
娯楽としての競プロ観戦ってもう運営は諦めた感じなん？
335: 2024/05/19(日)02:04 AAS
何でここで質問するんだか 直接聞いてこい
336: 2024/05/19(日)02:07 AAS
社長の感覚だとABC早解き7完でAIが人間に勝つのは三年後に起きてもおかしくないらしい
まあそれはインコ側の領域だからな
337: 2024/05/19(日)02:08 AAS
いや、ここって準公式のフォーラムみたいな感じだと認識してたけど、みんな見てないの！？
338: 2024/05/19(日)02:13 AAS
むしろ日本の競プロフォーラムの中心地はここ
Xはおまけみたいなもん
339: 2024/05/19(日)02:16 AAS
GPT課金しようかなあ
競プロ用ではないけど
340: 2024/05/19(日)02:17 AAS
結局それでもratedインコしか影響受けてないのでどうでもいいm
341: 2024/05/19(日)02:19 AAS
GPTが水パフォ取れるようになってるけど、GPT公認煽りの所詮お前は緑程度の人間なんだよっていうのも味が出てくるな
342: 2024/05/19(日)02:27 AAS
論文精進おもろい
343(1): 2024/05/19(日)02:39 AAS
>>311
コミュニケーションとかはAIには絶対出来ないからエンジニアの仕事は無くならない
344: 2024/05/19(日)02:41 AAS
GPT4oのデモ動画見る限り、ジェネルシより100倍ぐらい話通じてて対人コミュニケーションできそうだったぞ
345: 2024/05/19(日)02:50 AAS
>>343
出来ないの根拠は？
確実に数理的問題を解くよりは出来るぞ
346: 2024/05/19(日)02:51 AAS
ratismに毒されすぎて自分のレート未満の人の解説記事疑って読むようになってしまってる
347: 2024/05/19(日)02:52 AAS
いつの間にか解説記事書いてる人が下のレートになってたりして
348: 2024/05/19(日)02:57 AAS
マジで汎用人工知能すぎ
逆にロボット技術は生産性も技術も低いから人間がやるのウケる
349(1): 2024/05/19(日)02:58 AAS
なんで雇う側じゃないchokuが就職に影響ないですって断言できるのか分からん
350: 2024/05/19(日)02:59 AAS
Twitterﾘﾝｸ:e869120
スレ民と完全に同意見・同根拠で笑う
Twitterﾘﾝｸ:thejimwatkins
351: 2024/05/19(日)03:17 AAS
そりゃ断言した方が得をするからね
352: 2024/05/19(日)03:17 AAS
>>349
ポジショントーク
353: 2024/05/19(日)03:18 AAS
競プロから潔く撤退したマスくんは賢い
354: 2024/05/19(日)03:22 AAS
撤退ではなく敗走定期
355: 2024/05/19(日)03:26 AAS
正直ちょっとしたスクリプトとか開発に関してはGPTに任せた方が早いんだよな
無料でも色々出来るが課金しようかな
356: 2024/05/19(日)03:26 AAS
昨日のABCの大事件で界隈の認識よりもマスくんの認識の方が正しかったことが証明されてしまったからな
357: 2024/05/19(日)03:34 AAS
コテハンインコとの馴れ合いがやりたいならXでやってね
358: 2024/05/19(日)03:36 AAS
急にインコが騒ぎ出したの、GPT4oが前のモデルより賢くなったからじゃなくて、無課金のインコでもGPT4oを使えるようになったからってだけなんだよな
前々からGPT4使ってたから今更感あるわ
ARC/AGCには全然役に立たないから実践投入したことなかったけど、そりゃABCレベルの典型問題なら解けるだろとしか
359: 2024/05/19(日)03:41 AAS
本当そう ただの捻りのない典型(何なら既出濃厚)の問題がEFに置かれただけ
360: 2024/05/19(日)03:42 AAS
まだインコの遊び場がちょっとした雨でぐちゃぐちゃになったぐらいの話なのに、外野が競プロ自体のゲーム性が崩れたとか勘違いしてそうなツイートしてて厳しいな
インコは競プロへの風評被害を振りまく前に、自分がやっていたのは競プロじゃなかったと自覚しなさい
361: 2024/05/19(日)03:42 AAS
インコからしたら典型度合いの判別が出来ないから置かれた位置でしか判断できなくて賢くなった！とかピーピー騒いでるんだろうけど
362: 2024/05/19(日)03:43 AAS
インコ喜劇におけるイベントでしかないので、我々人間は高みから滑稽さを楽しめば良いです
363(1): 2024/05/19(日)03:46 AAS
寧ろこれから中途半端なインコは勝手にフィルターに引っかかって勝手に引退してくれるから浄化には役立ってるかもしれない
364: 2024/05/19(日)03:48 AAS
風評被害とかはインコの個体数の多さと想像力の無さが悪さしてるな
インコ社会の弊害
365: 2024/05/19(日)03:49 AAS
インコ人間境界線っていう絶対的な防衛ラインにヒビを入れてから騒いでね
366: 2024/05/19(日)03:55 AAS
Llama 3でfinetuningしてる奴はここにはいないか…
367: 2024/05/19(日)03:58 AAS
CS専攻だけど自然言語処理は専門外ですまんね
基礎知識はあるが
368: 2024/05/19(日)03:58 AAS
スレ民でkaggleのチーム組んで金メダル取ろう
369: 2024/05/19(日)04:07 AAS
個人レベルでやれるfinetuningだとそんなに高度な文章生成タスクを新しく解けるようにならないぞ
口調や情報の出し方を制御するのには使えるが、新しい知識の付加とかは難しい
370: 2024/05/19(日)04:10 AAS
AI騒動の裏でGの問題文については沈黙し鎮火完了
安倍さんならそうしたってことだよ
371: 2024/05/19(日)04:12 AAS
せいじいならなあ
スレの流れもXの雰囲気もガン無視して一生Gの対応に関して安倍晋三と結びつけて連投してくれてたのになあ
372: 2024/05/19(日)04:20 AAS
今回のG、マジでABC237-EXの完全上位互換じゃん
当時この問題赤diffだったっぽいけどABC南海トラフ枠すぎて知識が普及してなかったんかな
373: 2024/05/19(日)04:36 AAS
ABC237-Exは回文の数がO(|S|)とか、文字列のペアに対してDilworthの定理を使う問題がそんなにメジャーじゃなかったとか（俺が知らなかっただけかもしれんが）、微妙に難しい部分があった
今回はその部分的に既出と言える問題をちょっと弄っただけだからステップを踏んで解きやすい
そもそもFまでが簡単でじっくり考える時間もあるし
374(1): 2024/05/19(日)06:37 AAS
>>363
下位層がいなくなると一気に廃れていくぞ
375: 2024/05/19(日)06:53 AAS
ガイジスレ終了
376: 2024/05/19(日)07:22 AAS
競プロを終わらせます
377: 2024/05/19(日)08:11 AAS
白カピ セカンドシーズン 始まり
378: 2024/05/19(日)09:10 AAS
AI白カピさん！？
379: 2024/05/19(日)09:28 AAS
マスくん引退したのかよ
引き際まで完璧とはね
380: 2024/05/19(日)09:41 AAS
>>374
そういう養分がいなくなったらレートが渋くなるもんなあ
KLUでもなんでもいいから、社長はもっと養分を連れて来い
381: 2024/05/19(日)09:45 AAS
レートが渋くなるのはどうでもいい
競技人口が減れば衰退するごくあたりまえの話だろ
382: 2024/05/19(日)09:47 AAS
人が多くないとXで盛り上がらないもんなあ
つまらなくなる
383: 2024/05/19(日)09:51 AAS
ACLを提供してまでライブラリ貼るだけを推奨してるのはそのほうがおもろいから
2直線の交点の求め方をGPTに聞いたり検索したりすることを推奨してるのはそのほうがおもろいから
おもしろさドリブン
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.365s*