ジェーン・ストリートの激ムズ採用パズルを個人が解読、海外で話題に
姉妹サイトの新着
他サイトの新着
- 5chまとめMAPスピードワゴン井戸田、小沢復帰でコンビ復活も「ウソみたいにオファーがないです」
- ニュース速報まとめMAP【サッカー】背番号18の重み。上田綺世はリールで「第二の鎌田」になるか、それとも「期待外れ」に終わるのか？
- なんJ傑作まとめアンテナMAP【悲報】トヨタさんが頑なに小型ミニバンを作らない理由、ルーミーはダイハツ製・・・・・・・・・
- アニメ声優まとめアンテナMAPゲーム開発者「Ｈな母親キャラ登場させたいけど母親ってことは経験済み…これでは売れない…どうすれば……せや！！」
- VTuberまとめアンテナMAP【にじさんじ】本日20時からのCellmates、え？笹木が収録に来ない…しかも卒業経験あり…まさか…！！
- だめぽアンテナ大越ひなの(Aカップ)と冨里奈央(Gカップ)が並んだ結果www
- ヌルポあんてな海外「日本に連れて行ってあげてくれ！」 ちいかわにハマった米国のおじいちゃんが可愛すぎると話題に
- 2chまとめアプリ+小学生中学生時代は足早い奴がモテる←これ
- News人琉球新報ファクトチェック「「米軍基地なくせ」の理由は中国」すべざりえ氏の投稿は本当か？→個人的意見の表明と返り討ちｗ他
- ブルーアンテナクール系男装女に彼女寝取られたから、わからせてやった3
- ウマーあんてなうんこ拭いた紙でちんこ拭いてしまった
- 憂国あんてな|●|散々寛容を訴えてきたリベラル派、「なら、お前の家で不法移民を受け入れろよ」と揶揄された途端に……
- ライムアンテナ鋼の錬金術師って旧アニメ見たほうがええんか？
- おまとめアンテナ「夫にメタノール飲ませて視力障害負わせる」女性被告に無罪 大津地裁判決
- リアルな海外の反応アンテナ【PICK UP】【海外さんいらっしゃい 海外の反応】日本製紙八代工場で解体中の煙突から火災！←「日本でも復興は簡単ではない」（海外の反応）
- とろたまヘッドライン『FF7リメイクシリーズコンプリートエディション』77777円で発売決定！
- うほうほあんてな【悲報】スペイン移民流入で性的暴行多発、1ヶ月で子供9人が被害に
- アナグロあんてな「高市政権を倒す」と宣言した某メディアの編集局長、官邸側から苛烈な報復措置を食らってしまい……
- 2ちゃんねるアンテナ【画像】王様のブランチさん、温泉で女子大生レポーターの谷間を狙い撮り
- まとめクローラゲーム機買いたい
ジェーン・ストリートは超高額報酬で知られる米国の自己勘定取引会社で、以前から難易度の高い採用パズルを公開してきた。今回話題になったのは、チップの回路図(GDSファイル)から中身の論理回路を解析して機能を推測する「リバースエンジニアリング課題」。投稿者はKLayoutやZ3ソルバーなどを駆使して自力で解読し、その過程をブログにまとめた。Hacker Newsのスレッドでは称賛や「高収入の使い道」を茶化すコメントが並ぶ一方、KLayoutやDegate、yosysといった実用ツールの紹介、LLMなら同じ課題をどこまで解けるかという予想、さらには「企業が本当に求めているのは優秀な人材か、それとも従順な人材か」という採用文化をめぐる議論にまで発展した。
ジェーン・ストリートのリバースエンジニアリング課題を解いてみた
出典: jestoph.com / 元記事はこちら
最初は投稿者じゃなくてジェーン・ストリートを揶揄してるのかと思った。もしかして投稿者はジェーン・ストリートの社風にすごく合ってるのかもね(笑)
ググったらジェーン・ストリートのオフィスはニューヨーク、ロンドン、香港、シンガポール、アムステルダム、シカゴにあるらしい。本当に金の使い道に困ってるなら、その辺の都市でヨット販売店を探すといいよ。もう困らなくなるはず。
回路の出力をz3で抽出したっていうのは本当に面白い。そんなことができるとは思いもしなかった。自分はVerilogシミュレーションを回すやり方に少しこだわりすぎてたみたいで、z3は一番難しい一部分にしか使わなかった。形式検証を仕事にするきっかけは何だったの?
『個人的にはそこまで学びは無かった』って、そもそも何を期待してたの?
自分よりずっと速く解けると思うよ。他のコメントでも、あればもっと楽になったはずのツールがいくつか挙がってるし、LLMならそういうツールの使い方も知ってるはずだから。
精度の高い画像認識が必要にはなるけど、そこまで非現実的な話でもないと思う。GDSの設計ファイルにはもっと多くの構造情報が入ってるから。
読み物としてすごく楽しめたよ、ありがとう。たしかに遠回りなやり方だったかもしれないけど、その分10倍は学べたはずだよ。次に何をするかについてだけど、自分は2000年代後半、パズルハントに時間を使いすぎてた時期があって(特にメルボルン大学のやつ)、今回の話はそれと同じ部分の脳を刺激された。残念ながら今はもうやってないけど、似たようなものならきっと楽しめると思うよ。
他サイトの新着
ハードウェアに詳しくない人にとっては未知の領域だからこそ、ジェーン・ストリートを知ってもらう良いきっかけになる課題なんだと思う。ハードウェア以外の職種で採用したい人たちへのアピールにもなるだろうし。とはいえ実はジェーン・ストリートにはハードウェア部門もあって、その活動を話しているポッドキャストもあるよ。
おお、教えてくれてありがとう。見てみるよ。
解法もいいし、イースターエッグの発見もお見事!
GDSのプロパティ98を設定すると、セルインスタンスに安定した名前を付けられるよ。これは出題者のGitHubとsky130の可視化ツールを調べてて知った。この方法で、ネットリストを階層構造に分割するパスを部分的にチェックできた。ちゃんとした解説記事も書きたいんだけど、まだ時間が取れてない。
この話題の背景と論点
ジェーン・ストリートはウォール街でも屈指の高収入で知られる自己勘定取引会社で、以前から数学パズルや暗号解読課題を採用試験・広報に使ってきた。今回話題になった課題は、チップのGDS設計データから論理回路を復元し機能を突き止めるという内容で、投稿者はKLayoutのAPIで回路を解析し、Z3などのSMTソルバーで出力を絞り込む手法をとった。スレッドで意見が分かれたのは、こうした採用パズルの意味そのもの。「本当に実力を評価する数少ない会社」と好意的に見る声がある一方、「結局は普通の実務ができる人材を選んでいるだけ」という冷めた見方も出ている。またLLMがこの種のチップ解析をどこまで自動化できるかという予想も交わされ、画像認識と回路構造の組み合わせが鍵になるという指摘があった。なお本文にもある通り、ジェーン・ストリートは金融取引がメインだが、実際にハードウェア部門を持ち関連ポッドキャストも配信している。
※本記事は5ch(Hacker News)スレッド「Solving the Jane Street Reverse Engineering Challenge」より抜粋・要約して構成しています。
まだコメントはありません。