0939デフォルトの名無しさん垢版 | 大砲2021/03/28(日) 01:28:47.05ID:JTpxnMQC >>905 こういうのはどう? https://www.infoq.com/jp/news/2020/05/zz-formal-verified-c-dialect/