pyzh / ntt Goto Github PK
View Code? Open in Web Editor NEWKenneth E. Iverson, Notation as a Tool of Thought 中文翻译 - 1979 ACM Turing Award Lecture
License: BSD 3-Clause "New" or "Revised" License
Kenneth E. Iverson, Notation as a Tool of Thought 中文翻译 - 1979 ACM Turing Award Lecture
License: BSD 3-Clause "New" or "Revised" License
所有尾注,都按章节改成页内脚注。#2 (comment)
赞美APL:一种歌词式编程语言
Professor Alan J. Perlis / Yale University / First appeared in SIAM News, 1977-06. http://www.jsoftware.com/papers/perlis77.htm
Many reasons can be given for teaching one or more aspects of computer science (defined as the study of the set of phenomena arising around and because of the computer) to all university students. Probably every reader of this note supports some of these reasons. Let me list the few I find most important:
(1) 学会并且能够编写算法;
(2) 了解计算机的组织和构造方式;
(3) 熟练掌握至少一门编程语言;
(4) 通过系统设计来理解复杂度控制的必然性;
(5) 体会计算机科学家对他们学科的热爱以及对科学发展的外在影响(对学生作为公民)。
to appreciate the devotion of computer scientists to their subject and the exterior consequences (to the student as citizen) of the science’s development.
尽管计算机科学处理的是我们用数学方法研究其性质的符号对象,但它不能被教导为一种有序的发展,这种发展源于学生在成熟过程中已经直观地观察到的一些基本**,例如万有引力和电力。
(大意是强调跟其他学科的区别?
Even though computer science deals with symbolic objects whose nature we study mathematically, it cannot be taught as an orderly development arising from a few fundamental ideas whose existence the student has already observed intuitively during his maturation, such as gravitation and electricity.
github.com//issues/9
符号是一种思考的工具
Kenneth E. Iverson
IBM Thomas J. Watson Research Center
The importance of nomenclature, notation, and language as tools of thought has long been recognized.
人们早已认识到命名、符号、语言作为思维工具的重要性。
In chemistry and in botany, for example, the establishment of systems of nomenclature by Lavoisier and Linnaeus did much to stimulate and to channel later investigation.
例如,在化学和植物学中,拉瓦锡 和 林奈 建立的命名系统在很大程度上促进和引导了后来的研究。
Concerning language, George Boole in his Laws of Thought asserted
“That language is an instrument of human reason, and not merely a medium for the expression of thought, is a truth generally admitted.”
关于语言,乔治布尔曾在他的《思维定律/The Laws of Thought》中[1, p.24]写道:语言是一种人类理性的工具,而不仅仅是表达**的媒介;这是一种普遍承认的真理。
2018.908,想到什么写什么,不定期更新
web框架:
erlang: n2o = https://github.com/synrc/n2o ,http://n2o.space
python:https://github.com/Pylons/pyramid
K5,https://github.com/JohnEarnest/ok % 参考: http://kparc.com
K3,https://github.com/kevinlawler/kona
KxSystems = https://github.com/KxSystems ,/pyq
J - http://jsoftware.com
J = https://github.com/jsoftware/jsource ,https://github.com/jsoftware ,qtide, jhs, jandroid
APL = https://github.com/Dyalog ,/MiServer ,/dyalog-jupyter-kernel ,/DyalogDocker
jsoftware网页版,http://www.jsoftware.com/papers/tot.htm
ACMpdf,http://delivery.acm.org/10.1145/360000/358899/a1979-iverson.pdf
链接参考索引》 #3
a1. 2012,Everyone should read "Notation as a Tool of Thought" https://news.ycombinator.com/item?id=4069283
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.