Agda
Agda英文名信息
英文名字:Agda
Agda中文名字:艾格达
Agda性别倾向:女
Agda来源语种: 斯堪的纳维亚语(Scandinavian)
Agda发音音标:美式发音 [ˈæɡdə] 英式发音 [ˈæɡdə]
Agda性格特征:神话
Agda名字寓意:好的,可敬的
Agda的含义:
Agda是一种功能强大的依赖类型理论和证明辅助工具,其英文名源自于希腊语中的 'agathos',意为 '好的' 或 '优秀的'。这个名称旨在传达Agda作为一个优秀的编程工具和理论研究工具的含义。Agda能够帮助开发人员在编写程序时进行形式化的证明和类型检查,以保证程序的正确性和可靠性。通过使用Agda,开发人员能够更轻松地构建高质量的软件,并提供了一种更严格而可靠的验证方法。
Agda在美国的人气
最近几年每百万人中男生、女生叫Agda的人数
2021年:在每百万人中,男生叫Agda的人数为0人,女生叫Agda的人数为3人。
Agda在美国的年份排行数据
Agda(男性) | Agda(女性) | |
---|---|---|
年份 | 排行 百分比 | 排行 百分比 |
2021 |
#0
0
|
#16663
0.00030970
|
Agda相关的英文名
英文名 | 中文名音译 | 性别 | 来源 | 名字含义 |
---|---|---|---|---|
Christi-Anne | 克丽丝蒂安 | 女生 | 拉丁语 | 基督的追随者 |
Hansel | 汉塞尔 | 男生 | 希伯来语 | 上帝是仁慈的 |
Thad | 泰德 | 男生 | 上帝的恩赐 | |
Nainadevi | 奈那德维 | 女生 | 印度语 | 女神 |
Aikaanga | 艾卡安嘎 | 男生 | 印度语 | 士兵 |
Karunya | 卡鲁尼娅 | 女生 | 印度语 | 富有同情心的 |
Yeshaswini | 耶沙夏维尼 | 女生 | 印度语 | 女士 |
Kaseko | 卡塞科 | 男生 | 非洲语 | 嘲笑,嘲弄 |
Maysun | 梅桑 | 女生 | 穆斯林语 | 美丽 |
Immacolata | 无暇的 | 女生 | 西班牙语 | 无暇的 |
Dabria | 达布里亚 | 女生 | 拉丁语 | 天使的名字 |
Carisa | 卡瑞莎 | 女生 | 希腊语 | 恩典 |
Sadhbh | 萨伊撒班 | 女生 | 爱尔兰语 | 甜蜜的 |
Cashlin | 卡什林 | 男生 | 小城堡 | |
Ereshva | 伊莉丝瓦 | 女生 | 印度语 | 正义的 |
Fatma | 法特玛 | 女生 | 穆斯林语 | 先知的女儿 |
Nanci | 南茜 | 女生 | 希伯来语 | 优雅,宠爱 |
Bennie | 贝尼 | 男生 | 希伯来语 | 宝贝,心肝宝贝 |
Xavian | 萨维安 | 男生 | 明亮的新屋 | |
Trupti | 特鲁普蒂 | 女生 | 印度语 | 满满的;充实的 |