■21卒SIer ← CS修士←東北大 ■最近は競プロ、ゲーム制作、機械学習、CTF。AtCoder Algo青 Huer黄 ■修士研究はプログラミング言語理論・プログラム検証 ■ @BinauralSheep
Joined December 2021
- Tweets 12,784
- Following 1,770
- Followers 2,452
- Likes 49,408
2,288 Photos and videos
Pinned Tweet
30 Jan 2025
└( ＾ω＾ )┘♪ 書いた♪└( ＾ω＾ )┘♪ 書いた♪
【分割統治法】マスター法で常勝！Strassen、マージソートなどの計算量証明【アルゴリズムイントロダクション】 qiita.com/BinomialSheep/item… #Qiita @BinomialSheepより
1
54
27,827
Jun 13
内部レート変更による上昇よりも環境の上昇の方が強くて困ってます！！
BinomialSheepさんのCodeQUEEN 2026 予選 (AtCoder Beginner Contest 462)での成績：1480位
パフォーマンス：1488相当
レーティング：1769→1744 (-25) :(
#AtCoder #ABC462 atcoder.jp/users/BinomialShe…
37
826
Jun 13
犯人候補がわからない？wフッフッフw心配することなかれwwこんな時にも役に立つのが競技プログラミング、伝家の宝刀†イベントソート†を使わせていただきますぞ！www
競プロer「2人の犯人と犯行開始時刻の組としてありうる個数は1京通りです。具体的な組は列挙しません」
コナン「バーローｗ」
7
41
2,428
Jun 13
ABC462
kemunikuさんが9度目の入黄を果たし、これでのべ9人目の黄羊となりました
D：
盲点
1秒ごとに走査して「D秒前からいた人数」が分かればよく、これはイベントソートでD秒前に入ってきた人を足しながら今出てった人を引けばいい。D秒未満しかいない人は最初からいなかったことにした。
1
29
2,226
Jun 13
E：
A1回で横移動よりも、B3回で縦横縦移動の方が短いケースがあるので、あとは実装を共通化しながら頑張る。
F：
貪欲にやると「XABCABCXX」を処理できないからDPが必要なんだなぁとサンプルを試してから気づいた。既存のABCを壊す遷移が整理できなくてタイムアップ。
6
585
Jun 11
でも今「LLM実装やってます」と言ったら「お、ゼロから作るDeep Learning ❻ですか！僕も週末にやってます！！」ってなるよな……
Jun 10
「LLM実装やってます」と言うと、「スクラッチでモデル作ったんですか？」と聞かれることがあります。
違います。そんな人はほぼいないし、業務で必要になる場面もほぼないです。
現場で言う「LLM実装」は大半がこれです。
①APIを叩いてアプリに組み込む：OpenAIやGoogle、AnthropicのAPIを使って、プロダクトの機能としてLLMを動かす。
②RAGを構築する：社内ドキュメントや外部データをベクトルDBに格納して、LLMが参照できる仕組みを作る。
③プロンプトを設計・管理する：用途に応じてシステムプロンプトを設計し、出力の品質を担保する仕組みを整える。
④エージェントを組む：複数のツールやAPIをLLMに組み合わせて、タスクを自律的にこなす仕組みを作る。
スクラッチでTransformerを実装したり、独自モデルをゼロから学習させたりするのはAI研究開発の領域です。AI活用開発とは求められるスキルが全然違う。
そもそもAnthropicはすでにClaude Fable 5を一般公開しつつ、その裏側にはセーフガードを外したClaude Mythos 5を保持しています。Mythos 5はサイバーセキュリティ上の懸念から一般には非公開で、限られた組織にのみ提供されている状態です。
つまり公開できないほど高性能なモデルがすでに存在していて、モデルの性能競争は個人や一般企業が戦える土俵ではなくなりつつあります。
今AIエンジニアがやるべきことは、目の前で困っている人や解決されていない社会課題に、AIをどう組み込むかを考えることです。
モデルを作る競争ではなく、モデルを使って何を解決するかの競争が始まっています。
1
4
122
33,993
Jun 8
AHC066、「まぁday 1はこんなもんだろ解 予想perf 1400」だけ出したけど緑perfっぽくて、寒色解法から賢そう。
「ボールを拾ったら必ず対応するカゴに操作回数最短で入れる」をボールの順序でTSPしたあと、適当な貪欲に圧縮。圧縮後のスコアでTSPしたり乱択したりなどする。
3
6
1,204
Jun 8
次は「距離が近くなる方向に限って中間置きを許す」か「暫定解をベースに前から見ていってマクロ使って改善するなら改変する」かなと思ったけど、相対32.6Gなので全く足りなそう。
マスターズ予選っぽく良いマクロの候補を用意して決め打ちながらビームとかなど。
1
635
Jun 8
軽微な推敲を除いて人の手で書いたであろう技術記事でも、端々にGPT 5.xっぽい言い回しが増えているのを見ると、侵蝕されてるなぁと思う。
このまま一気にLLM登場前後で類似の言い回しを比較する検証コードまで書きますか？
定量化すると説得力に効いてきます。
16
943
Jun 5
10回クイズの本
↑
なに？？市民図書館の子ども向けフロア？？？ポプラ社の大人にはないしょだよシリーズ？？？？？
Jun 4
10回クイズの本：
「XXXって10回言って」
「XXX, XXX, …」
「じゃあこれは？」
「YYY！」
「ブブー、ZZZでした！」
※相手がZZZと答えたら、YYYでしたーって言ってね！
ぼく：10回言わせるパート、非本質すぎない？？
1
2
1,007
Jun 5
【エースコンバットの略称】
①AC
「身体は闘争を求める」「AC33 WA1」
②ACE
「逆境的小児期体験（Adverse Childhood Experiences）ですね」
③エスコン
「それは日ハムの本拠地エスコンフィールド」
（なんであれ統一されていないのでツイート検索をしにくい）
524
Jun 2
Wordについて、レポートで熱心に使っている学部生より分かってない
Jun 1
ITエンジニアでそれなりのキャリアがあるのでわかってるフリしてるけど実はよくわかってないもの選手権2026
1
990