記事へのコメント5

    • 注目コメント
    • 新着コメント
    kenkoudaini
    Leanの正しさは証明できるの?

    その他
    dominion525
    チェシャ猫さんかなと思ったらチェシャ猫さんだった件。いつも素晴らしいオピニオンで楽しみにしてる。

    その他
    pekee-nuee-nuee
    なるほどとはなったが中身は理解してないです

    その他
    atsushieno
    コード生成エンジンが「一定の時間内に処理を完了させる」という挙動の正しさを証明できるようにするにはどうすればいいのだろうな、ということを考えてしまう

    その他
    pribetch
    pribetch 君らの神の正気は一体どこの誰が保障してくれるのだね定期

    2026/01/10 リンク

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック!
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    形式手法特論:コンパイラの「正しさ」は証明できるか? #burikaigi / BuriKaigi 2026

    BuriKaigi 2026 で使用したスライドです。 セッションでは、定理証明支援系 Lean を用いたコンパイラ...

    ブックマークしたユーザー

    • sylph012026/01/14 sylph01
    • tasukuchan2026/01/13 tasukuchan
    • Watson2026/01/12 Watson
    • bootJP2026/01/12 bootJP
    • nabeatsu12026/01/12 nabeatsu1
    • without_exception2026/01/12 without_exception
    • Galbo2026/01/11 Galbo
    • Kirche2026/01/11 Kirche
    • xsde2026/01/11 xsde
    • midas365452026/01/11 midas36545
    • amagasa992026/01/11 amagasa99
    • kenkoudaini2026/01/11 kenkoudaini
    • iwadon2026/01/11 iwadon
    • buriki_gadget2026/01/11 buriki_gadget
    • snaka722026/01/11 snaka72
    • applesin2026/01/11 applesin
    • buell2026/01/11 buell
    • dominion5252026/01/11 dominion525
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    同時期にブックマークされた記事

    いま人気の記事 - 企業メディア

    企業メディアをもっと読む