会员服务
讲稿 · 组合性 · 因子分解 · SimPLe · 样例 ·
2022 年 5 月 19 日
The Budge programming language
翻译：预算编制方案语言
Boro Sitnikovski
Boro Sitnikovski

We present a simple, esoteric programming language based on G\"odel numbering and prime factorization, enhanced with explicit, scoped loops, allowing for easy program composition. We will show the syntax and semantics and then provide a few example programs and their evaluation.


翻译：我们展示了一种基于 G\ odel 编号和质因子化的简单、 深奥的编程语言, 用清晰、 范围极广的循环加以强化, 便于编程组成。 我们将展示语法和语义, 然后提供几个示例程序及其评估 。
0
下载
关闭预览

相关内容

不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
75+阅读 · 2022年6月28日
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
专知会员服务
60+阅读 · 2022年4月22日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
【干货书】Python程序员编程，810页pdf，Python® for Programmers
【干货书】Python程序员编程，810页pdf，Python® for Programmers
专知会员服务
61+阅读 · 2020年8月6日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
49+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
160+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
181+阅读 · 2019年10月11日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
105+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
3+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
中国图象图形学学会CSIG
0+阅读 · 2021年11月8日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
miR-207促进肝癌侵袭与转移的分子机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
三维椭圆方程Cauchy问题的正则化方法
国家自然科学基金
0+阅读 · 2013年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
Intraflagellar Transport运输纤毛蛋白的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
双极性树枝状蓝光PhOLED用Ir（Ⅲ）金属配合物的合成与性能研究
国家自然科学基金
0+阅读 · 2012年12月31日
轴对称的Navier-Stokes方程
国家自然科学基金
1+阅读 · 2011年12月31日
兴安落叶松林CO和CH4动态及其对环境响应机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
一种适用于高维问题的Co-kriging代理模型新方法研究
国家自然科学基金
0+阅读 · 2009年12月31日
Constrained Training of Neural Networks via Theorem Proving
Constrained Training of Neural Networks via Theorem Proving
Arxiv
0+阅读 · 2022年7月8日
Explore and Match: A New Paradigm for Temporal Video Grounding with Natural Language
Arxiv
0+阅读 · 2022年7月7日
On the Effects of Artificial Data Modification
Arxiv
0+阅读 · 2022年7月6日
A Concurrent Program Logic with a Future and History
Arxiv
0+阅读 · 2022年7月5日
Natural Language Descriptions of Deep Visual Features
Arxiv
12+阅读 · 2022年1月26日
A Survey of Human-in-the-loop for Machine Learning
Arxiv
35+阅读 · 2021年8月2日
Pre-train, Prompt, and Predict: A Systematic Survey of Prompting Methods in Natural Language Processing
Arxiv
30+阅读 · 2021年7月28日
Link Prediction on N-ary Relational Facts: A Graph-based Approach
Arxiv
13+阅读 · 2021年5月18日
AutoML: A Survey of the State-of-the-Art
AutoML: A Survey of the State-of-the-Art
Arxiv
72+阅读 · 2019年8月14日
Differentiable Dynamic Programming for Structured Prediction and Attention
Arxiv
56+阅读 · 2018年2月20日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
讲稿
组合性
因子分解
SimPLe
样例
相关VIP内容
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
75+阅读 · 2022年6月28日
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
专知会员服务
60+阅读 · 2022年4月22日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
【干货书】Python程序员编程，810页pdf，Python® for Programmers
【干货书】Python程序员编程，810页pdf，Python® for Programmers
专知会员服务
61+阅读 · 2020年8月6日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
49+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
160+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
181+阅读 · 2019年10月11日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
105+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
热门VIP内容
相关资讯
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
3+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium2
中国图象图形学学会CSIG
0+阅读 · 2021年11月8日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
相关论文
Constrained Training of Neural Networks via Theorem Proving
Constrained Training of Neural Networks via Theorem Proving
Arxiv
0+阅读 · 2022年7月8日
Explore and Match: A New Paradigm for Temporal Video Grounding with Natural Language
Arxiv
0+阅读 · 2022年7月7日
On the Effects of Artificial Data Modification
Arxiv
0+阅读 · 2022年7月6日
A Concurrent Program Logic with a Future and History
Arxiv
0+阅读 · 2022年7月5日
Natural Language Descriptions of Deep Visual Features
Arxiv
12+阅读 · 2022年1月26日
A Survey of Human-in-the-loop for Machine Learning
Arxiv
35+阅读 · 2021年8月2日
Pre-train, Prompt, and Predict: A Systematic Survey of Prompting Methods in Natural Language Processing
Arxiv
30+阅读 · 2021年7月28日
Link Prediction on N-ary Relational Facts: A Graph-based Approach
Arxiv
13+阅读 · 2021年5月18日
AutoML: A Survey of the State-of-the-Art
AutoML: A Survey of the State-of-the-Art
Arxiv
72+阅读 · 2019年8月14日
Differentiable Dynamic Programming for Structured Prediction and Attention
Arxiv
56+阅读 · 2018年2月20日
相关基金
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
miR-207促进肝癌侵袭与转移的分子机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
三维椭圆方程Cauchy问题的正则化方法
国家自然科学基金
0+阅读 · 2013年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
Intraflagellar Transport运输纤毛蛋白的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
双极性树枝状蓝光PhOLED用Ir（Ⅲ）金属配合物的合成与性能研究
国家自然科学基金
0+阅读 · 2012年12月31日
轴对称的Navier-Stokes方程
国家自然科学基金
1+阅读 · 2011年12月31日
兴安落叶松林CO和CH4动态及其对环境响应机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
一种适用于高维问题的Co-kriging代理模型新方法研究
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top