Leanで証明とか数学科の遊びかと思ってたけど、AWSの実績出すとぐうの音も出ない。単体テスト教徒には耳が痛い話だわ
君らの神の正気は一体どこの誰が保障してくれるのだね定期
コード生成エンジンが「一定の時間内に処理を完了させる」という挙動の正しさを証明できるようにするにはどうすればいいのだろうな、ということを考えてしまう
なるほどとはなったが中身は理解してないです
チェシャ猫さんかなと思ったらチェシャ猫さんだった件。いつも素晴らしいオピニオンで楽しみにしてる。
形式手法特論：コンパイラの「正しさ」は証明できるか？ #burikaigi / BuriKaigi 2026
Leanで証明とか数学科の遊びかと思ってたけど、AWSの実績出すとぐうの音も出ない。単体テスト教徒には耳が痛い話だわ
君らの神の正気は一体どこの誰が保障してくれるのだね定期
コード生成エンジンが「一定の時間内に処理を完了させる」という挙動の正しさを証明できるようにするにはどうすればいいのだろうな、ということを考えてしまう
なるほどとはなったが中身は理解してないです
チェシャ猫さんかなと思ったらチェシャ猫さんだった件。いつも素晴らしいオピニオンで楽しみにしてる。