プログラム証明論

【ぷろぐらむしょうめいろん】

读成：ぷろぐらむしょうめいろん
中文：程序校验论

扫二维码关注日语微信公众号：
① 收听查询单词的发音
② 收听日语每日一句
③ 日语汉字转假名
④ 和30万小伙伴一起学日语
⑤ 语音翻译
⑥ 图片翻译