目录
一、Wikipedia encyclopedia编程语言历史 (1590字) [1]1
编程语言早期历史1
建立基本范式2
1980s: consolidation, modules, performance整合,模块,性能2
1990s: the Internet age互联网时代2
Current trends目前的趋势3
突出的人3
二、编程语言的历史 (3050字) [2]4
去自然化4
提取精华4
正本清源5
三、IEEE Spectrum2017编程语言排行:Python 夺冠 (650字) [2]5
参考文献References (450字)7
Appx. 新闻4则及历史名人事件 (6420字)8
Appx. 数据简化DataSimp社区译文志愿者(600字)11
简介:第一部分内容选自Wikipedia encyclopedia编程语言历史 (3210字):编程语言早期历史;第一编程语言;建立基本范式;1980s: consolidation, modules, performance整合,模块,性能;1990s: the Internet age互联网时代;Current trends目前的趋势;突出的人。也是一种计算史:硬件、软件、计算机科学、现代概念、时间的计算。第二部分“编程语言的历史 (3070字)”综述一下上述过程:去自然化、提取精华、正本清源。最后是前几天的新闻:IEEE Spectrum2017编程语言排行:Python 夺冠 (650字)。
来源:秦陇纪2010数据简化DataSimp参考知乎、维基百科、开源中国原文翻译整理后汇编而成。附:周五新闻4则及历史名人事件。转发/留言/打赏/阅读原文下载23k字12页彩标PDF文档。
一、Wikipedia encyclopedia编程语言历史 (1590字) [1]
第一部分内容:1编程语言早期历史;2第一种编程语言;3基本模式的建立;4年代:整合模块,性能;5世纪90年代:互联网时代;6目前的趋势;7突出的人。也是一种计算史:硬件、软件、计算机科学、现代概念、时间的计算。
编程语言早期历史
第一个编程语言:1940s,汇编程序语言。随后一些著名的语言,在这一时期发展包括:
1951 – Regional Assembly Language
1952 – Autocode
1954 – IPL (forerunner to LISP)
1955 – FLOW-MATIC (led to COBOL)
1957 – FORTRAN (First compiler)
1957 – COMTRAN (precursor to COBOL)
1958 – LISP
1958 – ALGOL 58
1959 – FACT (forerunner to COBOL)
1959 – COBOL
1959 – RPG
1962 – APL
1962 – Simula
1962 – SNOBOL
1963 – CPL (forerunner to C)
1964 – Speakeasy (computational environment)
1964 – BASIC
1964 – PL/I
1966 – JOSS
1967 – BCPL (forerunner to C)
建立基本范式
20世纪60年代末到70年代末期主要编程语言,大多数语言范式是在这一时期发明的:
Speakeasy (计算环境):1964 at Argonne National Laboratory (ANL) by Stanley Cohen, is an OOPS (object-oriented programming, much like the later MATLAB, IDL (programming language) and Mathematica) numerical package. Speakeasy has a clear Fortran foundation syntax. It first addressed efficient physics computation internally at ANL, was modified for research use (as "Modeleasy") for the Federal Reserve Board in the early 1970s and then was made available commercially; Speakeasy and Modeleasy are still in use currently.
Simula, invented in the late 1960s by Nygaard and Dahl as a superset of Algol 60, was the first language designed to support object-oriented programming.
C, an early systems programming language, was developed by Dennis Ritchie and Ken Thompson at Bell Labs between 1969 and 1973.
Smalltalk (mid-1970s) provided a complete ground-up design of an object-oriented language.
Prolog, designed in 1972 by Colmerauer, Roussel, and Kowalski, was the first logic programming language.
ML built a polymorphic type system (invented by Robin Milner in 1973) on top of Lisp,[13] pioneering statically typed functional programming languages.
这些语言产生的后代一个完整的家庭,和大多数现代语言计数其中至少有一个在他们的祖先。上世纪60、70年代也看到了“结构化”优点相当多的争论,意味着程序不使用“转到”。程序员的一个重要部分掩饰同时,即使在语言提供的“goto”语句,这是不好的编程风格。一些著名的语言,在这一时期发展包括:
1968 – Logo
1969 – B (forerunner to C)
1970 – Pascal
1970 – Forth
1972 – C
1972 – Smalltalk
1972 – Prolog
1973 – ML
1975 – Scheme
1978 – SQL (a query language, later extended)
1980s: consolidation, modules, performance整合,模块,性能
上世纪80年代也带来了编程语言的实施进展。在计算机体系结构RISC运动假定硬件应该为编译器设计,而不是人类的汇编程序。通过提高处理器速度,RISC运动引发了高级编译技术语言兴起。90年代著名的语言发展包括:
1980 – C++ (as C with classes, renamed in 1983)
1983 – Ada
1984 – Common Lisp
1984 – MATLAB
1985 – Eiffel
1986 – Objective-C
1986 – LabVIEW (Visual Programming Language)
1986 – Erlang
1987 – Perl
1988 – Tcl
1988 – Wolfram Language (as part of Mathematica, only got a separate name in June 2013)
1989 – FL (Backus)
1990s: the Internet age互联网时代
一些著名的语言,在这一时期发展包括:
1990 – Haskell
1991 – Python
1991 – Visual Basic
1993 – Ruby
1993 – Lua
1993 – R
1994 – CLOS (part of ANSI Common Lisp)
1995 – Ada 95
1995 – Java
1995 – Delphi (Object Pascal)
1995 – JavaScript
1995 – PHP
1997 – Rebol
1999 – D
Current trends目前的趋势
添加对语言的安全性和可靠性验证的机制:扩展静态检查、依赖类型、信息流控制、静态线程安全。组合性和模块化的替代机制:混入,性状,代表,方面。面向构件的软件开发。元编程,反射或访问的抽象语法树;AOP或面向方面编程允许开发人员在“连接点”中插入另一个模块或类中的代码;领域特定语言和代码生成;XML的图形界面(XUL,XAML);在分布和流动性增加的兴趣。集成的数据库,包括XML和关系数据库。开源作为语言的发展哲学,包括GNU编译器集合和Python、Ruby和Scala等语言。大规模并行语言编码2000处理器GPU图形处理单元阵列包括OpenCL和超级计算机;早期的研究(尚未实施时)量子计算的编程语言。一些著名语言包括:
2000 – ActionScript
2001 – C#
2003 – Apache Groovy
2003 – Scala
2005 – F#
2006 – Windows PowerShell
2007 – Clojure
2009 – Go
2010 – Rust
2011 – Dart
2011 – Kotlin
2012 – Julia
2014 – Swift
突出的人
Anders Hejlsberg安德斯,Yukihiro Matsumoto松本行弘,Grace M. Hopper格雷斯(女子名)M.料斗,Bjarne Stroustrup,Niklaus Wirth。一些关键的人帮助开发编程语言:
Alan Cooper, developer of Visual Basic.
Alan Kay, pioneering work on object-oriented programming, and originator of Smalltalk.
Anders Hejlsberg, developer of Turbo Pascal, Delphi, C#, and TypeScript.
Bertrand Meyer, inventor of Eiffel.
Bjarne Stroustrup, developer of C++.
Brian Kernighan, co-author of the first book on the C programming language with Dennis Ritchie, coauthor of the AWK and AMPL programming languages.
Dennis Ritchie, inventor of C. Unix Operating System, Plan 9 Operating System.
Edsger W. Dijkstra, developed the framework for structured programming.
Grace Hopper, inventor of the first compiler and developer of Flow-Matic, influencing COBOL. Popularized machine-independent programming languages and the term "debugging".
Guido van Rossum, creator of Python.
James Gosling, developer of Oak, the precursor of Java.
Jean Ichbiah, chief designer of Ada, Ada 83
Jean-Yves Girard, co-inventor of the polymorphic lambda calculus (System F).
Jeff Bezanson, got a PhD for the Julia language, one of the designers, and one of the core developers (and only developer of FemtoLisp).
Joe Armstrong, creator of Erlang.
John Backus, inventor of Fortran and cooperated in the design of ALGOL 58 and ALGOL 60.
John C. Reynolds, co-inventor of the polymorphic lambda calculus (System F).
John McCarthy, inventor of LISP.
John von Neumann, originator of the operating system concept.
Ken Thompson, inventor of B, Go Programming Language, Inferno Programming Language, and Unix Operating System co-author.
Kenneth E. Iverson, developer of APL, and co-developer of J along with Roger Hui.
Konrad Zuse, designed the first high-level programming language, Plankalkül (which influenced ALGOL 58[14]).
Kristen Nygaard, pioneered object-oriented programming, co-invented Simula.
Larry Wall, creator of the Perl programming language (see Perl and Perl 6).
Martin Odersky, creator of Scala, and previously a contributor to the design of Java.
Nathaniel Rochester, inventor of first assembler (IBM 701).
Niklaus Wirth, inventor of Pascal, Modula and Oberon.
Ole-Johan Dahl, pioneered object-oriented programming, co-invented Simula.
Rich Hickey, creator of Clojure.
Robin Milner, inventor of ML, and sharing credit for Hindley–Milner polymorphic type inference.
Stephen Wolfram, creator of Mathematica.
Yukihiro Matsumoto, creator of Ruby.
二、编程语言的历史 (3050字) [2]
这些被遗忘的编程语言,还在诉说他们的故事。
去自然化
1978年,为了记录下编程语言的发展,展开了会议<History of Programming Language>。这某种意义上,算是PL的‘华山论剑’-天下各路PL中极小数强者,聚集(语言不会走路,是这些语言的设计师&实现者聚集)。13个入选的语言中,5个有图灵奖得主参与!(APL, Algol, Fortran, Lisp, Simula)这等豪华阵容,只怕再也凑不出。当然,没有什么比武。不过,之后又举办了两次HOPL,总计三次,真是个美妙的巧合啊。
在这个大会上,Opening是Grace Hopper,Cobol的主刀。我读到这的时候,也很不解。Cobol何德何能,为何能占着Opening,这位置上面的5个‘图灵奖语言’那个不更有资格?她说:“我被你们震惊到了。你们都是权威,然而我这辈子花了20年去跟权威作斗争!
PL早期中我们最常听到的话是‘编程计算机的唯一方法是8进制。’(省略)在那时,权威跟我们说,用计算机编程是不可能的,计算机唯一能做的只有算术。”一个编程语言,条件判断靠if else,自指用递归,组成更大的数据类型用struct。。。这几个构造如此天经地义,导致看上去没有任何其他alternative:还能怎么弄。然而,连‘编程语言’在当时很多人眼中都是不可能,这些构造又怎么可能‘自然’呢?if else,是1960左右,John Mccarthy发明,并且加入Algol 60。在此以前,Fortran只有if后面跟着一个int表达式,然后跟着三个整数-跳转的行号!(没错,goto在当时是跳转到行号的)当然,Fortran也一样被‘权威’看不起,认为‘一切高级编程语言都很慢,不够用’。听上去像不像C语言程序员嘲笑其他高级语言慢?这就是学历史的另一个好处:知道什么论点会被历史的车轮碾压。
PL的递归,是同时由John Mccarthy发明的。值得一提的是,这特性差点没进Algol 60。至于struct,一开始只有Cobol才有,到了近8年后,到了Algol 68,才传播到各个语言。函数式程序员别得意,John自己也搞不懂啥是Lambda Calculus,到了1964 Peter Landin才指出Lambda Calculus可以用来编程。而事实上,if else, recursion, struct, lambda,全部都有人改过,并且投入使用。把if else改成if ... else if ... else if ... (没有最终else),然后不规定同时满足多个条件时,进入那个分支(non determinism),就有Dijkstra的Guard Command Language。这个语言可以由于是不确定的,可以用来组合多线程的blocking channel(见Concepts of Programming Languages)。
有趣的是,Dijkstra发明的时候,没想这么多,只是因为单纯的‘if else不对称,好丑’而去改。递归则可以完全去掉,改由recursion scheme(list的foldr或者相近的,但是更复杂的,构造/使用数据结构的高阶函数)。用recursion scheme的人,有时候会说‘无限制的递归就是新的goto’。这是因为对于用了递归的程序,要证明这程序的属性,只能用归纳法,而如果用recursion scheme,就能用事先(通过归纳法)证明的引理去辅助证明。打个比方,如果你用list上的map,而不是手动递归,你写程序的时候就能引用定理map f . map g = map (f . g)。(注:map不是recursion scheme)至于struct,在Algol 68中,就提供了Algebraic Data Type。除了‘类型T能通过给人类型X跟类型Y的值来构造’以外,还有‘类型T能通过给入类型X或类型Y的值来构造’。
这跟union有点像,但是会记下是‘或的那边’,换句话说,是disjoint union。这特性是用来描述AST(Abstract Syntax Tree)的首选,所以基本上所有钟爱元编程的静态类型语言(如ML,Haskell)都有。而lambda calculus中的arrow type,在linear logic(一种限制所有资源都必须使用刚好一次的逻辑系统)中,则可以拆分成两个更细的construct:a -> b = !a -o b。其中,!x代表可以任意复制的x,x -o y代表给入一个x,消耗之,输出一个y。!a -o b则表明,给入可以任意复制的a,消耗之,输出一个b。由于a可以任意复制,所以消耗了不要紧,换句话说这就是给入a,输出b。(见A Taste Of Linear Logic)
同时,在OO界,Luca由于Lambda Calculus的限制,难以用之模拟class,object,subtyping,于是自己发明了另一套calculus - Object Calculus(见A Theory of Object)。还有一个怪胎,APL-这语言里面抛弃了这些概念,一切都通过对数组的变换来完成。(其实还是有的,不过不提倡使用)
不学历史,很容易认为这些东西生来如此,没什么好改的-尽管计算机的发明还不到100年!同时,看着这些先驱开天辟地,创造一切,有莫名的史诗感,说不出的好受。
提取精华
等你学了点历史,对编程语言的可塑性有更深刻理解,并且开始假想基本构造的更多形式的时候,你就到达破而后立的‘破’了。当然,破而后立,你还需要会写Parser/Compiler/Interpreter/VM,会弄类型系统,宏,等等。。。
然而,这还不够。一个语言,首先是一种编程方法,一套认为人类如何编程最高效的理论,然后才是围绕着这个理论而生的feature。世界上绝大部分(不是完全没人用)的语言,如Algol, Cobol, Fortran, APL, C, C++, Python, Perl, Scheme, Haskell, Smalltalk, CPL。。。都有这东西。在C++中,这叫Design Philosophy, 在Python中,称作是pythonic,Smalltalk中,是Design Principle。。。我们统称之为Principle。
没有Principle,造出的语言,只能是旧有语言的无机混合,看上去很好,然而没有新意。Principle是一个语言的内核。有了Principle,可以用之更改过往的语言construct,得出一个全新的语言。在The Essence of Algol中,John Reynold就是从一个他认为是Algol中很重要的部分,慢慢推出各种construct,得出一个小而全的Algol。
要注意,Principle并不是为了推出Feature。相反,是Feature为Principle服务。换句话说,如果一个语言中,有跟Principle不匹配的Feature,要做减法,砍掉Feature。比如说,Structured Programming认为,由于测试不可能保证正确性,我们需要用Hoare Logic推出程序的正确性。
但是,与其正推,我们可以一步步的从终止条件倒推,到最后,从证明中取出程序(又或者说,证明就是程序)。这叫做Stepwise refinement,而Structured Programming舍弃goto,不是因为‘Structured Programming = Programming without goto’,而是Stepwise Refinement恰巧不支持Goto而已。盲目的去掉Goto,是治标不治本。
Functional Programming则认为,大的程序最好由小的,相互独立的程序(两个程序的用途都可以跟另一个分开)组合得出。如果程序A会影响程序B,就不是相互独立的,所以FP不提倡Effect。在FP中,独立组合性是治本,移除&控制Effect是治标。除了Paradigm的Principle,每个语言自己也有各自的Principle-Smalltalk的是Design Principles Behind Smalltalk,APL的是Notation as a Tool of Thought,Algol的是The Essence of Algol。
学习PL史,是发现Principle,并观察Principle如何慢慢构造一个语言。
正本清源
除了发现Principle,并观察Principle的发展,影响,可以反着,研究Principle如何诞生。这样做,可以明白一个Principle的本质,又或者可以自己照猫画虎,搞出自己的Principle。往往,这样做会走出PL,甚至CS的边界。
Logo对smalltalk有很大的影响(如Alan Kay对Personal Computing的理解就被Logo影响了,见Early History of Smalltalk),而Logo的3 Principle(Principle of Power,即学即用,Principle of Continuity,学的东西跟以往的东西有紧密连接,Principle of Culture,社区中其他人日常生活会接触到学的东西),则来自Jean Piaget的认知发展理论。
同时,这些Principle的来源,说不定自身就很有启发性,找到了,就是攒到了。比如说,说远一些,Robert Harper发现了,就算是有bug的程序,也可以用formal verification的方式看待之。只不过,这时候证明就无法完成。然后,通过审视证明为何无法完成,就知道bug在那,而无需要写测试瞎猜。这叫Proof Directed Debugging。
这方法,来自于数学/哲学的著作,Proofs and Refutations。这本书讲了数学证明的发展史,并且论述,数学证明并不是通过Formal Proof得出的,而是通过trial and error。在此以前,我还以为数学的发展是通过Formal Proof&Informal Hole的,现在才明白除了写证明,还有下定义,找猜想,generalize,debug证明等等,也托这的福,找到了Abductive reasoning。而这,仅仅因为我看Proof Directed Debugging的时候查查这的历史。
爽!一方面,查历史就像探宝一样,往往会在意想不到的地方跳出惊人的事件:比如说,易语言的近似物在早近30年前,就已经出现了 - 由于Algol不限字符集,在1972就有一个叫Chinese Algol的方言。当然,还有更重要的,比如说设计CPL,C的前前前身的人,据说对ISWIM有不小的影响。
历史学得越多,就会越来越发现当下的巧合,然后去幻想平行世界的展开。其中,最可惜的是,1948年就有一个跟得上60年代的语言 - Plankalkül。这是最早的,有if/struct/loop等的语言,足足超前了Algol/Lisp/Cobol/Fortran 10年!如果这语言更早被更多人知道,又或者Algol 60没有引入递归,又或者John Mccarthy, Alan Kay, Dijkstra, Seymour Papert, John Backus等人改行。
不知道那样,我们现在会在用什么语言呢。
编辑于 2017-06-2作者:帅气可爱魔理沙;链接:https://www.zhihu.com/question/39932462/answer/187267082;来源:知乎;著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
三、IEEE Spectrum2017编程语言排行:Python 夺冠 (650字) [2]
IEEE Spectrum 杂志发布了一年一度的编程语言排行榜,这也是他们发布的第四届编程语言 Top 榜。据介绍,IEEE Spectrum 的排序是来自 10 个重要线上数据源的综合,例如 Stack Overflow、Twitter、Reddit、IEEE Xplore、GitHub、CareerBuilder 等等,对 48 种语言进行排行。
与其他排行榜不同的是,IEEE Spectrum 可以让读者自己选择参数组合时的权重,得到不同的排序结果。考虑到典型的 Spectrum 读者需求,他们提供了几个预设的权重 —— 如新兴的语言、雇主需求的语言、开源的热门语言等(点此查看)。
IEEE Spectrum 2017 编程语言 Top 10 如下:
Python 的排名从去年开始就在持续上升,并跃至第一。但排在前四名的语言 Python、C、Java 和 C++,其实都保持着非常接近的流行度。实际上,从 Diakopoulos 对目前公司招聘需求的语言基本指标分析可知,C 语言的需求比 Python 要高。
C#已经重新进入前五名,夺回了去年被 R 语言抢走的位置。Ruby 连续下跌至第 12 位,苹果的 Swift 也乘机和谷歌的 Go 语言一同进入前十。这确实出乎意料,因为 Swift 语言早两年才首次登入该排行榜,那时候它还离前十的位置很远。不同于 Swift 的上升,苹果的 Objective-C 跌到了第 26 位。
今年已经是第二年没有新语言进入 IEEE Spectrum 的榜单,似乎开发者都已经进入了代码整合期,同时还需要时间消化那些为云服务、移动端和大数据应用等创造的新工具。
第 11 - 48 位排名:
Fortran 仍然保持在榜单的中间位置(第 28 位),Lisp 在第 35 位,Cobol 在第 40 位。这说明这些古老的语言仍然有稳定的用户群体。
本站文章除注明转载外,均为本站原创或编译。欢迎任何形式的转载,但请务必注明出处,尊重他人劳动共创开源社区。转载请注明:文章转载自 开源中国社区 [http://www.oschina.net];本文标题:IEEE Spectrum 2017 编程语言排行:Python 夺冠;本文地址:https://www.oschina.net/news/86944/the-2017-top-programming-languages。
参考文献References (450字)
[1] Wikipedia encyclopedia.History of programming languages.[EB/OL] https://en.wikipedia.org/wiki/History_of_programming_languages, 2017-7-12.
[2] 帅气可爱魔理沙.为什么我们需要了解编程的历史.[EB/OL] https://www.zhihu.com/question/39932462/answer/187267082, 2017-6-28.
[3] 王练.IEEE Spectrum 2017 编程语言排行:Python 夺冠.[EB/OL] https://www.oschina.net/news/86944/the-2017-top-programming-languages, 2017-7-21.
[3] J. Fuegi and J. Francis (October–December 2003), "Lovelace & Babbage and the creation of the 1843 'notes'", Annals of the History of Computing, 25 (4): 16, 19, 25, doi:10.1109/MAHC.2003.1253887
[4] Rojas, Raúl, et al. (2000). "Plankalkül: The First High-Level Programming Language and its Implementation". Institut frame Informatik, Freie Universität Berlin, Technical Report B-3/2000. (full text)
[5] Sebesta, W.S. (2006). Concepts of Programming Languages. p. 44. ISBN 0-321-33025-0.
[6] Knuth, Donald E.; Pardo, Luis Trabb. "Early development of programming languages". Encyclopedia of Computer Science and Technology. Marcel Dekker. 7: 419–493.
[7] Peter J. Bentley (2012). Digitized: The Science of Computers and how it Shapes Our World. Oxford University Press. p. 87.
[8] "Fortran creator John Backus dies - Tech and gadgets- msnbc.com". MSNBC. 2007-03-20. Retrieved 2010-04-25.
[9] "CSC-302 99S : Class 02: A Brief History of Programming Languages". Math.grin.edu. Retrieved 2010-04-25.
[10] Eugene Loh (18 June 2010). "The Ideal HPC Programming Language". Queue. Association of Computing Machines. 8 (6).
[11] "HPL - A Portable Implementation of the High-Performance Linpack Benchmark for Distributed-Memory Computers". Retrieved 2015-02-21.
[12] Hopper (1978) p. 16.
[13] Sammet (1969) p. 316
[14] Sammet (1978) p. 204.
[15] Gordon, Michael J. C. (1996). "From LCF to HOL: a short history" (PDF). p. 3. Retrieved 2015-05-04. "Edinburgh LCF, including the ML interpreter, was implemented in Lisp."
[16] Rojas, Raúl; Hashagen, Ulf (2002). The First Computers: History and Architectures. MIT Press. p. 292. ISBN 978-0262681377. Retrieved October 25, 2013.
[17] Rosen, Saul, (editor), Programming Systems and Languages, McGraw-Hill, 1967
[18] Sammet, Jean E., Programming Languages: History and Fundamentals, Prentice-Hall, 1969
[19] Sammet, Jean E. (July 1972). "Programming Languages: History and Future". Communications of the ACM. 15 (7): 601–610. doi:10.1145/361454.361485.
[20] Richard L. Wexelblat (ed.): History of Programming Languages, Academic Press 1981.
[21] Thomas J. Bergin and Richard G. Gibson (eds.): History of Programming Languages, Addison Wesley, 1996.
[x] 秦陇纪.数据科学与大数据技术专业概论;人工智能研究现状及教育应用;纯文本数据神经网络训练;大数据简化之技术体系[EB/OL] .数据简化DataSimp(微信公众号)http://www.datasimp.org,2017-06-06.
Appx. 新闻4则及历史名人事件 (6420字)
附i. 早报,7月21日,星期五
1、《财富》公布最新世界500强排行:腾讯阿里首次登榜 今年有10家中国公司首次上榜 达到了115家;
2、中国将人工智能上升为国家战略 2030年达到世界领先水平;
3、中国紧急禁24种高污染固废入境 包括生活来源废塑料、废纺织原料等高污染固体废物;
4、人社部:36种高价刚需药纳入医保 包括31种西药和5种中成药 最高降幅达70%;
5、万达、融创和富力地产集体高开 三者签约637亿元并购案;
6、美军试验世界首台实战激光武器,该激光武器系统是世界首台现役的可实战激光武器,射击1次仅需1美元;
7、国内最高速的悬挂式单轨列车日前在中车四方股份公司下线,这种列车成本仅为地铁的三分之一,可在山区灵活运行;
8、上海市出台商品住房摇号细则:摇号排序 按序购房;
9、刘强东:未来一定是机器人送货 京东无人机配送已逐步落地 正备战无人卡车领域;
10、成都规定:开发商不得虚高申报、"精装修"等名义变相抬高房价;
11、印度新任总统出炉 拉姆·纳特·考文德当选印度新总统 系"贱民之子";
12、"蓝鲸"自杀游戏创始人被判刑3年 仅2个案件被坐实 俄罗斯修法加大惩罚力度;
【微语】不乱于心,不困于情。不畏将来,不念过往。——丰子恺
附ii. 2017年7月21日周五读报!一切美好从“当下”开始:
1、国务院印发新一代人工智能发展规划。①到2020年初步建成人工智能技术标准、服务体系和产业生态链,核心产业规模超过1500亿元,带动相关产业规模超过1万亿元。②到2025年新一代人工智能在智能制造、智能医疗、智慧城市、智能农业、国防建设等领域得到广泛应用,核心产业规模超过4000亿元,带动相关产业规模超过5万亿元。③到2030年人工智能在生产生活、社会治理、国防建设各方面应用的广度深度极大拓展,核心产业规模超过1万亿元,带动相关产业规模超过10万亿元。(每日经济新闻)
2、环保部:2021年起,荧光灯、含汞电池将不再允许使用。到2032年,要关停所有原生汞矿的开采。(汞俗称水银,是常温下唯一呈液态的金属,大量应用于各种产品和工艺中。汞及其化合物的产生、使用和排放会造成环境污染,严重时引起人类和哺乳类动物神经、免疫、生殖系统的机能紊乱,尤其对胎儿和孕妇有较大影响。我国是汞的生产和使用大国。)(新华网)
3、7月20日,一段“深圳地铁乘客奔跑引慌乱”的视频在网上流传,引起网友关注。深圳地铁发布通报称,一名男性乘客因身体不适晕倒引发周边乘客奔走慌乱,导致15名乘客轻微擦伤。(目击者称,当时后面突然有人喊着火,有人喊有人拿刀......)
4、全国气温飙升,天气App也迎来了使用频率最高的时期。当人们查天气的时候,墨迹天气依靠广告收入2016上半年赚了1300多万,2013~2015年赚了5000多万。而在国外,天气产业已经催生了N个墨迹天气。(每日经济新闻)
5、胡润报告:中国近半高净值人群(资产1000万至2亿人民币)正考虑移民,子女教育问题是最主要原因,美国是首选移民目的地。胡润创始人称,教育和污染正促使中国富人移民,如果能解决这些问题,移民的主要动机将消失。(中新经纬)
6、U23亚洲杯预选赛中,中国U22男足闷平世界排名173位的柬埔寨。U22国足里多数是中超、中甲首发;而柬埔寨队大多数球员却因为工资低兼职送外卖,甚至有一名队员因外卖生意太好缺席本场比赛。(北京青年报)
7、据NAR发布的最新的海外人士在美购房年度报告显示,在2016年4月到2017年3月间,中国人购买美国住宅房产的总金额达到317亿美元,创历史新高,连续第四年蝉联各国买家在美购房金额的首位。而中国人在美购房价格的水平,也高于其他国家的买主,购买的住宅中位价格达到53万美元。(财新网)
8、发表在最新一期《科学进展》杂志上的一项研究称,20世纪50年代初以来,人类已经生产了83亿吨塑料,其中已有63亿吨塑料彻底成为废弃物。这些废弃的塑料制品中,只有9%被回收,另有12%被焚烧处理,剩余79%的废弃塑料则深埋在垃圾填埋场或在自然环境中累积。而塑料的生产步伐并没有放缓的迹象,按照目前趋势,到2050年,全球将有大约120亿吨塑料垃圾。(科技日报)
9、科威特宣布驱逐伊朗外交官:一名政府消息人士表示,科威特最高法院判定伊朗与恐怖组织有关,因此将要驱逐15名伊朗外交官。这名消息人士还透露,科威特要求关闭境内伊朗文化,商务,军事的代表处。 (新浪)
10、巴三军新闻局:印度军队19日再次无故在克什米尔地区巴印实际控制线附近对巴方一侧的军事据点和平民进行炮击,造成1名巴士兵死亡、2名士兵受伤,平民中有2人死亡、5人受伤。巴军方对印军的袭击进行了回击。摧毁了朝巴方开火的印军据点,打死至少5名印度士兵,打伤多人。(新浪军事)
11、微胖的人好看又长寿!《新英格兰医学杂志》刊登的研究显示,中、日、韩等东亚人的体质指数,即体重(公斤)除以身高(米)的平方后得出的数值,在22.6~27.4死亡风险最低,高或低于这一范围的人,死于癌症、心血管病和其他疾病的风险增加。对照18.5~24的正常体质指数范围,微胖的人更为健康。 (生命时报)
12、一个能把每一个今天过好的人,明天也坏不到哪里去。因为对未来的真正慷慨,就是把最卓越的努力献给现在,珍惜当下的一切。
美好一天从“当下”开始!
附iii. 2017年7月21日(农历丁酉鸡年六月廿二)周五/早读分享:
2017年7月21日(农历丁酉鸡年六月廿八)周四/早读分享:
1、【首轮中美全面经济对话举行】国务院副总理汪洋与美国财长姆努钦、商务部长罗斯共同主持。双方达成多项共识。同时,会场之外,特朗普签署了中国为汇率操纵国的文件。此次对话之后,取消了记者招待会。
2、【习近平总书记向三大军队院校授军旗致训词】19日,习主席向新调整组建的军事科学院、国防大学、国防科技大学授军旗致训词,他强调指出,坚持面向战场、面向部队、面向未来,建设世界一流的军事科研机构、综合性联合指挥大学、高等教育院校,努力开创军事人才培养和军事科研工作新局面,为实现中国梦强军梦不断作出新的更大的贡献。
3、【李克强:允许科技人才在高校科研院所和企业兼职】19日,李总理在国务院常务会议上专门提出:允许科技人才在高校、科研院所和企业兼职,推广海外人才优惠便利政策。
4、【"发审皇帝”姚刚被双开】20日,中纪委通报称,证监会原副主席姚刚严重违纪问题进行了立案审查。其被开除党籍和公职。
5、【王健林的家底:偿还2000亿的借债不成问题】他表示,万达商业贷款加债券共计2000亿元。万达商业账面现金1000亿元(不含13个文旅项目现金300亿元),加本次转让收回现金680亿元(含回收往来款),现金共计约1700亿元。此外,万达商业还有1300亿元销售物业存货,全部都卖掉也可以收回几百亿。而在之前,各界人士一直都在关注万达的负债问题。
6、【建设银行:并未完全叫停融创集合信托的代销】自从孙宏斌收购万达以来,市场上有关融创的负面消息不断。
7、【特朗普:继续庆祝"美国制造" 将宣布有关制药玻璃创新方面的内容】辉瑞、默沙东和康宁制药都将在美国制造医用玻璃;将立即投资至少5亿美元。
8、【美国总统要求日本首相开放日本汽车市场】特朗普在G20峰会期间会见安倍晋三时,当时要求开放日本汽车市场,预计汽车贸易将被纳入10月份华盛顿美日经济对话的议程安排。
9、【昨日股市收评:两市收红 沪指涨0.43%】周四大盘低开,盘中周期股、权重股集体回落,石墨烯、锂电池、深圳国资改革等板块全天活跃,带动两市震荡翻红,创业板大幅上涨,午后电力、保险等权重板块反弹,大盘维持盘整,创业板持续走低。截至收盘,沪指报3244.86,+0.43%;深成指报10366.98,+0.69%;创业板指数为1688.61,+0.23%。
10、【仙言潮声】想的太多了,烦恼都来了;在乎的太多了,困扰就丛生了;追求的太多了,身体就累趴了……
美好的一天从轻松自在开始!
附iv. 新闻早餐 第46xx期(文字版)2017年7月21日(星期五)农历丁酉年六月廿三 己酉日
每天三分钟 知晓天下事
A、【国内】
1)习近平主持中央深改组第37次会议,审议通过《关于创新体制机制推进农业绿色发展的意见》等9个文件,会议审议了《党的十八届三中全会以来改革试点工作进展情况报告》、《关于社会保障制度改革督察情况报告》,李克强、刘云山、张高丽出席会议;
2)王岐山在检查扶贫领域监督执纪问责工作时强调:发扬钉钉子精神,以扎扎实实的成效迎接十九大;36种高价刚需药纳入医保,相比市场价最高降幅达70%;陈如桂任深圳代市长,该职已空缺近4个月;陈如桂55岁,在广州27年,博士学位;
3)[反腐] 贵州黔西南州人大常委会主任周玉仁、中国吉林森工集团原党委书记柏广新接受组织审查;安徽省民委原副主任沙圣虎(副厅级)被公诉;湖南通报16起“雁过拔毛”式腐败问题典型案件;
4)北京市网信办18日约谈搜狐、网易、今日头条等网站,责令立即清理整治自媒体平台存在的“曲解政策、违背正确导向”等八大乱象。
5)食药监总局:3批次雀巢经销特殊配方食品不合格,含2批次雀巢经销产品,已被责令下架召回;
6)湖北荆州警方:快递单背后的“黑色”产业链,电信诈骗团伙高价购买快递个人信息,知名快递公司高管涉案;
7)山东烟台检验检疫局从来自韩国航班的旅客行李中截获放射性超标“磁疗垫”:戴1年相当胸透上千;检验检疫部门建议,出国旅游谨慎选择此类物品,以免对个人健康产生损害;
8)[军事] 中国电磁弹射领先美国一代,能弹飞机更能弹导弹;西藏军区某旅就多火力精确打击等展开演练;张召忠拎“海带缠潜艇”布袋搭地铁:让座年轻人;
9)[港澳] 香港通过亚洲首例道歉法,规定道歉的含义和法律后果;香港机场一送餐车撞飞机,机翼损毁;
10)[台湾] 台湾立法院蓝绿扭打成一团,鸡蛋面粉满天飞;蔡正元被羁押,民进党剑指马英九贱卖百亿党产;台“宫庙减香”或引发大游行,蔡英文:政府会被害死;台北发生重大车祸致4死9伤,22车受损。
B、【国际】
1)张德江访问塞尔维亚:中塞关系处于历史新阶;中国正式通知WTO:不再接收外来垃圾;
2)美国参议员麦凯恩诊断患脑癌,特朗普表示,他一直以来都是一个战士,希望他早日康复;奥巴马、克林顿发推文表示关心;希拉里说,今晚,想想他、辛迪、他们优秀的孩子们,还有他们全家;早前,麦凯恩蔑称中国像“恶霸”,遭外交部驳斥;
3)特朗普长子将赴美参院司法委作证,或被问“通俄门”;美国将敲定网军独立计划;
4)伦敦市长:伦敦才不会给特朗普访英准备红毯;
5)调查报告显示:德国547名教堂合唱团成员遭受神职人员或教师的暴力和性侵;
6)乌克兰民间武装宣布成立“小俄罗斯”,实行联邦制;
7)马克龙发布度假令,不能太远太久需在法国本土;
8)土耳其伊斯坦布尔遭暴雨袭击,车辆浸泡街头洪水中;印度一载40人大巴坠入山谷,至少20人死亡。
C、【财经证券】
1)央企或减至80家,国资投资试点文件年内出台;
2)全国钢铁去产能已完成全年目标,煤炭去产能完成74%;
3)市场给出警示信号,警惕非理性海外并购的金融风险;
4)网上消费出现明显升级趋势:从价格到品质;
5)昨日收盘:沪指3244.86/+0.43%深成指10366.98/+0.69% 创业板1688.61/+0.23%恒指26740.21/+0.26%。
D、【文教体娱】
1)全国“中华魂”主题教育活动在京举行,表彰先进集体126个、先进个人148个;全民抗战主题展览在京举办,多数资料首次亮相;
2)河北临西县摇鞍镇乡一农户家中发现武周时期墓志铭,距今1321年;
3)甘肃嘉峪关启黑山岩画学术考察,引中外众学者探秘;
4)世锦赛女子10米台中国丢金,任茜泪洒赛场;足协杯1/4决赛富力胜恒大,德比先拔头筹;权健3:0大胜上港;2017美网奖金再创新高,奖金整体增加400万美元;
5)西安秦始皇帝陵博物院回应“突降暴雨兵马俑展厅被淹”:文物没有损坏。
E、【生活服务】
1)北京东城启动共享单车“停车入框”;北京市屋顶绿化达200余万平方米;北京首次开通城市夜景观光公交,乘客可乘坐公交浏览长安街、三里屯、什刹海等夜景;
2)沪319家小型餐饮服务提供者实施备案纳管;沪外滩地区夜间打车乱象频生,起步价飙升至50元;
3)广州大学城将新增2820个优质学位;多条地铁将接入广州,珠三角一小时城市圈现雏形;
4)浙江提前完成城镇危旧房治理三年计划;温州公益救生队员烈日下蹲守河畔守护民安;
5)江苏省结束长江防汛Ⅳ级应急响应;宁扬宁句城际将穿行都市圈,跨城生活成本降低;
6)99天零违法,河南9名司机获交管部门一吨汽油、千元油卡等奖励。
F、【健康养生】
1)夏季吃丝瓜好处多:
1.丝瓜尖(丝瓜藤),常凉拌食用,可通筋活络、镇咳祛痰。
2.丝瓜花清热解毒。
推荐吃法:丝瓜银耳百合汤滋阴润肺,适合夏天咳嗽的人;丝瓜猪蹄汤是下奶佳品。
2)痛风人群要注意10点:
1.限制饮酒
2.减少高嘌呤食物的摄入,比如生猛海鲜、大鱼大肉、动物内脏
3.防止剧烈运动或突然受凉
4.减少富含果糖饮料的摄入
5.大量饮水(每天2000毫升以上)
6.控制体重,减少脂肪堆积,改善代谢功能
7.增加新鲜蔬菜的摄入
8.规律饮食和作息
9.规律运动,选择健走、慢跑等中等强度运动
10.禁止吸烟
(来源:新华、中新、腾讯、凤凰网、东方财富网,健康养生:熊苗营养师;编辑:知非、小树)
附v. 2017年7月21日农历干支、节日、历史上的今天名人和事件
导语:2017年7月21日是新加坡种族和谐日,在节日的这天学校会举行很多活动,而这些活动的目的也是希望学生们能明白种族和谐性的重要性。那么2017年7月21日是的节日、星座、出生名人呢?订阅秦陇纪10公众号,关注哦。
2017年7月21日节日
种族和谐日
7月21日是阳历年的第202天(闰年是203天),离一年的结束还有163天。
2017年7月21日节日:种族和谐日、比利时国庆日、救世主节。
2017年7月21日农历
公历:2017年7月21日 星期五
农历:二〇一七年 六月小 廿八日
回历:1438年10月26日
干支:丁酉年 丁未月 己酉日
八字:丁酉 丁未 己酉 甲子
五行:山下火 天河水 大驿土 海中金
生肖:属鸡
星座:巨蟹座
星宿:鬼宿(鬼金羊)
值神:勾陈(黑道日)
冲煞:鸡日冲(癸卯)兔 煞东
2017年7月21日星座
巨蟹座(6月22日-7月22日)
7月21日出生的人性格:7月21日出生的人可能会让刺激性的情绪干扰到自己和身边的人的生活。严重的话,还会弄得别人纷纷敬鬼神而远之,把他们列为拒绝往来户。不过一般来说,他们在社交圈里倒相当受人欢迎,因为有他们在的场合,保证是好戏连连,绝无冷场。
7月21日出生名人
1816年——保罗·朱利斯·路透(Paul Julius Reuter),德国记者,路透社创办人。
1899年——海明威,美国作家,诺贝尔文学奖金获得者。
1906年——邓雨贤,台湾音乐家。 (逝世1944年)
1947年——沈殿霞,香港著名女演员。(逝世2008年)
1951年——罗宾·威廉斯,美国喜剧演员、电影明星。
1953年——台湾女导演张艾嘉出生。
1968年——中国内地音乐人许巍出生。
1971年——法国明星夏洛特·甘斯布出生。
1974———李希贵,现任北京十一学校校长,兼任国家督学、中国教育学会理事、山东师范大学研究生导师、山东省中语会副会长。
1976年——韩国女演员姜成妍出生。
1978年——中国女演员涓子出生。
1978年——乔许·哈奈特,美国电影演员。
1981年——中国互联网企业家王晨昀出生。
1981年——中国内地音乐人常石磊出生。
1982年——周家胜,80后策划人。
1985年——陈伟殷,台湾旅日棒球选手。
1985年——张纹嘉,香港歌手。
1985年——NBA火箭队球员范·韦弗。
1989年——中国女明星景甜出生。
1990年——岩田小百合,日本演员、歌手。
1992年——蔡佳林出生
7月21日历史大事记
前776年——世界第一次古代奥运会在古希腊举行。
1917年——俄国二月革命:克伦斯基出任总理并组阁。
1929年——国民党政府武力夺占中东铁路,驱逐任职的苏联人员,史称"中东路事件"。
1960年——世界第一位女总理—锡兰总理宣誓就任。
1969年——美国太空人尼尔·阿姆斯特朗走出阿波罗11号的登月舱,成为第一个踏上月球的人类。
1985年——潜水员找到几百万美元的珍宝。
1995年——中国北方第一条跨海铁路通车。
2003年——李钟郁成为世界卫生组织新的总干事。
2007年——位于阿拉伯联合大公国杜拜市的杜拜塔工程超越台湾的台北101,成为新的世界第一高楼,但正式的世界第一高楼名义则需直到2008年完工。
人生来就是一律平等,无论是黄色的皮肤还是白色的皮肤又或是黑色的皮肤都是一样的。简单扫盲、愚民教育,灭绝民族、人性的计划生育,管控思维压倒一切,是对中华民族极其可怕压制。我们缺科学技术、科学管理、科学民主、科学素养、科学民众,应该警醒走向更加优化的文明。
Appx. 数据简化DataSimp社区译文志愿者(600字)
“数据简化DataSimp”社区志愿者需求:
①设计黑白静态和三彩色动态社区S圈型LOGO图标;
②翻译美欧数据科学技术论文,IT大数据、人工智能、编程开发技术文章;
③至少投一篇高质量原创,正式成为数据简化DataSimp社区贡献者。
加入数据简化DataSimp社区,请在公号后台留言,或加QinlongGEcai(请备注:姓名-单位-职务-手机号)微信。
社区筹备详情,请访问www.datasimp.org,或阅读文章《科研江湖中的一眼清泉之数据简化DataSimp社区及学会》。
Data Simplification and Sciences Wechat and Toutiao Public Account -- [email protected], 2017.7.21Fri, Xi’an, Shaanxi, China.
LIFE
Life begins at the end of your comfort zone。 -- Neale Donald Walsch
THE DAY
The strength of purpose and the clarity of your vision,along with the tenacity to pursue it,is your underlying driver of success。 -- Ragy Tomas
长按下面二维码“识别图中二维码”关注公众号:数据简化DataSimp(搜名称也行)。
长按下面二维码“识别图中二维码”关注公众号:科学Sciences(搜名称也行)。
主编:秦陇纪(bf80),IT科普者,数据简化DataSimp新媒体、社区(www.DataSimp.org筹技术、期刊)创始人,研究方向:教育技术、大数据、人工智能、知识工程,数据挖掘、信息抽取方面的数据简化、知识库构建。欢迎高质量大数据、人工智能、知识工程、自然语言处理领域研究者加入“数据简化DataSimp”社区;贡献数据采集、处理、分析、简化、应用各环节开源代码。
(西安秦陇纪10数据简化DataSimp汇编,欢迎有志于数据简化之传媒、技术的伙伴加入全球“数据简化DataSimp”社区!转载出处:秦陇纪10数据简化DataSimp公号“数据简化DataSimp、科学Sciences”汇译编,投稿邮箱[email protected])
普及科学知识,欢迎分享到您的朋友圈。