画力・博士号・油田
gfngfn.bsky.social
Website: https://gfngfn.github.io/ja/ GitHub: https://github.com/gfngfn Twitter (”X”): https://twitter.com/bd_gfngfn
👤 Joined on 27 July 2023
551
Followers
404
Following
55
Total Posts
📜 Kullanıcı Geçmişi
- 27 Tem 2023, 04:21
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@gfngfn.bsky.social - 09 Kas 2023, 22:03
🔄 Profil bilgileri güncellendi
🚫 Blokladığı Kullanıcılar
Bu kullanıcının blokladığı kullanıcı bulunamadı.
❤️ Beğendiği Gönderiler
Han Bao, Shinsaku Sakaue, Kazuki Watanabe: Convex-Analytic View of Query Selection for Safety Verification of Markov Decision Processes https://arxiv.org/abs/2610.17541 https://arxiv.org/pdf/2610.17541 https://arxiv.org/html/2610.17541
Show Post
自分の手書き証明を元にLean上でCodexに形式化させるまでは良かったが、Lean上での定義や定式化が全然気に食わなくて一生ちまちま変更させてしまっている...
Show Post
