前にChatGPTと「Ada/SPARKの方がRustよりも安全なんじゃないの？＞＜；」って議論した時に
GPTさんが「数学的な証明が好きな人はSPARKの方が向いてるけど、そこらのプログラマが皆、厳密な数学の証明の考え方で物事を考えてるわけではないので、Rustの方が大半の人にとって安全に書きやすい」みたいな事を言ってて「そうなの？＞＜；」ってなったけど、実際に弄ってみると、なるほど数学の証明かも＞＜；