languages专题
Programming Languages B(Coursera / University of Washington) Assignment4
原文件已上传到GitHub: 点这里 本次作业需要racket标准库文档：https://docs.racket-lang.org/ Scheme 大法好 天灭过程式 退C保平安 人在做 天在看 赋值语句留祸患 指针乱用天地灭 赶紧重写保平安 诚心诚念SICP好 Scheme大法平安保 众生都为函数来 现世险恶忘前缘 Scheme弟子说真相 教你编程莫拒绝 早日摆脱面向过程 早日获得新生
Programming Languages A(Coursera / University of Washington) Assignment 3/signature和structure
The best way to understand a language construct is to understand how you would code it up in terms of other language constraints in another language. 原文件已上传到GitHub,分数是80: 点这里 本节需要用到标准库，sml标准库在这里：htt
Programming Languages A(Coursera / University of Washington) Assignment 2
原文件已上传到GitHub: 点这里 分数是80分（刚好通过）（用了一点限制函数） 第二次作业，主要是练习 pattern match 这真是很棒的feature，能够很好的控制scope，达到closure效果 也能领会ml的 referential transparency、lazy evaluation、statically typed 等 feature 在和别人交流的过程中，还学到了g
Programming Languages A(Coursera / University of Washington) Assignment 1
Coursera有这门课的全部资料，就不放链接了:) 第一个课设一共13道题，都是sml编程题目 challenge没有时间就跳过了 原文件已上传到GitHub: 点这里 分数是90分 Write a function is_older that takes two dates and evaluates to true or false. It evaluates to true if th
Visual Languages for Interactive Computing: Definitions and Formalizations
版权声明：原创作品，允许转载，转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。 http://blog.csdn.net/topmvp - topmvp Visual languages are the defining component of interactive computing environments, yet in spite of the
Essentials of Programming Languages, 3rd Edition
版权声明：原创作品，允许转载，转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。 http://blog.csdn.net/topmvp - topmvp This book provides students with a deep, working understanding of the essential concepts of programming l
Compiled and interpreted languages
将高级语言翻译成机器语言有两种方式：编译和解释。二者区别在于翻译的时间不同。 编译型语言 程序在执行之前需要一个专门的编译过程，把程序编译成为机器语言的文件，运行时不需要重新翻译，直接使用编译的结果就行了。程序执行效率高，依赖编译器，跨平台性差些。如C、C++、Delphi等 解释型语言 程序不需要编译，程序在运行时才翻译成机器语言，每执行一次都要翻译一次。因此效率比较低。比如Basic语
【论文阅读】CodeBERT: A Pre-Trained Model for Programming and Natural Languages
目录 一、简介二、方法1. 输入输出表示2. 预训练数据3. 预训练MLMRTD 4. 微调natural language code searchcode-to-text generation 三、实验1. Natural Language Code Search2. NL-PL Probing3. Code Documentation Generation4. 泛化实验
语音神经科学—05. Human cortical encoding of pitch in tonal and non-tonal languages
Human cortical encoding of pitch in tonal and non-tonal languages（在音调语音和非音调语言中人类大脑皮层的音高编码） 专业术语 tonal language 音调语言 pitch 音高 lexical tone 词汇音调 anatomical properties 解刨学特性 temporal lobe 颞叶 superior
Programming Languages Comparision
The latest computer language benchmarks from http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=all [Note: Java 6.04, SML-Mlton, Ocaml, D 已经有了不错的性能上的提升了。] Gentoo : Intel® Pent
C APIs in extension and extensible languages by Roberto 部分翻译
C APIs in extension and extensible languages by Roberto 部分翻译 Data transfer The basic set of functions for manipulating data in scripting language APIs is usually the same: they provide fu
Codeforces Round 170 (Div. 1)A. Learning Languages并查集
如果两个人会的语言中有共同语言那么他们之间就可以交流，并且如果a和b可以交流，b和c可以交流，那么a和c也可以交流，具有传递性，就容易联想到并查集，我们将人和语言看成元素，一个人会几种语言的话，就将这些语言和这个人所在的集合合并，最后求一下人一共在几个连通块中，连通块的个数-1就是答案，有一种比较坑的情况是所有人都不会语言，那么每个人都需要学一种语言，人数就是答案。 #include <bits
论文注解《Query Languages for Graph Databases》graph数据库查询语法（III）
聚合 聚合运算，例如： count,sum,min,max count, sum, min, max Figure 3... Figure\ 3... Figure 4... Figure\ 4...在 GraphLog GraphLog中，聚合项可以是可区分的边或节点的标签，一个简单的 count count查询如 Figure 3 Figure\ 3所示：对于每个作者 x x，计算其
论文注解《Query Languages for Graph Databases》graph数据库查询语法（II）
联合正则路径查询 通过结合 CQ CQ和 RPQ RPQ得到 CRPQ CRPQ，形式如 (2) (2) 比较并返回路径 在某些场景下（例如找出web上联通的数据），需要指定路径间的关系同时得到实际的路径作为查询结果 ECRPQ ECRPQ提供以上两种特性， ECRPQ ECRPQ在两个层面上扩展了 CRPQ CRPQ 允许查询的头部存在自由路径变量允许校验查询体中路径间的关系而不是简单的
论文注解《Query Languages for Graph Databases》graph数据库查询语法（I）
概述 这篇paper主要介绍了历史上的graph数据库查询语法的发展和用途，并从查询处理的表达能力和计算复杂性做出评估 简介 对于一个graph数据库 G G 最简单的形式为 (V,E)(V,E) ，其中 V V 是有限点集，EE 是连接点对的有限边集（有向|无向）。在大多数的应用场景中点和边往往以某种形式被打上标签（例如 属性-值），且用字符 ∑ \sum 表示打标签的过程，即 E
Idea中的html文件约束URI is not registered (Settings | Languages Frameworks | Schemas and DTDs
File - Settings - schemas and DtDs 点击加号把路劲输入点击确定
UNSUPERVISED PRETRAINING TRANSFERS WELL ACROSS LANGUAGES
UNSUPERVISED PRETRAINING TRANSFERS WELL ACROSS LANGUAGES 1. 论文思路： 作者基于CPC的自监督预训练方法提出了改进版本，解决了原CPC配置中encoder通过batch normalization 泄露信息的问题，并用一层Transformer layer 提升了phoneme 的表征能力。最终得出的主要结论是：通过改进版cpc学习到
UVa 10887 - Concatenation of Languages
链接： UVa : http://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&category=24&page=show_problem&problem=1828 类型： 哈希表 原题： A language is a set of strings. And the concatenati
论文笔记 ICLR 2021|STRUCTURED PREDICTION AS TRANSLATION BETWEEN AUGMENTED NATURAL LANGUAGES
文章目录 1 简介1.1 动机1.2 创新 2 方法2.1 Augmented natural languages2.2 Nested entities and multiple relations2.3 Decoding structured objects2.4 Multi-task learning2.5 Categorical prediction tasks 3 不同任务4 实验
Compiled and interpreted languages
将高级语言翻译成机器语言有两种方式：编译和解释。二者区别在于翻译的时间不同。 编译型语言 程序在执行之前需要一个专门的编译过程，把程序编译成为机器语言的文件，运行时不需要重新翻译，直接使用编译的结果就行了。程序执行效率高，依赖编译器，跨平台性差些。如C、C++、Delphi等 解释型语言 程序不需要编译，程序在运行时才翻译成机器语言，每执行一次都要翻译一次。因此效率比较低。比如Basic语
Compiled and interpreted languages
将高级语言翻译成机器语言有两种方式：编译和解释。二者区别在于翻译的时间不同。 编译型语言 程序在执行之前需要一个专门的编译过程，把程序编译成为机器语言的文件，运行时不需要重新翻译，直接使用编译的结果就行了。程序执行效率高，依赖编译器，跨平台性差些。如C、C++、Delphi等 解释型语言 程序不需要编译，程序在运行时才翻译成机器语言，每执行一次都要翻译一次。因此效率比较低。比如Basic语
【论文阅读】CodeBERT: A Pre-Trained Model for Programming and Natural Languages
目录 一、简介二、方法1. 输入输出表示2. 预训练数据3. 预训练MLMRTD 4. 微调natural language code searchcode-to-text generation 三、实验1. Natural Language Code Search2. NL-PL Probing3. Code Documentation Generation4. 泛化实验