Kazuki Watanabe

助教@国立情報学研究所
専門: ソフトウェア検証、(応用)圏論

[Artur Lojewski @ArturLojewski]

Software Foundations will be translated to Lean! 😎 Available around fall.

https://t.co/dG3byswaDR

Here’s the Zulip announcement by Benjamin C. Pierce:

https://t.co/0MSmcJsCXI

#LeanLang #LeanProver #SoftwareFoundations

[Yaron (Ron) Minsky @yminsky]

I've been telling people for 25 years that Jane Street is not interested in formal methods.

No more!

And we're actively hiring to form a new formal methods team!

[Leonardo de Moura @Leonard41111588]

The goal: a verified software stack, open source, mathematically guaranteed correct.

The role of the engineer changes but does not shrink. More design, more specification, more thinking. Less debugging, less hoping the tests are sufficient.

#LeanLang #LeanProver

[Peter O'Hearn @PeterOHearn12]

I'm looking for a postdoc to work on Separation Logic in Lean. Position in the London Meta office, in the new AI Verification team. Possibly collaborating with or building on external work on CSLib, Iris-Lean and loom.@AIatMeta @leanprover
https://t.co/HAOutBa3A4

[Kazuki Watanabe @KWatanabeCS]

静的検査や型システムのような形式手法はもはや必要不可欠なレベルで役に立っている手法だと広く認知されていると思うのですが、より発展的な形式手法に関する実応用での事例をAWSが報告している論文がありまして、こちらかなり面白いです(モデル検査や定理証明もあります)！
https://t.co/x1MzNiG2F6

[Masaki Haga @silasolla]

生成 AI での開発について自分が思っていることバカ丁寧に書きました (この話題は一旦ここで区切りをつけます)
https://t.co/YdaiWU6XGR

[Kazutaka Matsuda @KazutakaMatsuda]

監訳として参画しておりました書籍が発売されましたので，興味のある方はどうぞお手にとって貰えればと

https://t.co/8btEOWE1Ck

[Yudai Tanabe @yudai_TNB]

PPL 2026 カテゴリ1,2,4 採択リスト
https://t.co/VFvt0OLyvg

[Kazuki Watanabe @KWatanabeCS]

@BOBO__1997 @kotapiku ありがとうございます!!

[Kazuki Watanabe @KWatanabeCS]

郡さん(@kotapiku )との共著がFoSSaCS2026に採択されました！イタリアで会いましょう🇮🇹
フルバージョンはこちらに公開されています。
https://t.co/ihkQLNLeNL

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

スタートアップの方でインターンを募集しています．

業務内容は開発サポートですが、関数型言語による大規模ソフトウェアの開発の現場を見ていただける機会にもなります．ぜひご検討ください．

https://t.co/acEVhmu9LK

[Kazuki Watanabe @KWatanabeCS]

友人におすすめされて前情報ゼロで鑑賞した「ファーストキス 1ST KISS」が、全く想定していなかった方向から色々と刺さる内容で驚きました...😅

[Kazuki Watanabe @KWatanabeCS]

出張続きだったのもあって、MFCSのbest student paper awardの賞状をようやく受け取りました！学生だけが受賞資格がある賞を受賞できる正真正銘ラストチャンスだったので嬉しいです!😆

[Kazuki Watanabe @KWatanabeCS]

ぼちぼち締め切りモードに切り替えられつつあるんですが、最近かなり締め切りドリブン気味になってしまっているのはよくない気がしています...😇

[Taro Sekiyama @skymountain_]

11/12(水)18:00 からNII/総研大の大学院説明会が開催されます
https://t.co/O1WMESYNs8
私の研究室 (https://t.co/mMMHU5homg) でも学生さんを募集していますので、プログラミング言語理論・プログラム検証に興味のある方はご連絡ください（事前連絡が必須になっているのでご注意を）

[Kazuki Watanabe @KWatanabeCS]

博士課程のうちに解決できなかった博論の未解決課題がここ数ヶ月でどんどん解決していて、非常に嬉しい気持ちになっています(しかしそれについて考えすぎてしまうせいで最近寝つきが悪い...)

[Kazuki Watanabe @KWatanabeCS]

@yudai_TNB わかります(入門中)

[Kazuki Watanabe @KWatanabeCS]

Submitted! 今回結構自信作を出せた気がします😆

[Kazuki Watanabe @KWatanabeCS]

台湾から帰国します！これまで参加した国際会議で一番快適だった気がします😆

[Kazuki Watanabe @KWatanabeCS]

昔落とされてそのまま他のことをしつつ放置していた論文を再投稿のために読み直すと、こいつ中々面白いことしてるやんけ！という気持ちになれて実はメンタルにいいかもしれないということに気づきました(真偽不明)