酒寄 健

検証指向プログラミング言語の設計と実装

多くの重要な社会基盤がコンピュータによって制御されている今日、ソフトウェアの信頼性の担保は極めて重要である。しかしながら、現状ではほとんどのソフトウェアが形式検証による理論保証のないまま流通しており、近年の生成AIの活用もこの状況に拍車をかけている。この現状を打破するため、プログラミング言語の設計から見直し、プログラムが正しく動作すること…