atzy
@atzyyama
Followers
36
Following
173
Media
5
Statuses
219
RT @yamaji: エムスリー様のテックブログで、.脆弱性のAIトリアージの試みの記事でyamoryのデータを使っていただきました。.
m3tech.blog
お疲れ様です。エムスリーでセキュリティなどを担当している山本です。 最近は「生成AI x セキュリティ」にも関心を寄せており、色々と試していますので、その辺りの話をブログリレーの中で書いてみたいと思います。 テーマは「検出された少ないライブラリ脆弱性にどのようにAIを武器にして向き合っていくか」です。 脆弱性検出とその…
0
3
0
これをもっと高度に自動化していければなあと思うんだけど、時間が取れていない。.一番いいのは最初にリポジトリスキャンする時に一緒にチェックしてくれることですが、カスタマイズもしたいのでこれみたいな二段階(AIが脆弱性をまとめる→AIがそれを使ってコード解析)をとるのもいいと思ってる。.
テックブログに投稿しました。 "ライブラリ脆弱性に対するAIトリアージの試み" :
0
1
4
そういえば、正則表現Rに対応するFlowRegex が受理するというかマッチする集合をF(R)とした時に、Rに対する正則集合である L(R) がF(R)と等しいことの証明を書いていなかった気がしますね。.証明の道筋は構造的帰納法だけど、直感的には問題なく示せそう。.というか、証明を書いた記憶もかすかにある。.
0
0
0
昨日発表した正規表現(flowregex)のコードやreadmeはこの形で生成AIによって作成しています。.理論面についてもかなりGemini 2.5の検討をしました。. #Nextbeattechbar.
m3tech.blog
こんにちは。今回は、GeminiとClaude 4という2つのAIアシスタントだけを使って、正規表現ライブラリを一から作成した体験をお話しします。 きっかけ：古い理論への興味 驚異的な開発速度：正味数時間で完成 AIアシスタントによる開発プロセス 役割分担の自然な発生 AIによるコード生成の質 学術論文レベルの理論整備…
0
5
15
gemini-cli / claude codeを使ってるんだけど、日本語での会話がしづらい気がする。.大抵、OKとかsureとかI've got it とかで済むせいもあって、そのまま英語で指示をしている。.
0
0
0
RT @hasegawayosuke: 多くのセキュリティ製品・サービスについて言えることだけど、利用者側が品質を確認するのは難しく、提供者側と利用者側の情報量に大きな非対称性がある典型的なレモンマーケット。なので価格や利便性のようなわかりやすい条件だけを優先してサービスを提供….
0
22
0
ケチくさくClaude Pro ($20/month) を使ってるんだけど、貧しいから仕方ない。(念のため。Private利用です。会社の金じゃなくて自分のお金です。会社のお金のものについてはそれはそれでMaxにした方が良さそうな気はしてます。).とりあえずそんな頑張らず、チャットを多用。.
1
0
0