I d r i s 语 语 语言 言 言文 文 文档 档 档 Ve r s io n 1 .3 .1 C o n t e n t s 1 I d r i s 教 教 教程 程 程 2 2 常 常 常见 见 见问 问 问题 题 题解 解 解答 答 答（ （ （F A Q ） ） ） 64 3 用 用 用 I d r i s 实 实 实现 现 现带 带 带有 有 有状 状 状态 态 态的 的 的 的系 系 系统 统 统： ： ：S T 教 教 教程 程 程 69 4 Th e E ff e c t s Tu t or i al 102 5 Th e or e m P r ov i n g 136 6 L an gu age R e f e r e n c e 147 7 Tu t or i al s on t h e I d r i s L an gu age 215 注 注 注解 注解 解 解: 奉 奤 奲 奩 女 文档已按照 创 创 创作 作 作共 共 共用 用 用 C C 0 许 许 许可 可 可协 协 协议 议 议 发布。因此根据法律规定， I d r i s 社 社 社区 区 区 已放弃对 奉 奤 奲 奩 女 文档的所有版权以及相关或邻接的权利。 关于 奃 奃 夰 的更多信息参见：奨 奴 奴 奰 女 夺 夯夯奣 奲 奥 奡奴 奩 奶 奥 奣 奯奭 奭 奯奮 女 央

糯米 搦战 B.嗥叫 蚝油 狼嚎 号哭 C.蠕动 茹素 儒家 孺子 D.艾蒿 缟素 藁城 槁木 2. 下列各句中，加点的词语使用恰当的一句是（ ） A.适宜心灵散步，眼睛旅行，也就是古人说的赏心悦目。 B.他以身试法，用自己的亲身经历去劝导别人。 C.每个夜幕深垂的晚上，山下亮起灿烂的万家灯火，山上闪出疏落的灯光。 主持人王小丫、李咏联袂主持了当晚的文艺晚会。 C．体育课对大多数同学是有兴趣的。 D．今年五一期间，我市个别景点由于垃圾箱设置过少，导致游客垃圾乱丢。 对此，我们认为景点管理部门并非不无责任。 4. 下列有关郁达夫的文学常识，不正确的一项是（ ） A．郁达夫，原名郁文，浙江省富阳县人，现代著名小说家、散文家。 B．散文《故都的秋》、《茫茫夜》等，情景交融，文笔优美， C．他的主要作品有短篇小说《沉沦》、《春风沉醉的晚上》、《薄奠》、 A．东边日出西边雨，道是无情胜有情。 B．身无彩凤双飞翼，心有灵犀一点通。东边日出西边雨，道是无情胜有情。 C．同是天涯沦落人，相逢何必曾相识。 D．无可奈何花落去，似曾相识燕归来。 6. 《祝福》中鲁四老爷书房的案上的几本书点明了（ ） A．鲁四老爷这个地主阶级知识分子的爱好和兴趣 B．鲁四老爷这个地主阶级知识分子的保守和无能 C．鲁四老爷这个封建礼教卫道士的迂腐和顽固 D．鲁四老爷这个封建礼教卫道士的思想和修养

这就是我们的选择，是我们的优先级。只有持续为客户创造价值，员工才能成长，股东才能 获得长远利益。 2. 因为信任，所以简单 世界上最宝贵的是信任，最脆弱的也是信任。阿里巴巴成长的历史是建立信任、珍惜信任的 历史。你复杂，世界便复杂；你简单，世界也简单。阿里人真实不装，互相信任，没那么多 顾虑猜忌，问题就简单了，事情也因此高效。 3. 唯一不变的是变化 无论你变不变化，世界在变，客户在变，竞争环境在变。我们要心怀敬畏和谦卑，避免“看 括更强的办公协作能力以及阿 里云的大数据分析和AI能力，进一步促进企业数字化转型 • 阿里巴巴获评“全国脱贫攻坚先进集体” • 淘宝和天猫陆续推出各项支持商家举措，例如透过开设服务中心、店铺保证金优惠、 免费提供部分分析工具和营销工具助商家提升营运效率

要数十分钟到数小时不等）。 – texlive 自带 standalone 包和 pdftocairo • inkscape 和 ghostscript 可采用默认安装或者改变一下安装路径（非 C 盘） • 关于 pdf2svg ，请在 github 页面下载 zip 压缩包，然后解压出对应系统位元的版本（32 位或 64 位）。之后把解压出来的文件夹路径加到系统的环境变量 Path 中即可。 非用完整路径）。此点会在配置系统环境变量 Path 详述。 2.1 配置系统环境变量 Path 当在 CMD 中键入非完整路径时，譬如调用 pdftocairo 时，只键入“pdftocairo”而不是它完整的 安装路径时（譬如“c:\一些文件夹\pdftocairo.exe”），系统会查找保存在 Path 变量中的路径，看能不能 找到。故此，为了便利和兼容，一般情况下软件安装时都会把自身重要的路径加到 Path 中。 当然 中，“%”是一个保留字，用来表示注释。如果直接使用在 documentclass 之中，则 18 Chapter 5. 转换流程 LaTex (tikz) 转换为图像, 发布 1.0.0 会把其后面的同行代码全部注释掉。这样的话，编译时会出问题。 然而，若用“\”进行转义（即“escape”）的话 standalone 是会把“\”符号作为明文加入到命 令中的。这样一来，命令通常都不对，因为“\”在

个小题，每小题 2 分，共 60 分。在每个小题给出的四个选项中， 只有一项是符合题目要求的，把所选项前的字母填在题后的括号内。 1．《诗经》收入自西周初年至春秋中期约五百年间诗歌共 首。（ C ） Ａ．250 Ｂ．300 Ｃ．305 Ｄ．105 2．《诗经》产生的地区主要集中在 。（ A ） Ａ．黄河流域 Ｂ．汉水流域 Ｃ．长江流域 3．《国语》是我国第一部 。（ D ） Ａ．纪传体断代史 Ｂ．纪传体通史 Ｃ．编年体通史 Ｄ．国别史 4．《战国策》西汉末年由 重新编排整理并命名。（ C ） Ａ．司马迁 Ｂ．班固 Ｃ．刘向 Ｄ．陈寿 5． 是孔子门人及再传弟子记载孔子言行的著作，是儒家经典之一。（ D ） Ａ．《中庸》 Ｂ．《春秋》 、 孟浩然。（ C ） Ａ．李白 Ｂ．杜甫 Ｃ．王维 Ｄ．岑参 10．边塞诗派的代表作家是高适、 。（ D ） Ａ．李白 Ｂ．杜甫 Ｃ．王维 Ｄ．岑参 11．“新乐府”一名是 提出的，《新乐府》五十首是他的讽喻诗。（ C ） Ａ．韩愈 Ｂ．元稹 Ｃ．白居易