SunQuarTeX 中文学术写作示例文档

这是副标题

web
LaTeX
站点相关
Author

sun123zxy

Published

December 23, 2022

Modified

April 28, 2023

Abstract
使用 Quarto Markdown 语法，支持输出至 HTML、PDF/LaTeX、MS Word 等多种格式的中文学术写作工具，覆盖交叉引用、插图绘制、定理系统等多种功能。

1 前言

具体使用方法等参见 sun123zxy/sunquartex。

2 文章结构测试

这一节测试文章结构。

2.1 文章分节

非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常长的句子。

文章分分节

Quarto 支持交叉引用。比如这一节的标题就已经被打上了标签。

分分分节

本节中我们测试交叉引用 Section 2.1.1。

分分分分节

这是最小的一级了。

3 图片、表格、列表测试

这是 Quarto 的图标。

Figure 1: 这是一张插图

交叉引用 Figure 1 当然也是可以的。

这是一个紧凑列表。

  • 自反性。
  • 反对称性一个和非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常长的句子。
  • 传递性。

这是一个宽松列表。

  • 自反性。

  • 反对称性一个和非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常长的句子。

    还多加了一段。

  • 传递性。

当然也可以使用 markdown 表格。例如 Table 1 (a).

顺便测试以下多表格并列。加上 Table 1 (b)，它们共同组成了 Table 1。

(a) 笛卡尔积
\(L_i \times C_j\) \(2\) \(\mathbb N\) \(\mathbb R\)
\(2\) \(4\) \(\mathbb N\) \(\mathbb R\)
\(\mathbb N\) \(\mathbb N\) \(\mathbb N\) ?
\(\mathbb R\) \(\mathbb R\) ? \(\mathbb R\)
(b) 集合幂
\(L_i^{C_j}\) \(2\) \(\mathbb N\) \(\mathbb R\)
\(2\) \(4\) \(\mathbb N\) \(2^{\mathbb R}\)
\(\mathbb N\) \(\mathbb N\) ? ?
\(\mathbb R\) \(\mathbb R\) ? ?

Table 1: 相关集合的势（不完整版）

4 数学公式、定理系统测试

Quarto 的一大卖点。

这一节我们测试数学相关内容. HTML 中的定理标号方式目前没有方法更改，但 LaTeX 中的定理标号可通过自行修改模板中 amsthm 宏包的定义实现.

此外，根据 Quarto - Markdown Basics # Equations 和 Defining LaTeX commands for HTML and PDF rendering - Discussion #1793 和 Quarto - Conditional Content，按如下面方式自定义 macro 可确保其在 HTML、 LaTeX/PDF 和 MS Word 中都得到正确渲染。值得注意的是，由于 \DeclareMathOperator 只能在 LaTeX 的导言区使用，这里我们用 \newcommand + \operatorname 的方式替代。

下面的公式使用了上面定义的 macro。 \[ \operatorname{ran}A := \{ y \mid (x,y) \in A \} \]

两个集合 \(A, B\) 的笛卡尔积定义为 \[ A \times B = \{\langle x,y \rangle \mid x \in A \land y \in B \} \]

显然，笛卡尔积不满足交换律和结合律. 在势的视角下，它的表现如何呢？

Theorem 1 (笛卡尔积的保势性) 这是一个有 caption 的定理.

\[ A \preccurlyeq C \land B \preccurlyeq D \implies A \times B \preccurlyeq C \times D \]

Proof. 建立单射 \[ \begin{aligned} \varphi: A \times B &\to C \times D \\ \langle x,y \rangle &\mapsto \langle f(x), g(y) \rangle \end{aligned} \] 即可，其中 \(f\) 和 \(g\) 是由 \(A \preccurlyeq C\) 和 \(B \preccurlyeq D\) 确定的单射.

Corollary 1 等势意义下可用等势的集合替换参与笛卡尔积运算的集合，即 \[ A \approx C \land B \approx D \implies A \times B \approx C \times D \]

这是一个没有 caption 的定理.

Example 1 证明 \[ \mathbb R \times \mathbb N \approx \mathbb N \times \mathbb R \approx \mathbb R \]

Proof. 利用 Theorem 1 对 \(\mathbb R \times 2\) 和 \(\mathbb R \times \mathbb R\) 夹逼，立刻得到 \[ \mathbb R \approx \mathbb R \times 2 \preccurlyeq \mathbb R \times \mathbb N \preccurlyeq \mathbb R \times \mathbb R \approx \mathbb R \implies \mathbb R \times \mathbb N \approx \mathbb N \times \mathbb R \approx \mathbb R \]

5 数据可视化

Quarto 的另一大卖点。

Code 
import numpy as np
import matplotlib.pyplot as plt

r = np.arange(0, 2, 0.01)
theta = 2 * np.pi * r
fig, ax = plt.subplots(
  subplot_kw = {'projection': 'polar'} 
)
ax.plot(theta, r)
ax.set_rticks([0.5, 1, 1.5, 2])
ax.grid(True)
plt.show()

Figure 2: A line plot on a polar axis

交叉引用 Figure 2 当然也是可以的.

另外，支持使用 GraphViz 或 Mermaid 绘制有向图或流程图。

G sup A mono B sup->mono nested C mono->nested nested->sup 2 bw D accu F nested->accu 4 finite G nested->finite 3 cauchy E bw->cauchy lebesgue H bw->lebesgue 7 cauchy->mono 1 accu->bw 6 finite->sup 9 finite->accu 5 lebesgue->finite 8
Figure 3: GraphViz 有向图

6 HTML 专用测试

目前暂未处理 LaTeX/PDF 格式的代码高亮和 callout，MS Word 格式可兼容但效果不佳。本节测试内容不会在 LaTeX/PDF 格式下被渲染。

6.1 代码块、引用

本节测试代码块和引用。

这是一个引用块和一个非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常长的句子。

Quarto 具有 5 种 callout 类型：note，warning，important，tip，和 caution。

下面是代码块。

import numpy as np
import matplotlib.pyplot as plt

r = np.arange(0, 2, 0.01)
theta = 2 * np.pi * r
fig, ax = plt.subplots(
  subplot_kw = {'projection': 'polar'} 
)
ax.plot(theta, r)
ax.set_rticks([0.5, 1, 1.5, 2])
ax.grid(True)
plt.show()

6.2 Callouts

Note

普通的 note callout。

Warning

这是 warning callout 和一个和非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常长的句子。

这是两个 callout 中间的一个段落。

Important

这是 important callout。

有 caption 的 callout

这是有 caption 的 callout。

开启 collapse 的可折叠 caution callout。

simple 风格的 callout 和一个和非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常长的句子。

minimal 风格的 callout 和一个和非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常非常长的句子。

7 文献引用测试

人脸识别是以人面部特征作为识别个体身份的一种个体生物特征识别方法 [1]。……人脸识别的研究最早可追溯到上世纪 60 年代，Bledsoe and Chan 研究了编程计算机识别人脸的方法[2]。随后，萌芽期的人脸识别技术经历多轮蜕变，在发展中逐渐完善。然而，人脸识别的主要难点在于不同个体的人脸结构并无大异，而同一个体的人脸在不同表情、年龄、妆饰、光照等干扰因素下又往往差异显著[3]，这要求人脸识别技术既要克服类内因素的干扰，同时又要加强类间差距的显著性，而早期人脸识别方法关注人脸几何特征，识别效果不尽人意。为此，以 Eigenfaces[4] 为代表的子空间学习识别方法和 Gabor[5]、LBP[6] 等局部特征分析的滤波器提取方法在各自领域都有所突破。2014 年，应用新兴的深度卷积神经网络技术，DeepFace[7] 横空出世，以 97.35% 的 LFW 基准数据集识别准确率重塑了人脸识别领域的研究格局。随后，人脸识别技术迎来爆发式增长，并逐渐走进人们的日常生活之中。……个体层面，要加强公众的权利意识，塑造个人的“数字理性”[8]。

References

[1]
全国信息安全标准化技术委员会, “《信息安全技术远程人脸识别系统技术要求》（GB/T38671-2020）.” https://std.samr.gov.cn/gb/search/gbDetailed?id=A47A713B767814ABE05397BE0A0ABB25, 2020.
[2]
W. W. Bledsoe and H. Chan, “A man-machine facial recognition system—some preliminary results,” Panoramic Research, Inc, Palo Alto, California., Technical Report PRI A, vol. 19, p. 1965, 1965.
[3]
余璀璨 and 李慧斌, “基于深度学习的人脸识别方法综述,” 工程数学学报, vol. 38, no. 4, p. 19, 2021.
[4]
M. Turk and A. Pentland, “Eigenfaces for recognition,” Journal of Cognitive Neuroscience, vol. 3, no. 1, pp. 71–86.
[5]
C. Liu and H. Wechsler, “A gabor feature classifier for face recognition,” in Proceedings eighth IEEE international conference on computer vision. ICCV 2001, IEEE, 2001, pp. 270–275.
[6]
T. Ahonen, A. Hadid, and M. Pietikäinen, “Face recognition with local binary patterns,” in European conference on computer vision, Springer, 2004, pp. 469–481.
[7]
Y. Taigman, M. Yang, M. Ranzato, and L. Wolf, “Closing the gap to human-level performance in face verification. deepface,” in Proceedings of the IEEE computer vision and pattern recognition (CVPR), p. 6.
[8]
郭春镇, “数字人权时代人脸识别技术应用的治理,” 现代法学, vol. 42, no. 4, p. 18, 2020.