Geminiさんに（ハルシネーションで間違った指示もありつつも）いろいろ教えてもらいながら、やってみたら、AdaのSPARK使えた！＞＜
SPARKに怒られてるのはこういうコード＞＜
思考の /dev/null
SPARKに怒られてるのはこういうコード＞＜