結局C言語最強？
ならZetZも盛り上がる可能性ある？
https://www.infoq.com/jp/news/2020/05/zz-formal-verified-c-dialect/