天边的月亮原唱

《天边的月亮》原唱艾米尔。

《天边的月亮》这首歌，是由沧海总创演唱，徐子崴作词作曲，原唱艾米尔。2022年1月28日发行在QQ音乐。歌词如下：

天边的月亮

是我注视你的目光

在无垠的夜空

与你遥遥相望

天边的月亮

是我思念你的脸庞

那无情的银河

都洒满我爱的光芒

那天边的月亮啊

夜夜为你而梳妆

月升愿为你照亮

月落愿入你梦乡

那天边的月亮啊

夜夜为你而歌唱

月弯唱你的忧伤

月圆唱那地久天长

天边的月亮

是我注视你的目光

在无垠的夜空

与你遥遥相望

天边的月亮

是我思念你的脸庞

那无情的银河

都洒满我爱的光芒

那天边的月亮啊

夜夜为你而梳妆

月升愿为你照亮

月落愿入你梦乡

那天边的月亮啊

夜夜为你而歌唱

月弯唱你的忧伤

月圆唱那地久天长

那天边的月亮啊

夜夜为你而梳妆

月升愿为你照亮

月落愿入你梦乡

那天边的月亮啊

夜夜为你而歌唱

月弯唱你的忧伤

月圆唱那地久天长

月圆唱那地久天长

歌手简介

艾米尔，毕业于北京**学院，主修主持与表演专业。首席高级婚礼培训讲师，资深婚礼、商务主持人，策划师。工作期间在多部影视剧、话剧作品中担任主要角色。1998年起从事儿童节目主持与综艺节目主持已有十余年的时间。参与过众多节目的策划与主持工作。

艾米尔老师一直从事婚礼主持人基础班及提高班培训工作，他授课经验不仅专业而且非常丰富，其授课态度严谨、认真、对待每位学员极其负责任，同时他也拥有独具特色的授课方法，授课深入浅出，教学课堂上气氛活跃，讲课技巧灵活多变，善于与学生互动，调动学生学习积极性，教学方法针对性强，能够因材施教、因人而异的为每个学员制定不同的教学方法。

天边的月亮歌曲原唱是艾米尔。

艾米尔，女歌手，北京**学院，主修主持与表演专业毕业，1998年起从事儿童节目主持与综艺节目主持已有十余年的时间。艾米尔参与过众多节目的策划与主持工作，艾米尔是一位有着极高音乐灵性的歌者，擅长多种曲风的演唱。

她音域宽广、张力无限，时而细语婉转、时而高亢豪放，让听者不由自主跟着她的歌声释放着自己的喜怒哀乐。徐子崴是在某音乐直播平台听到了艾米尔的演唱，瞬间被其完美的歌声吸引，于是近乎神速地为其量身创作了这首具有民族元素的流行歌曲《天边的月亮》，并力邀当红编曲人冯丹、斯日古冷等音乐圈好友，一同全力协助其制作及策划等工作。

天边的月亮歌词

天边的月亮，是我注视你的目光，在无垠的夜空，与你遥遥相望。天边的月亮，是我思念你的脸庞，那无情的银河，都洒满我爱的光芒。那天边的月亮，夜夜为你而梳妆，月升愿为你照亮，月落愿入你梦乡。那天边的月亮，夜夜为你而歌唱，月弯唱你的忧伤，月圆唱那地久天长。

那天边的月亮，夜夜为你而梳妆，月升愿为你照亮，月落愿入你梦乡。那天边的月亮，夜夜为你而歌唱，月弯唱你的忧伤，月圆唱那地久天长，月圆唱那地久天长。

艾米尔是主持人。

艾米尔,毕业于北京**学院,主修主持与表演专业，首席高级婚礼培训讲师,资深婚礼、商务主持人,策划师。

工作期间在多部影视剧、话剧作品中担任主要角色。 1998年起从事儿童节目主持与综艺节目主持已有十余年的时间。艾米尔参与过众多节目的策划与主持工作。 话剧作品:《巴黎公社的日子》、《雷雨》、《办公室的故事》、《祝福》等。 **作品:《八月的天空》、《忘却也是一种爱》、《斜角街照相馆》等。

中等档次。艾米女装总部顶级韩国设计师领街设计，时尚韩版女装亲民再现。imi艾米女装五大系列，上百个单元，上千种品类，一站式购买。imi艾米女装加盟超低价供货，百分百调换货，款款爆销。

AMII一直秉持着创新的思维，独立的风格的设计理念，创造出个性而不失优雅、简洁而不失有型的时尚品味风格。 AMII的色彩自然，便于搭配组合，有着独立的审美倾向、简约的轮廓造型和精湛的细节处理。 AMII的精神是独立并且热爱生活；对艺术、文学、思潮保持开放的胸襟； 是柔软而坚强的内心。

AMII低调内敛、骨子里张扬，是西方流行元素与东方气质的完美结合，强调的是服装的剪裁、面料的品质，并不推崇过于花哨的配饰；每季每一系列的推出，致 力捕捉个性细节、张扬不羁的年轻风采，巧妙运用时尚、艺术、绘画等元素，强调在时尚空间中永恒存在的现代个性价值，把传统推向另一个现代层次，让舒适性和 唯美共存

在计算机出现后的最初几十年里，计算机实质上是一个巨大的计算器，数字被录入，计算结果被输出。直到20世纪70年代，科学家们才意识到需要正确地验证这些计算结果。随着电脑变得更强大，软件更先进，多任务和变化的数据核查变得更加困难。因此，程序员不得不考虑到时间推移下系统的行为。在这个契机下，时序逻辑被引入计算科学，这是计算科学发展历史的重要转折点。

时序逻辑也叫时态逻辑（temporal logic)，是计算机科学里一个很专业很重要的领域。时序逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统，主要用于形式验证。20 世纪60 年代Arthur Prior提出介入的基于模态逻辑的特殊的时间逻辑系统，这一理论后来被艾米尔·伯努利等逻辑学家进一步发展。

后来，Pnueli在斯坦福大学和IBM Waston 研究中心从事博士后的研究工作，从这时开始，他将工作研究方向转移到计算机科学领域。1973年，他创办了特拉维夫大学计算机科学系，并担任第一任院长。1977 年，Pnueli开创性地把时态逻辑引入计算机科学，他的时态逻辑是非经典逻辑中的一种，研究如何处理含有时间信息的事件的命题和谓词。现在通常称为时序逻辑的计算机系统，就出现在这一年，Pnueli 在子编程语言与系统验证方面做出的杰出贡献具有里程碑意义。

“Pnueli实现了这一逻辑，这是计算机科学的完美契合”，赖斯大学计算工程的摩西教授如是说。1996 年度图灵奖颁奖典礼上，该奖项的题词评价Pnueli 1977年的论文“引发了对系统的动态行为推理的基本模式转变”。这个很杰出的技术诞生后即在软件工程界引起轰动，掀起了软件工程中的一场革命，目前已成为开发反应式系统和并发式系统时进行规格说明和验证的工具，在芯片、硬件的设计上已经广泛运用。

1981年，Pnueli 回到魏兹曼成为计算机科学系的教授。1999年，Pnueli加入美国纽约大学计算机科学系并出任教授一职。此外，和国外绝大多数教授一样，Pnueli 并不拘泥于纯学术的研究和教学。Pnueli 成立了几家软件公司，1971年成立Mini-Systems ，1984年成立AdCad。他还和朋友一起在美国马萨诸塞州创办了另一家公司：iLogixInc，Pnueli 担任iLogixInc 公司的首席科学家。

Pnueli为人谦逊随和，与中国的渊源甚深。他和2008年去世的我国著名逻辑和软件学家唐稚松是至交，二人均是时态逻辑方面是业界领跑人。唐稚松教授提出了世界上第一个可执行时序逻辑语言XYZ/E。如果说Pnueli获1996年图灵奖的最大贡献，是因开创性地将时序逻辑引入计算科学，那么唐稚松则是第一次将这种时序逻辑形式化理论与最新软件技术结合起来，应用该语言将状态转换的控制机制引入到逻辑系统之中的人。Pnueli 赴美接受图灵奖前夕，在写给唐稚松的信中说：“我完全相信，由于使时态逻辑成为具有‘深远影响’的理念，你应该分享这一荣誉（指图灵奖）中一个很有意义的部分。”