# セミナーの内容 プログラムの正しさを数学的に証明する技術を体験するセミナーです。プログラミングやテストに携わる人が対象です。基本的なプログラミングの知識だけで理解できる構成です。単に話を聞くだけでなく、頭と手を動かして体験していただきます。数学を使う部分はほとんどツールがやってくれるので、数学の…