没有合适的资源?快使用搜索试试~ 我知道了~
Synthesizer:自从第一台电子计算机诞生以来,计算机程序帮助我们完成了各种艰巨的任务,留给我们的只有方便。 尽管如此,编...
共118个文件
tlog:35个
obj:14个
cpp:9个
需积分: 9 0 下载量 96 浏览量
2021-06-13
02:52:19
上传
评论
收藏 21.81MB ZIP 举报
温馨提示
基于数值输入输出示例的程序合成器 自从第一台电子计算机诞生以来,计算机程序帮助我们完成了各种艰巨的任务,留给我们的只有方便。 尽管如此,编码工作总是让许多程序员感到困惑。 我们希望计算机可以帮助我们自动生成程序,让我们从枯燥的编码工作中解脱出来。 程序合成可以帮助我们实现这个梦想。 在新算法的发现、自动求解、智能拷问等方面也做得很好。 此外,基于输入输出示例是呈现用户意图的最自然、最简单的形式。 我用C++语言制作了一个基于数字输入输出示例的简单程序合成器。 它包含两个引擎,一个是使用程序合成技术的合成引擎,可以发现词条之间的规律; 另一个专门用于计算多项式表达式的通项。 前者是我工作的重点,后者仅供参考和比较。 应用于公务员考试的数值推理题,效果很好,能解决大部分。 本文详细阐述了我实现的基于数值输入输出示例的程序合成器的实现、相关技术、遇到的问题和解决方法。
资源详情
资源评论
资源推荐
收起资源包目录
Synthesizer:自从第一台电子计算机诞生以来,计算机程序帮助我们完成了各种艰巨的任务,留给我们的只有方便。 尽管如此,编码工作总是让许多程序员感到困惑。 我们希望计算机可以帮助我们自动生成程序,让我们从枯燥的编码工作中解脱出来。 程序合成可以帮助我们实现这个梦想。 在新算法的发现、自动求解、智能拷问等方面也做得很好。 此外,基于输入输出示例是呈现用户意图的最自然、最简单的形式。 我用C++语言制作了一个基于数字输入输出示例的简单程序合成器。 它包含两个引擎,一个是使用程序合成技术的合成引擎,可以发 (118个子文件)
main.cmd 6B
main.cmd 6B
SMatrix.cpp 16KB
Conjecture.cpp 12KB
Function.cpp 8KB
my.cpp 5KB
Rational.cpp 5KB
Operation.cpp 3KB
GeneralTerm.cpp 2KB
Custom.cpp 414B
stdafx.cpp 289B
Synthesis.csv 7KB
Synthesis.csv 7KB
GeneralTerm.csv 7KB
GeneralTerm.csv 7KB
sample.csv 644B
sample.csv 644B
sample.csv 551B
数字找规律的方法.doc 38KB
王绍宇--基于数值型输入输出样例的程序合成器.docx 2.99MB
王绍宇--毕业设计(论文)开题报告.docx 120KB
王绍宇--中期检查报告.docx 115KB
王绍宇--毕业设计(论文)任务书.docx 26KB
my.exe 309KB
my.exe 91KB
my.vcxproj.filters 2KB
SMatrix.h 5KB
Function.h 3KB
Conjecture.h 1KB
Rational.h 1020B
Operation.h 690B
stdafx.h 636B
GeneralTerm.h 468B
targetver.h 314B
Custom.h 107B
vc100.idb 411KB
my.ilk 1.26MB
my-ba10e8cc.ipch 14.63MB
my.lastbuildstate 61B
my.lastbuildstate 42B
Debug - ショートカット.lnk 862B
my.log 2KB
my.log 690B
my.exe.embed.manifest 406B
my.exe.intermediate.manifest 381B
my.exe.intermediate.manifest 381B
README.md 1KB
stdafx.obj 684KB
Conjecture.obj 680KB
my.obj 548KB
Function.obj 375KB
Conjecture.obj 290KB
my.obj 270KB
GeneralTerm.obj 250KB
Function.obj 166KB
GeneralTerm.obj 112KB
Operation.obj 102KB
SMatrix.obj 67KB
SMatrix.obj 50KB
stdafx.obj 44KB
Operation.obj 26KB
my.pch 8.19MB
my.pch 7.5MB
my.pdb 2.06MB
my.pdb 867KB
vc100.pdb 452KB
vc100.pdb 428KB
koop09-SynthesisFunctionsWithGenerics-AAIP09.pdf 254KB
Robotic Origami Folding.pdf 3.91MB
王绍宇--基于数值型输入输出样例的程序合成器.pdf 1.19MB
oopsla10_synthesis.pdf 454KB
pldi11-table-synthesis.pdf 332KB
wambse12.pdf 320KB
ppdp10-synthesis.pdf 255KB
uv10-synthesis.pptx 564KB
pldi11-geometry-synthesis.pptx 439KB
my_manifest.rc 194B
my.exe.embed.manifest.res 472B
my.sdf 7.89MB
my.sln 873B
my.suo 112KB
CL.read.1.tlog 48KB
CL.read.1.tlog 25KB
cl.command.1.tlog 9KB
link.read.1.tlog 8KB
CL.write.1.tlog 6KB
cl.command.1.tlog 5KB
CL.write.1.tlog 4KB
link.read.1.tlog 4KB
link.command.1.tlog 4KB
link.command.1.tlog 2KB
mt.read.1.tlog 2KB
link.write.1.tlog 2KB
link.write.1.tlog 1KB
mt.command.1.tlog 730B
rc.command.1.tlog 446B
mt.write.1.tlog 390B
mt.command.1.tlog 338B
mt.read.1.tlog 266B
mt.write.1.tlog 266B
共 118 条
- 1
- 2
苏咔咔
- 粉丝: 30
- 资源: 4704
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 橙黄色幻灯简约的个性网站模板下载.zip
- 橙绿色简洁效果的科技公司整站模板下载.zip
- 橙绿色效果的科技公司整站模板下载.zip
- 橙色按钮导航的商务企业网站模板下载.zip
- 橙色背景的网站设计企业官网模板下载.zip
- 橙色扁平风格的餐饮酒店整站网站源码下载.zip
- 橙色扁平风格的蛋糕预订企业网站源码下载.zip
- 橙色扁平风格的APP软件开发整站网站源码下载.zip
- 橙色扁平风格的房地产企业网站源码下载.zip
- 橙色扁平风格的房地产中介公司企业网站源码下载.zip
- 橙色扁平风格的动植物园企业网站源码下载.zip
- 橙色扁平风格的酒店餐厅在线预订企业网站源码下载.zip
- 橙色扁平风格的景色热气球整站网站模板.zip
- 橙色扁平风格的互联网科技公司企业网站源码下载.zip
- 橙色扁平风格的时尚英文博客整站网站源码下载.zip
- 橙色扁平风格的手机数码产品电商站源码下载.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0