# 翻译

**URL:** https://discourse.rocq-prover.org/c/rocq-in-chinese/chinese-translation/23.md

[Latest](https://discourse.rocq-prover.org/latest.md) · [Categories](https://discourse.rocq-prover.org/categories.md) · [Tags](https://discourse.rocq-prover.org/tags.md)

---

## [翻译子版说明](https://discourse.rocq-prover.org/t/topic/237)

<div class="topic-metadata">

**Author:** [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Replies:** 0

</div>

本版可讨论术语、句式等翻译相关话题。 繁简文白不限，通顺即可。

---

## [术语：applicative functor](https://discourse.rocq-prover.org/t/applicative-functor/985)

<div class="topic-metadata">

**Author:** [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Replies:** 5\
**Last updated:** [November 2, 2022, 5:58am UTC](https://discourse.rocq-prover.org/t/applicative-functor/985 "2022-11-02T05:58:19Z")

</div>

背景 已有日语文献将applicative functor译为“適用可能関手”，对应汉语“可适用函子”，但“适用”在现代汉语中常作形容词而非动词，故“可适用”有搭配不当之嫌。 溯源 用 可施行也。从卜从中，卜中则可施行。 又：象桶形，桶可用。 适 之也，往也，如也，至也。从辵啻声。 另有符合、恰好诸义。 讨论 如以“可”作介词短语，“可用”常指“usable”，而“可适”缺乏先例。 其另起新词欤？鉴于“函…

---

## [术语：induction](https://discourse.rocq-prover.org/t/induction/240)

<div class="topic-metadata">

**Author:** [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Replies:** 15\
**Last updated:** [August 5, 2019, 4:07pm UTC](https://discourse.rocq-prover.org/t/induction/240 "2019-08-05T16:07:39Z")

</div>

在 Coq 中，induction 策略的理论基础为 structural induction，中文维基称其为“结构归纳法”。但“归纳”二字易同“归纳推理”混淆。诚然英语亦面临此问题，但汉语能否更通达地表述此概念？ 已知掣肘因素如：“数学归纳法”是 structural induction 在自然数之特例，此概念在中学已普及。 請教台灣同仁：國語中“歸納”是否兼具 inductive reasoning 和 structural i…