8、Lisp 中的输入输出与交互编程

Lisp 中的输入输出与交互编程

在编程中,与用户进行有效的交互是至关重要的。Lisp 作为一种功能强大的编程语言,提供了丰富的输入输出功能。下面将详细介绍 Lisp 中输入输出的相关内容。

1. 基础的输入输出函数:print 和 read

在 Lisp 里, print 和 read 是两个基础且重要的输入输出函数。
- print 函数 :用于在屏幕上打印内容。例如:

(print '3)     => 3
(print '3.4)   => 3.4
(print 'foo)   => FOO
(print '"foo") => "foo"
(print '#\a)   => #\a
代码示例 输出结果 说明
(print '3) 3 打印整数
(print '3.4) 3.4 打印浮点数
(print 'foo)

相关推荐

用 Cadence SKILL 打造参数化电感 PCell:从螺旋坐标计算到版图自动生成

参数化单元(PCell)是版图设计中提升效率的关键技术,它将器件的几何结构从固定图形升级为规则驱动的动态生成逻辑。在射频与模拟版图领域,平面螺旋电感结构高度相似却参数多变,传统手工绘制不仅重复劳动量大,而且难以维护。通过 Cadence SKILL 脚本,设计师可以将电感的内径、匝数、线宽、间距等参数抽象为可调变量,由代码自动计算螺旋拐点坐标并调用 Virtuoso 数据库接口生成走线,实现“改参数即改版图”的流畅体验。这种参数化方法不仅适用于单个电感,也能推广到八边形电感、圆形电感乃至整个匹配网络,帮助工

weixin_34268579的博客 412

ARC-AGI-3:终结算力迷信的认知推理基准

通用人工智能(AGI)的核心挑战从来不是算力规模,而是系统能否在零样本条件下完成结构化推理与规则泛化——这正是认知科学中‘心智模型构建’能力的本质。ARC-AGI-3作为新一代reasoning benchmark,通过单样本规则发现、跨域迁移与嵌套合成三阶段任务,严格剥离语言先验与统计拟合干扰,直击算法对抽象符号系统的组织能力。其评估不依赖GPU集群,而以规则一致性、泛化鲁棒性等四维RTF指标衡量真实推理质量,为AGI技术路线提供可验证、可解释、不可刷分的硬性标尺。当前实践已证实:轻量级神经符号混合架构在

atu99602的博客 349

3、编程语言的发展历程与广泛用途

本文详细介绍了编程语言的发展历程,从早期的机器语言和汇编语言到现代高级语言如Fortran、Cobol、Algol、Lisp等,探讨了它们的特性和应用场景。文章还分析了编程语言的基本元素,包括数据描述、控制结构、数据处理和输入输出,并讨论了如何根据具体需求选择合适的编程语言。此外,还展望了编程语言的未来发展趋势,如并行编程和图形化编程环境。

2y3u4i5o6p的博客 89

31、数学数字图书馆索引搜索与Isabelle证明助手的文档化应用

本文探讨了数学数字图书馆中的索引搜索技术以及Isabelle证明助手的文档化特性。重点介绍了MIaS系统的可行性及其在大规模数学文献处理中的应用潜力,同时分析了Isabelle如何通过丰富的语义注释和多语言集成解决传统证明器在面向文档环境中的挑战。此外,文章还讨论了文本编码(如UTF-8和UTF-16)、标记文本的地址定位机制以及YXML传输语法的设计与实现。最后展望了未来数学知识管理与形式化证明领域的发展方向,强调了跨平台集成、智能搜索和更优文本呈现的重要性。

cream的博客 109

【信息科学与工程学】计算机科学与自动化——第二十四篇 编译器10——编译原理与词法分析02

链接时优化:全局DCE(579)、LTO(580)安全编译:CFI(581、586)、ASan(582)、UBSan(583)、MSan(584)、TSan(585)、CET(587)、PAC(588)、MTE(589)、SFI(590)、Wasm沙箱(591)侧信道与秘密:侧信道缓解(592)、常量时间(593)、秘密清理(594)内存安全:ASLR(595)、栈保护(596)、整数溢出检测(597)、除零检测(598)、空指针检测(599)、数组边界检查(600)至此编号达到600。

weixin_49199313的博客 194

YOLO26算法车道线检测+训练好的模型+360张数据集+pyqt可视化界面.zip

附训练好的 YOLO 权重与 PyQt 可视化检测界面,页面底部含可视化效果预览,毕设/课设开箱即用。 【数据集概况】 · 检测类别(中文):[未获取()] 【训练曲线与评估图】 【模型训练配置】 参数 | 值 模型 | yolo26n 训练轮数 | 100 epochs 输入尺寸 | 640x640 批次大小 | 24 优化器 | auto 初始学习率 | 0.01 训练设备 【关键指标汇总】 训练了 55 个 epoch,最终轮指标: 指标 | 数值 mAP50 | **0.9512** mAP50-95 | 0.6746 Precision | 0.8796 Recall | 0.8825 train/box_loss | 0.8608 train/cls_loss | 0.7232 val/box_loss | 0.9955 val/cls_loss | 0.5511 【训练过程分析】 这轮训练我经历了从初始到稳定的曲折过程。前 20 个epoch,loss 曲线呈现了陡峭的下降趋势,mAP50 指标从 0.8 开始逐步攀升,仿佛在寻找一个合适的平衡点。然而,从第 21 个epoch 开始,mAP50 的提升速率显著放缓,整体曲线显得有些曲折,有时甚至停滞不前,让我一度以为训练出现了问题。直到第 35 个epoch,loss 开始逐渐趋于平稳,这标志着模型已经找到了一个较好的收敛区间。到了最后的 20 个 epoch,尽管 mAP50 依旧在稳步上升,但提升幅度已经不大,这意味着模型已经接近其性能天花板。 在这个过程中,我重点关注了 box_loss 和 cls_loss 的变化。初期阶段,box_loss 快速下降,从 0.9 逐渐降至 0.86,而 cls_loss 则从 0.75 逐步下降至... 使用场景:毕业设计、课程设计、深度学习入门、工业场景落地验证。

IEC 61851-23:2023 电动汽车导电充电系统 - 第23部分:直流电动汽车供电设备 - 完整英文电子版(388页)

IEC 61851-23:2023适用于用于在供电网络与电动汽车(EV)之间实现能量传输的电动车供电设备,A侧额定最大电压可达1000伏交流电或最高1500伏直流电,B侧额定最大电压最高可达1500伏直流电。 本文件规定了系统A、系统B和系统C的电动车供应设备,定义见附件AA、附件BB和附件CC。

phone-harness/mcp 把手机接进AI(源码附安装部署教程)

phone-harness/mcp 做的不是模拟器玩具,而是把真实手机操作能力接成一个标准 MCP 服务:给 Claude、Cursor、ChatGPT、Codex、VS Code 等客户端填一个 URL,完成 OAuth 登录后,AI 就能直接看屏幕、点按、输入、滑动、启动 App,甚至连真机 iPhone 和云端 Android 模拟器都能统一调度。 它的价值在于把过去依赖 Mac、adb、配对线缆和本地环境的移动端自动化,压缩成“一个地址+一次登录”的接入成本,特别适合需要让智能体真正落到手机场景里的测试、演示和流程执行。 项目把能力拆成一组很实用的工具:列设备、启停设备、截图、识别屏幕文字、坐标点击、长按、滑动、输入、按键、查前台应用、启动应用,基本覆盖了手机远程操控的主路径。 收费方式也写得很直白:云端 Android 按分钟计费,iPhone 是包月订阅,临时会话和保存状态的设备也区分清楚,减少了“能不能跑、怎么计费、数据会不会丢”这类实际使用时最常见的疑问。 更重要的是,它没有试图重新发明一套生态,而是紧贴 MCP,把“让 AI 真正碰到手机”这件事做成可插拔基础设施。

基于 Paxos 协议以及分布式架构,实现了高可用和线性扩展 OceanBase 数据库运行在常见的服务器集群上,不依赖特殊的硬件架构 一个分布式关系型数据库

基于 Paxos 协议以及分布式架构,实现了高可用和线性扩展。OceanBase 数据库运行在常见的服务器集群上,不依赖特殊的硬件架构。一个分布式关系型数据库

关于AI开发方法论-以文档为索引的高质量协作开发:让一次现象描述精准命中几个代码块

对AI的编码规范进行约束

数字雕刻基于CatmulI-Clark细分与笔刷位移场的ZBrush流程建模:月哨兵角色精细度上限分析

内容概要:本文以“月哨兵”科幻角色数字雕刻工程为实例,系统构建了从程序化粗模到高精度雕刻的完整数学模型。研究涵盖重拓扑、Catmul-Clark细分、笔刷位移场建模、多部件组装及精细度上限分析等核心环节。通过ZRemesher将304,050顶点粗模重拓扑为28,600顶点的全四边形网格,并逐级细分至732万面,实测面数递推F(k)=F₀·4ᵏ完全符合理论。利用ZBrush Python接口注入Standard笔刷操作,首次通过同拓扑OBJ逐顶点差分获得真实位移场数据,实测最大位移0.454873,8.756%顶点发生显著位移。提出“理论-内存-拓扑-视觉”四层精细度上限模型,指出在24GB内存条件下工程合理上限为10⁷~10⁸面,视觉收益受渲染分辨率制约趋于饱和。最终完成755万面的组装网格并经工程文件回读验证一致性。; 适合人群:具备三维建模与数字雕刻基础,熟悉ZBrush工作流,从事角色资产开发或程序化内容生成的技术美术、图形学研究人员及高阶数字艺术家。; 使用场景及目标:①理解Catmul-Clark细分曲面在工业级雕刻流程中的数学机制;②掌握基于脚本驱动的可复核雕刻工程构建方法;③评估高面数模型的内存代价与视觉收益平衡;④学习重拓扑、位移场量化、多部件合并等关键技术的工程实现。; 阅读建议:本文强调数学建模与实证闭环,建议结合附录中的脚本与数据文件进行复现实践,重点关注逐顶点差分、细分递推验证与四层上限模型的构建逻辑,以深入掌握高精度数字雕刻的系统性工程方法。

公司内网软件下载站,公司内网软件下载站

公司内网软件下载站,公司内网软件下载站

通信行业基于Tuned与Systemd的CentOS 7性能调优:自动化资源治理与软中断优化实践

内容概要:本文围绕CentOS 7在通信行业大规模服务器集群中的系统性能优化,提出基于Tuned与Systemd的自动化、可复制、可回滚的性能治理方案。重点涵盖Tuned自定义Profile实现CPU、内存、网络和磁盘的综合调优,结合RPS/RFS与中断亲和优化软中断处理,利用Systemd资源控制对关键服务进行CPU、内存、IO的硬性限额,并通过sar、ethtool等工具构建可观测闭环验证调优效果。案例展示了短信网关在高并发场景下通过资源隔离显著降低延迟、提升稳定性的实践路径。最后展望了向eBPF自适应调优、Kubernetes声明式编排与全面可观测性演进的趋势。; 适合人群:具备Linux系统管理与运维基础,从事通信、云计算或高性能服务端开发的工程师,尤其是负责大规模服务器集群性能调优的技术人员。; 使用场景及目标:①解决通信类业务中软中断瓶颈、单核打满、延迟波动等问题;②实现系统级性能调优策略的标准化、自动化部署与快速回滚;③为时延敏感型服务(如短信网关、VoIP)提供资源隔离与QoS保障; 阅读建议:本文强调“按业务特征定制”与“可复制治理”的工程方法论,建议结合实际生产环境,先在测试集群验证参数有效性,重点关注Tuned的继承机制、RPS掩码设置与Systemd资源配额的协同作用,并持续通过监控数据反馈调优成效。

syslog_test.py

syslog_test.py

Simulink “双碳”背景下汽车减少碳排放建模与仿真

内容概要:本文围绕“双碳”战略背景,系统阐述了基于Simulink的汽车碳排放建模与仿真技术,重点引入模糊PID控制优化动力系统性能,以实现节能减排目标。文档整合了多个Matlab/Simulink科研仿真案例,涵盖无刷直流电机(BLDC)控制、三相PWM整流器、电池管理系统、路径规划、信号处理、智能优化算法及图像处理等领域,全面展示Matlab在智能控制与绿色能源系统中的应用价值。同时强调科研应兼具严谨逻辑、创新思维与工具赋能,并提供完整的仿真资源链接与学习路径支持实践落地。; 适合人群:具备Matlab/Simulink基础,从事自动化、电气工程、车辆工程、控制科学、电力电子及智能制造等相关领域的科研人员或高年级本科生、研究生;适用于开展节能减排、新能源系统优化、智能控制算法研究等课题的研究者。; 使用场景及目标:①学习在Simulink中构建汽车能耗与排放仿真模型并应用模糊PID进行动态优化;②掌握BLDC、PWM整流器等关键部件的建模与控制策略设计;③借鉴丰富案例提升科研效率,拓展在智能控制、路径规划、信号处理等方向的应用能力;④通过提供的网盘资源获取完整代码与资料,支撑论文写作与项目开发。; 阅读建议:建议按照资源目录顺序系统学习,结合百度网盘提供的Matlab/Simulink代码动手实践,重点关注控制策略的设计、仿真结果的分析与优化过程,同时注重培养科研思维与工程实际问题的结合能力。

西部牛仔_1794033330851.apk

西部牛仔_1794033330851.apk

状态估计变分贝叶斯近似的递归噪声自适应卡尔曼滤波(Matlab代码实现)

内容概要:本文详细介绍了一种基于变分贝叶斯近似的递归噪声自适应卡尔曼滤波方法,并配套提供了完整的Matlab代码实现。该方法旨在解决传统卡尔曼滤波在面对过程噪声和观测噪声统计特性未知或时变情况下性能退化的问题,通过引入变分贝叶斯推断技术,实现对噪声协方差的在线联合估计与动态更新,从而提升滤波器在非平稳环境中的状态估计精度与鲁棒性。文中系统阐述了算法的理论基础、数学推导流程、递归计算结构及关键实现步骤,涵盖了概率图模型构建、似然函数近似、变分迭代优化等核心技术环节,适用于复杂动态系统中的自适应信号处理与状态估计任务。; 适合人群:具备良好线性系统理论、概率统计与贝叶斯估计基础,并熟悉Matlab编程的研究生、科研人员及从事导航、控制、传感融合等相关领域的工程技术人员; 使用场景及目标:①应对实际工程中因噪声先验信息缺失或环境变化导致的标准卡尔曼滤波失效问题;②应用于无人机导航、智能驾驶、工业状态监测、传感器融合等高精度自适应估计场景,提升系统在不确定环境下的稳定性和准确性; 阅读建议:建议读者结合所提供的Matlab代码逐模块研读,重点理解变分贝叶斯迭代过程中噪声协方差矩阵的后验更新机制,并通过仿真实验对比所提方法与标准KF/EKF/UKF的估计性能差异,深入掌握噪声自适应滤波的设计思想与实现技巧。

PUMA:DOA估计模式的改进实现(Matlab代码实现)

内容概要:本文围绕PUMA(Propagator Method-based DOA Estimation)算法在波达方向(DOA)估计中的改进实现展开,重点在于通过Matlab编程对算法进行仿真与性能验证。作为阵列信号处理领域的高分辨率DOA估计算法,PUMA在传统方法基础上提升了估计精度与鲁棒性,尤其在低信噪比、小样本等恶劣条件下仍能保持优异性能。文中系统阐述了PUMA算法的理论基础、数学模型及其相较于MUSIC、ESPRIT等经典算法的优势,并通过仿真实验进行对比分析,展示其在分辨力、稳定性和计算效率方面的综合优势,适用于实际雷达、无线通信与电子侦察等应用场景。; 适合人群:具备信号处理、通信工程、电子信息或雷达系统等相关专业背景的研究生、科研人员及工程技术人员,熟悉阵列信号处理理论与Matlab编程环境者尤佳; 使用场景及目标:①用于学术研究中DOA估计算法的性能优化与新方法对比验证;②应用于雷达系统、5G/6G通信、智能天线、电子对抗等领域的高精度空间谱估计任务;③作为Matlab仿真实践资源,支持课程设计、学位论文复现与科研项目开发; 阅读建议:建议结合阵列信号处理基础知识体系学习本资源,重点关注PUMA算法的改进机制与核心代码实现逻辑,建议动手运行并调整仿真参数以深入理解不同因素(如阵元数、信噪比、快拍数)对估计性能的影响。

国土变更调查中六类拓扑错误的成因分析与高效修复实践

本文深入分析了国土变更调查中六类拓扑错误的成因,包括边界不一致和不规则图形等常见问题,并提出了高效的自动化修复实践。通过智能咬合算法、引力-斥力平衡模型等核心技术,显著提升了修复效率,节省人工质检时间70%。文章还分享了实战中的避坑指南和黄金法则,为相关从业人员提供了宝贵经验。

weixin_29202213的博客 359

IEC61850建模实战:从标准解读到ICD文件生成

本文详细介绍了IEC61850建模的实战过程,从标准解读到ICD文件生成,涵盖了变电站自动化系统的结构化数据模型设计。通过分层结构、标准服务映射和XML文件解析,帮助读者掌握电力系统智能电子设备的标准化建模方法,提升工程实施效率。

weixin_30823001的博客 413

计算机网络Wireshark实验(西安交通大学)

实验名称 计算机网络Wireshark实验 实验日期 2021 年 5 月 17 日 实验地点 XJTU

沉鱼叶的博客 1814

Obsidian+llama3:终于搭建了自己的知识库

Obsidian 的 Smart Connections,超出了我原本的预期,于是结合新模型非常方便地搭建了我的个人知识库。

谢彦的技术博客 3711

Windows10 使用Apple Studio Display显示器的设置

AppleStudioDisplay显示器购买花了近1.5wRMB,由于为windows台式机,显卡为NVIDAGTX-1660,而AppleStudioDisplay只有雷电接口,尝试了很多种转接方式,均以失败告终,最终使用贝尔金VR线成功,,附图如下这边也测试过NVIDARTX-2060Super、NVIDAGTX-1650显卡,都是能点亮的,NVIDA1650存在关机重启后黑屏,不稳定现象,2060也存在关机重启后不亮现象,后面发现1660s很稳定。...

爱意随风起,人生不可弃。 1万+

告别连接难题:Windows 11下Multisim主数据库稳定运行终极配置指南

本文详细解析了Windows 11下Multisim 14.0主数据库连接失败的三大根源,并提供了四步终极解决方案,包括系统环境优化、软件权限配置、注册表修复和网络验证绕过技巧。通过实测数据对比,本方案显著提升了启动速度和稳定性,解决了电子仿真中的常见连接问题。

weixin_33738555的博客 430

【STM32】STM32F407实现简单的Modbus协议

1.ModBus协议简介 MODBUS协议是一种串行通信协议,由Modicon公司(施耐德公司前身)发表,由于其公开发表且无版权要求,易于部署和维护,在工业界广泛应用。MODBUS采用主从通信(Master/Slave),MODBUS有三种报文格式:ASCII、RTU、TCP,本文主要讨论RTU。 如下图所示,串行通信上的MODBUS协议主要由地址,功能码,数据,CRC校验四部分数据帧构成。主机和从机的串行通信设备要求一致,参数要求一致,即假设使用串口,主从机波特率,奇偶校验...

BadBoyHolly的博客 8183

【Py/Java/C++/C/JS/Go六种语言OD独家2024E卷真题】20天拿下华为OD笔试之【固定滑窗】2024E-考勤信息【欧弟算法】全网注释最详细分类最全的华为OD真题题解

可上练习华子OD、大厂真题绿色聊天软件戳oj1441了解算法冲刺训练(备注【优快云】否则不通过)

weixin_48157259的博客 617

IMSL CNL 7.0.0 (x86-64)Crack

IMSL CNL 7.0.0 (x86-64)Crack intel的算法库破解文件,这是C++版本的破解文件

华为的C语言编程规范.pdf

华为技术有限公司内部技术规范。本规范制定了编写C语言程序的基本原则、规则和建议。从代码的清晰、简洁、可测试、安全、程序效率、可移植各个方面对C语言编程作出了具体指导。

jre9下载 jdk9

(Java SE Runtime Environment 9.0) 9.0u175 官方最新版 【x86|x64】

VB摄像头监控

该VB模块可对摄像头捕获的画面进行录像等,可在创建的窗口进行控制

上一篇: 35、利用 transduction 和多视图学习自动回复邮件
下一篇: 9、Lisp编程:交互、Lambda与特殊列表的深度探索
nft7creator
博客等级 码龄1天 0粉丝 1305原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符  | 博主筛选后可见
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值