hotman (@hotmanww) header
hotman (@hotmanww) profile picture

mis.w54/traP24M 浅野-早大機航-科学(東工)大数理計算-社会 データ構造を志す AtCoder,codeforces : hotman78 (黄橙反復勢...) アイコン:@yuchemisw

布団の中
Joined September 2013
Photo by hotman (@hotmanww)Photo by hotman (@hotmanww)Photo by hotman (@hotmanww)Photo by hotman (@hotmanww)Photo by hotman (@hotmanww)Photo by hotman (@hotmanww)Photo by hotman (@hotmanww)Photo by hotman (@hotmanww)Photo by hotman (@hotmanww)Photo by hotman (@hotmanww)
固定ツイート用
4
22
Here's a direct link to OpenAI's PDF claiming a refutation of ETH. In particular, it's claimed that 3SAT on n variables is in about exp(n/(log n)^{1/2+o(1)}) time github.com/openai/math/blob/…
95
315
196
2,186
935,294
これはマジでそう github copilot アリの時代長かったしね
競技プログラミングのルール違反について プログラミングを始めたばかりの人が、そうと知らずにルールを破っていることがあるそうです。その原因は、最近の開発環境はAIの支援機能がデフォルトでついていることが多いからです。知識のない人はそれらがルールに抵触するということを知らずに使っていることがあるそうです。 この問題について、言及するつもりはなかったんだけど、これをたまたま耳にしていたのを思い出し、かなり重要な情報ではないかと思ったので共有します。ソースは言いません。
1
20
4,420
今日10/21の夕方、中部・北陸・関西で電力の「インバランス料金」が上限の300円/kWhに張り付きました。普段(30円前後)の約10倍で、10月1日に上限を200円から引き上げて以来初めてです。予備率が「安定供給の最低ライン」3%を割ったことを意味します。しかもこの事態は、2日前にほぼ見えていました。それでも需給ひっ迫警報は出ていません。何が起きたのか整理します。 ■インバランス料金とは 電気は作る量と使う量を常に一致させる必要があります。小売・発電事業者は30分ごとに計画を出し、実績とのズレ(インバランス)は送配電会社が埋めます。その精算単価がインバランス料金です。需給が厳しくなると、予備率10%を下回ったところから予備率に応じた高い単価が適用されはじめ、3%以下で上限の300円になります。 ■上限張り付きは何を意味するか 予備率とは、需要に対する供給力の余裕の割合です。上限に届くのは、それが3%以下、つまり制度上「安定供給に最低限必要」とされる水準を割り込んだ時間帯です。今日は15:30〜17:30の4コマ(2時間)が該当し、前後のコマも266円、199円でした。同じ時間帯、中国・九州は21〜49円、東京は約30〜47円です。この価格差は、送電線の向こうに電気はあっても、通常の枠では送り込む余地がなかったことを示しています。 ■なぜ起きたのか ①大阪で観測史上最も遅い真夏日(30.8℃)となり、10月下旬に冷房需要が発生。 ②10月は夏の高需要が終わり、発電所の点検を集中させる時期。25年度の供給計画では、10月の火力の補修量は8月の約7倍だった。 ③夕方は太陽光が急減。関西の太陽光は正午の約440万kWから、16時台には約44万kWまで落ちた。 ④中部〜関西は東(周波数変換所)とも西(中国地方との連系線)とも通常の枠がほぼ満杯で、非常用の枠を使わないと追加で送れなかった。 中部・北陸・関西の需要想定(16:30〜17:00)は、10/15の週間計画から約430万kW(12%)上振れしています。 ■予想できたのに、なぜ防げなかったのか 予兆は出ていました。10/15の週間計画で10/21の予備率は7.6%とされ、容量市場の「供給力提供準備通知」の対象になっていました。10/19の翌々日計画では15:30〜17:00が2.2〜2.8%、前日夕方以降の計画では一時マイナスまで落ちています。 対策もとられました。16時台で比べると、2日前から当日までに供給力は約210万kW積み増されています。しかし需要想定も約200万kW増え、追いつくのが精一杯でした。週間計画の時点で「追加で起動できる」とされた電源の余地も、当日までに大半が使われ、残りは概算で約60万kWでした。止まっている電源を起こさなかったのではなく、起こせるものはほぼ起こしたうえで足りなかったといえます。むしろ問題は、メンテ時期の10月に真夏並みの需要が来たとき、供給力を短期間で戻す手段が乏しいことです。 ■なぜ需給ひっ迫警報が出なかったのか 警報の基準は「あらゆる供給力対策を踏まえても」予備率3%を下回る見通し、です。公表されている予備率には、こうした追加対策の一部が含まれていません。当局は、連系線の非常用の枠などで3%を確保できると判断したのでしょう(推測)。実際、実需給1時間前(ゲートクローズ)の時点で3%まで足りなかったのは3万〜28万kWでした。広域機関はその後3回、東京・中部・北陸などから関西へ最大99万kWの融通を指示し、非常用の枠(マージン)まで使っています。 ■「応札指示」はどの程度出て、どこまで機能したか 容量市場で報酬を受ける電源には、予備率8%未満のコマで余力を市場に出し、止まっていれば起動する義務があります(供給力提供通知)。今日は中部・北陸・関西で14コマ(7時間)が対象となり、その大半は前日17時37分に指定されました。全国の時間前市場は15:30〜16:00に高値250円をつけ、取引量も昼過ぎの2〜3倍に膨らみました。一定の上積みはあったといえます。 ■何が問題か 10月は国の需給検証(夏7〜9月・冬12〜3月)の対象外で、点検を寄せる「谷」の季節とされてきました。容量市場で確保する供給力の量は年間を通じて評価されていますが、点検時期の調整や需給の検証は夏と冬が中心です。その谷に真夏日が来たわけです。2022年6月の東京も、季節外れの暑さと点検期が重なる同じ構図でした(このときは注意報が出ています)。高需要期の境界が崩れつつある中、夏冬を中心に組まれた点検と検証の運用の前提が問われているのではないでしょうか。 出典:電力広域的運営推進機関(広域予備率Web公表システム、需給状況改善指示、想定予備率10/16発行)、インバランス料金情報公表ウェブサイト、関西電力送配電(エリア需給実績)、JEPX、資源エネルギー庁 ※一部を修正しました。
5
105
12
285
22,946
ツイートからそこまで推測せんといて😭 If I were an AI model, I'd be "Claude Fable 5.1"! Deep-Reasoning Sage #WhichAIModelAreYou ai.tatoe.top/m/claude-fable-…
4
675
hotman retweeted
画像の等式は最近の研究で見つけたものです。一見単純な恒等式ですが、背後には三次元多様体のラングランズ双対性があります!
1
25
2
235
11,595
3 SUM 関係の結果と APSP 関係の結果が無限に流れてきてもはやどれがどのくらい凄いのかわからない 雨後のタケノコという感じ
4
465
これガチで本質 note.com/saki_reset/n/n56a18…
12
1,642
83
15,327
607,780
おおお
本日よりお世話になっています。 ばちこり頑張っていきます。
10
1,248
AIが書いた文章と、『yomiyasu』で直した文章。 並べるとこれくらい違います。
AI臭くて読みにくい文章を自然で読みやすい日本語へ書き直すスキル『yomiyasu』をリリースしました。 従来の「単語を禁止する手法」から改善し、統語構造(誰が何をどうした)の復元と、比喩動詞の具体化に特化しています。 Claude Code, Codexなどで今日から利用できます。 github.com/nanaism/yomiyasu
19
588
126
5,714
1,267,843
おー 良さげ
「WSL 3.0」がリリース、3カ月のテストを経て「WSL containers」が正式版に/「Docker」なしでLinuxコンテナーを構築・実行、「wslc compose」の… forest.watch.impress.co.jp/d…
3
679
modular subset sum の偉いやつ ちゃんと速そうなので競プロでは決定版?()
Practical Deterministic Linear-Time Modular Subset Sum Phuoc Dinh Le, Kha Le arxiv.org/abs/2609.30992 [𝚌𝚜.𝙳𝚂]
3
13
1,664
3D convex hull と max_i(a_ix+b_iy+c) って大体おんなじ?
3
559
M1 の時にやってた exact matching はかなり AI 使えばできるだろという気がしてる 頼んだ
1
7
1,147
P=BPP からでも行ける説ある
2
298
AWS Lambda は、Lambda マネージドインスタンスで 90 分の関数タイムアウトをサポートするようになりました。 AWS Lambda は、Lambdaマネージドインスタンス(LMI)上での非同期およびイベントソースマッピング(ESM)呼び出しに対して、90分の関数タイムアウトをサポートするようになりました。これは従来の15分の制限から6倍に増加したものです。これにより、データ処理、メディアトランスコ딩、財務計算、AI推論、バッチ処理などのジョブで、長時間継続的な実行が必要な場合でも、アプリケーションの再設計なしで Lambda で実行できます。 顧客は Lambda をイベント駆動型プロセッサ、APIバックエンド、データ処理パイプラインなどのサーバーレスアプリケーションを構築するために使用しています。メディアトランスコディング、財務計算(モンテカルロシミュレーションなど)、長時間継続的な実行が必要な AI 推論などのデータ集中型ワークロードでは、Lambda の 15 分の関数タイムアウト制限により、顧客はアーキテクチャ上の回避策を採用する必要がありました。今回のリリースにより、Lambda マネージドインスタンス上の非同期および ESM呼び出しで、最大 90 分の関数タイムアウトを構成できます。Lambda マネージドインスタンスでは、1インスタンスあたりの複数の同時リクエストを処理し、特殊なコンピュート構成にアクセスし、インフラストラクチャを管理することなく EC2 の価格優位性によってコスト効率を高めることができます。増加した関数タイムアウトは、Lambda デュラブル関数内の呼び出しにも適用されます。デュラブル関数では、長時間実行される呼び出しのチェックポイントとリプレイを可能にします。非同期で呼び出された場合、マルチステップのデュラブル実行は最大 1 年間実行できます。 非同期および ESM呼び出しに対して、最大 90 分の関数タイムアウトを AWS Lambda コンソール、AWS CLI、Lambda API、インフラストラクチャとしてのコードツール、または AWS 用のエージェントツールキットを介して構成できます。同期呼び出しでは、既存の最大 15 分のタイムアウトが維持されます。この機能は、Lambda マネージドインスタンスが利用可能なすべての AWS リージョンで利用できます。 90 分の関数タイムアウトの構成について詳しくは、Lambda 開発ガイドをご覧ください。拡張タイムアウトとチェックポイントおよびリプレイのレジリエンスを組み合わせる方法については、デュラブル関数のドキュメントを参照してください。価格の詳細については、AWS Lambda の価格をご覧ください。AWS Lambda についての詳細は、aws.amazon.com/lambda で確認できます。
1
151
83
378
179,697
Witness-Certified Fair Division with Comparison Queries Tatsuhito Yamagata, Hanna Sumita arxiv.org/abs/2608.16109 [𝚌𝚜.𝙶𝚃 𝚌𝚜.𝙳𝚂]
1
1
5
8,382
Replying to @tatyam_prime
split は GCC 15 まで計算量が O(n) になる罠がありました gcc.gnu.org/bugzilla/show_bu… 今 (GCC 16+) は O(log^2 n) らしい
1
1
7
859
ギコギコはしません ←AI に特有の文章
1
9
584