Hiroyuki Katsura (@moratorium08) | teapawt

Hiroyuki Katsura@moratorium08Oct 12

10月から海外学振でさらに2年間、英国ケンブリッジ大学のComputer Science and Technologyにて研究を続けます。AIの定理証明能力が飛躍的に向上している今、その力を最大限応用した実用システムソフトウェアの形式検証の研究に真正面から取り組んでいます

1

120

4,340

Hiroyuki Katsura@moratorium08Aug 10

DEFCON CTF FinalsにチームBlue Waterから参加してました。チームは優勝🏆 この大AI時代でも、わいわいと賑やかで楽しかったです

1

73

2,471

Hiroyuki Katsura@moratorium08Aug 6

こんにちは、ラスベガスとDEFCON

1

27

1,017

Hiroyuki Katsura@moratorium08Jul 27

これほんとすごい、人間を信じさせてくれ

satos@satos___jpJul 27

ICFPCではLLLMを素手で書いてました。配置最適化をしてくれたチームメイトの協力もあり、凍結直前の順位表の1位よりはスコア小さくなったけどはたして... (LLMもやりたかったけど、2日じゃ間に合わないですね)

5

1,271

Hiroyuki Katsura@moratorium08Jul 27

ICFPC

1

4

646

Hiroyuki Katsura@moratorium08Jul 27

既に十分AI教信者だと思っていたが信仰が足りなかった部分があったかも、介入しすぎた分むしろ使ったトークン量に対するベネフィットが少なかった気がしてきた

4

293

Hiroyuki Katsura@moratorium08Jul 1

ISUCON開催するのマジ？AI禁止にすんのかな(かなりルール強制無理そうな気もするけど)

4

646

Hiroyuki Katsura@moratorium08Jun 20

デンバー(Boulder)にいた、Panda Express にハマった

12

455

Hiroyuki Katsura@moratorium08May 25

DEFCON、まだ一応楽しめたな(多分出るのは今年で最後だろうなあ)

1

21

2,178

Hiroyuki Katsura@moratorium08May 25

以前は、(特にpwnとかで顕著だったが)バイナリの挙動全てを完全に理解してパズルをはめきるみたいなところがしんどいが気持ちよい要素だったが、細かいことは基本的にAIが埋められるし、なんか言えば調査も精度良くやってくれるし、今までやってたものとはまあ別物だなあとは改めてなった

1

7

757

Hiroyuki Katsura@moratorium08May 25

とはいえ、gitvfsとか shelldietの10点解法を思いつかなかったのは、moraGPTが無能だった...ので少なくとも上位はまだ人間がちゃんと強い

4

540

Hiroyuki Katsura@moratorium08Apr 27

AIが仕事してる間に激ウマ麻婆豆腐作った

18

542

Hiroyuki Katsura@moratorium08Apr 9

codexが経験したこと無いバグり方しはじめた

2

97

9,952

Hiroyuki Katsura@moratorium08Mar 8

Codex + GPT 5.4にとうとうpwnの能力で負けた気がしており、涙が止まらない🍄

2

64

8,595

Hiroyuki Katsura@moratorium08Mar 8

強がりを言えば、多分まだGPTが解けている問題は僕も解けるなという気はするものの（例えば DiceCTF gardenは2024年くらいのタイミングでも2桁はsolver出るタイプの問題だと思うので）、体力と解く速度が圧倒的すぎるし、LLMが解けなかった問題は僕も解けない

1

16

1,638

Hiroyuki Katsura@moratorium08Feb 27

去年のSECCON決勝のking of the hill、今振り返っても1年前のあの段階でしか成立しない競技でアツかったな。今年からは短い時間で区切られたフェーズ制のKoHはAI早解きゲーになるだけだろうしどうするんやろ xitter.cf/moratorium08/status/18…

Hiroyuki Katsura@moratorium083 Mar 2025

SECCONで出たKing of the Hillのallegro (2~3時間おきに遅いx86_64謎バイナリが与えられるのでreversingして高速化しなさい)という問題、現AI環境だからこそできる(強すぎても弱すぎても成り立たない)よく設計された問題だったなとChatGPTのログを見直しながら思った

16

2,210

Hiroyuki Katsura@moratorium08Feb 16

ChatGPTがよく使う「〜という整理になります」という日本語に違和感があったので、最近話題の SoftMatcha 2 で用例検索してみたらヒヤリング文章にばかりマッチした。法曹・官僚用語なんだろうか（それともコーパスの問題？）

378

89,099

Hiroyuki Katsura@moratorium08Feb 14

Python、むずいねえ

10

907

Hiroyuki Katsura@moratorium08Jan 12

こんにちは

13

830

Hiroyuki Katsura@moratorium08Jan 8

日本の真実: 楽しい

1

8

475

Hiroyuki Katsura@moratorium08Jan 8

年末年始に会ってくれたり遊んでくれた人ありがとうございました(会えなかった人々は来年対戦お願いします。ロンドンに来てくれてもいい)

6

441