Z3: コードが正しいかチェックするAI
Microsoft ResearchのAIであるZ3は、複雑な論理式とコンピューターコードを自動で検証します。エラーを早期に発見することで、ソフトウェアや重要なシステムの信頼性を高めます。
複雑なコンピューターコードや論理式が正しいかを自動でチェックする、非常に賢いAIを想像してみてください。それがZ3です。これはMicrosoft Researchが開発した強力なツールで、2008年にリリースされました。Z3はデジタル探偵のように機能します。人間が手動で証明する必要なく、一連の論理規則がすべて同時に真であるかを保証します。
続きはアプリでお読みいただけます。
アプリで続きを読む
あと2段落 · プラス3問のクイズ