AIニュース

BuriKaigi 2026 で Lean によるコンパイラの証明について話してきました - チェシャ猫の消滅定理

2026.01.16 8:53
Hateblo.jp
このエントリーをはてなブックマークに追加

こんにちは、チェシャ猫です。 先日開催された BuriKaigi 2026 で、定理証明支援系 Lean を用いたコンパイラの証明について登壇してきました。公募 CFP 枠です。 fortee.jp 講演概要 近年、生成 AI を利用したシステム開発はもはや特殊な選択肢ではなく、一般のプログラマでも十分に活用しうる水準の技術となりました。一方、生成 AI が高速かつ大量に、しかしハルシネーションを含んだ出力を行うことにより、その正しさを改めて確認する側の人間の負担感も様々な場所で聞かれ、AI Slop などと呼ば…

記事全文へ

検索

人気記事

T字路の「矢印信号、効率よく点灯させたい。しかも、安全に」…じつは、点灯する矢印を塗り分けすると解決。「頂点彩色」というワザの中身

2026.04.10 6:45

5K解像度でデュアルモードに対応した39型ウルトラワイドディスプレイがLGから登場

2026.04.09 20:27

ChatGPTで「ビジョンボード」をラクにつくる方法。頭の中のふわっとした目標をAIで明確化 | ライフハッカー・ジャパン

2026.04.09 22:22

生成AIで書いた就活エントリーシートを企業は見抜けるのか　重要なのは「印象」と「ストーリー」

2026.04.09 11:33

株式会社ナレッジセンス大企業向け 生成AI活用プラットフォーム「ChatSense」、AI回答をワンアクションで回答ソースに追加する機能をリリース

2026.04.09 16:08

コメント一覧

まだコメントはありません。

コメント