概要
- 仕事で外国人とやり取りする時に数学用語はよく使う
- その時に、パッと英語で数学用語がでないと困る
- また、LatexはMarkdownで記述する時によく使う
- そこで、Latexと英語とRでの数学用語の基本的なメモを残す
NOTE:
- 便宜上形式的にLaTeXをLatexと表記する
LaTex
論理学系用語
これで基本的な用語は充足しているだろう。
| 日本語 | 英語 | 説明 |
|---|---|---|
| 公準 | Postulate | 証明されないが自明とみなされる命題(特に幾何学で) |
| 公理 | Axiom | 自明かつ不証明の前提 |
| 定義 | Definition | ある用語、記号、概念の正確な意味を明示するための文 |
| 原理 | Principle | ある分野で理論構築の基盤となるような、基本的な法則や概念 |
| 命題 | Proposition | 真または偽であると判断できるもの |
| 定理 | Theorem | 数学における重要な命題 |
| 公式 | Formula | 数学的な関係を表現する式 |
| 系 | Corollary | 他の定理や命題から直接導出される命題 |
| 法則 | Law | 実験や観測に基づいて確立された一般的な原理や規則 |
| 前提 | Premise | 論理的な推論や数学的証明における出発点となる命題や仮定 |
| 条件 | Condition | ある命題、定理、または論理的結論が成り立つために必要な仮定や要件 |
| 仮説 | Hypothesis | 未だ証明されていない命題や仮定 |
| 証明 | Proof | ある命題が真であることを論理的に示す過程 |
| 補題 | Lemma | 主要な定理や命題の証明を容易にするために用いられる、補助的な命題 |
| 推論 | Inference | 既知の事実や命題から新たな結論を導く論理的なプロセス |
変数(variable)
$$ x = 10 $$
変数の修飾
- 全ての変数(all variable)
- $n$の下付き文字で定義時に表す
$$ X = X_1, X_2, \cdots ,X_n $$
- 各変数(every variable)
- n項演算子と$i$の下付き文字で表す
$$ S = \sum_{i=0}^{n}X_i $$
- 任意の変数(any variable)
- n項演算子なしの場合は、$i$の下付き文字で表す
$$ E(X_i) = \mu $$
アクセント
- 循環小数
$$ \dot{a} = 0.9999 $$
- 推定値
$$ \hat{x} = 12 $$
- 平均
$$ \bar{x} = 12 $$
- 複素共役と補集合
- (エルミート共役と紛らわしいので、アスタリスクではなくバーで表す)
$$ \bar{z} $$
- 随伴行列(エルミート共役)
- 随伴行列はアスタリスク
$$ A^{*} $$
R
| |
ドットは単なる名前(dataオブジェクととかではない)
| |
型の意味
| 関数 | 意味 |
|---|---|
| typeof() | R言語視点のType |
| class() | クラスのtype |
| mode() | S言語視点(Becker, Chambers & Wilks視点)のType |
型の例
| |
分数(Fraction)
| 出力 | $\TeX$ |
|---|---|
| $\frac{a}{b}$ | \frac{a}{b} |
英語での分数の読み方のルールは次になる。
- 分母は「denominator, denom.」
- 分子は「numerator, numer.」
- 分数を「分子 -> 分母」の順で読む
- 分子は基数(cardinal numbers)を使う
- 分母は序数(ordinary numbers)を使う
- 序数は次の2つの意味がある
- Third: 3番目
- Third: 1/3
- 序数は次の2つの意味がある
- ただし以下に注意
- 1/1の時
- one whole
- one over one
- 分子が0の場合
- zero thirds(0/3)
- 分子が1
- 分子はaかoneで、分母は単数形
- 分母が2の時
- one half (1/2)
- a half (1/2)
- one second (1秒) <= 間違い
- half a second (0.5秒)<= 間違い
- 分母が3の時
- one third (1/3)
- 分母が4の時
- a quarter
- one fourth <= よりフォーマル
- 分母が2の時
- 分子はaかoneで、分母は単数形
- 分子が1より大きい
- 分母は複数形
- 分母が2の時
- two halves(2/2)
- two seconds (2秒) <= 2秒なので注意
- 分母が3の時
- two thirds(2/3)
- 分母が4の時
- two quarters(2/4)
- two fourths(2/4) <= これは一般的ではない
- 分母が5, 6の時
- two fifths(2/5)
- two sixths(2/6)
- three twelfths(3/12)
- 分母が巨大な時
- one hundredth (1/100) <= これでもOK
- one over one hundred (1/100) <= こっちが一般的
- 分母が2の時
- 分母は複数形
- 分子や分母が少数の時は
- one point four fifths
- one point five over three
- one point five divided by three
- 帯分数の場合はandで繋げる
- three and a half (3 + 1/2)
- three times one-half (3 x 1/2)
- 分母が分子より大きいとき
- 5 out of 10
- 1/1の時
- その他
- tenth of a millimeter(ミリメートルの十分の一)

記号(symbol)
| 出力 | $\TeX$ |
|---|---|
| $=$ | = |
| $+$ | + |
| $-$ | - |
| $\times$ | \times |
| $\div$ | \div |
| $\pm$ | \pm |
| $\mp$ | \mp |
| $\neq$ | \neq |
| $\sim$ | \sim |
| $\simeq$ | \simeq |
| $\fallingdotseq$ | \fallingdotseq |
| $\risingdotseq$ | \risingdotseq |
| $\equiv$ | \equiv |
| $>$ | > |
| $<$ | < |
| $\geq$ | \geq |
| $\geqq$ | \geqq |
| $\leq$ | \leq |
| $\leqq$ | \leqq |
| $\gg$ | \gg |
| $\ll$ | \ll |
| $\oplus$ | \oplus |
| $\ominus$ | \ominus |
| $\otimes$ | \otimes |
| $\oslash$ | \oslash |
| $\circ$ | \circ |
| $\cdot$ | \cdot |
| $\cdots$ | \cdots |
| $\bullet$ | \bullet |
| $\in$ | \in |
| $\ni$ | \ni |
| $\notin$ | \notin |
| $\subset$ | \subset |
| $\supset$ | \supset |
| $\subseteq$ | \subseteq |
| $\supseteq$ | \supseteq |
| $\cap$ | \cap |
| $\cup$ | \cup |
| $\emptyset$ | \emptyset |
| $\infty$ | \infty |
集合(set)
- 集合は大文字
- 元(要素)は小文字
$$ X = \{x_1, x_2, x_3\} $$
特徴づけ(characterize)
- 性質P(property)が対象Xを特徴づける
$$ X = \{x | P(X) \} $$
- もしくは条件
$$ X = \{x | x \in \mathbb{R} \} $$
条件付き確率($P(X|C)$)の場合は括弧、特徴付けは波括弧の中でパイプをつかう
集合の関係
| 出力 | $\TeX$ |
|---|---|
| $\in$ | \in |
| $\ni$ | \ni |
| $\notin$ | \notin |
| $\subset$ | \subset |
| $\supset$ | \supset |
| $\subseteq$ | \subseteq |
| $\supseteq$ | \supseteq |
| $\cap$ | \cap |
| $\cup$ | \cup |
| $\emptyset$ | \emptyset |
| $\infty$ | \infty |
数の集合(Set of numbers)
| 意味 | 出力 | $\TeX$ |
|---|---|---|
| 自然数 | $\mathbb{N}$ | \mathbb{N} |
| 整数 | $\mathbb{Z}$ | \mathbb{Z} |
| 有理数 | $\mathbb{Q}$ | \mathbb{Q} |
| 実数 | $\mathbb{R}$ | \mathbb{R} |
| 複素数 | $\mathbb{C}$ | \mathbb{C} |
例
$$ 3\in\mathbb{N} \\ 3.14\notin\mathbb{Z} \\ \mathbb{Q}\subset\mathbb{R} \\ $$
関数(function)
関数
$$ y = f(x) = 2x $$
関数の引数が複数の場合。
コロンの場合は、複数引数を使う。
$$ f(x, x_2) = x + x_2 $$
セミコロンの場合は、セミコロンの前は変数、セミコロンの後はパラメータとなる。
$$ f(x; a,b) = (x^a)e^{(-x/b)} $$
セミコロンの意味:
- $f(x; a, b)$ はパラメータ$a, b$によって特徴付けられる、$x$変数の関数$f$みたいなイメージ
- つまり、$a,b$は係数としての性格が強く、$a,b$を固定して$x$の関数と見なすことが多い
ベクトル関数
$$ \mathbf{y} = \mathbf{a}(x) $$
写像
$$ f: \mathbb{R} \mapsto \mathbb{R} $$
場合分け
$$ y = \begin{cases} 1 & (n=0) \\ x^{n-1} & (otherwise) \end{cases} $$
R
| |
集計関数(aggregate function)
総乗
$$ f(x) = \sum_{i=0}^n x_i $$
総乗
$$ f(x) = \prod_{i=0}^n x_i $$
集合を使った場合
$$ f(x) = \sum_{i\in N} x_i $$
R
- max / min / which.max / which.min 最大値/ 最小値/ 最大値のある場所 / 最小値のある場所
- unique 重複除去
- sum / mean / median / var 合計 / 平均値 / 中央値 / 不偏分散
三角関数(trigonometric function)
| 出力 | $\TeX$ |
|---|---|
| $\sin x$ | \sin x |
| $\cos x$ | \cos x |
| $\tan x$ | \tan x |
| $\csc x$ | \csc x |
| $\sec x$ | \sec x |
| $\cot x$ | \cot x |
| $\arcsin x$ | \arcsin x |
| $\arccos x$ | \arccos x |
| $\arctan x$ | \arctan x |
| $\sinh x$ | \sinh x |
| $\cosh x$ | \cosh x |
| $\tanh x$ | \tanh x |
R
| |
ギリシャ文字(greek letters)
| 出力 | $\TeX$ | 出力 | $\TeX$ | 読み方 |
|---|---|---|---|---|
| $A$ | A | $\alpha$ | \alpha | アルファ |
| $B$ | B | $\beta$ | \beta | ベータ |
| $\Gamma$ | \Gamma | $\gamma$ | \gamma | ガンマ |
| $\Delta$ | \Delta | $\delta$ | \delta | デルタ |
| $E$ | E | $\epsilon$ | \epsilon | イプシロン |
| $Z$ | Z | $\zeta$ | \zeta | ゼータ |
| $H$ | H | $\eta$ | \eta | イータ |
| $\Theta$ | \Theta | $\theta$ | \theta | シータ |
| $I$ | I | $\iota$ | \iota | イオタ |
| $K$ | K | $\kappa$ | \kappa | カッパ |
| $\Lambda$ | \Lambda | $\lambda$ | \lambda | ラムダ |
| $M$ | M | $\mu$ | \mu | ミュー |
| $N$ | N | $\nu$ | \nu | ニュー |
| $\Xi$ | \Xi | $\xi$ | \xi | クシー |
| $O$ | O | $o$ | o | オミクロン |
| $\Pi$ | \Pi | $\pi$ | \pi | パイ |
| $P$ | P | $\rho$ | \rho | ロー |
| $\Sigma$ | \Sigma | $\sigma$ | \sigma | シグマ |
| $T$ | T | $\tau$ | \tau | タウ |
| $\Upsilon$ | \upsilon | $\upsilon$ | \upsilon | ユプシロン |
| $\Phi$ | \Phi | $\phi$ | \phi | ファイ |
| $X$ | X | $\chi$ | \chi | カイ |
| $\Psi$ | \Psi | $\psi$ | \psi | プシー |
| $\Omega$ | \Omega | $\omega$ | \omega | オメガ |
変数
| 出力 | $\TeX$ | 読み方 |
|---|---|---|
| $\varepsilon$ | \varepsilon | イプシロン |
| $\vartheta$ | \vartheta | シータ |
| $\varrho$ | \varrho | ロー |
| $\varsigma$ | \varsigma | シグマ |
| $\varphi$ | \varphi | ファイ |
数列(sequence)
$$ x = \{1, 2, 3\} $$
指数(exponential)
| 出力 | $\TeX$ |
|---|---|
| $\exp x$ | \exp x |
指数関数のグラフ。
- 定義域(domain)
- (-∞,∞)
- 値域(range)
- (0,∞)
R
| |
ネイピア数はexp(1)で表現する
| |
級数(series)
$$ s = \sum_{i=0}^{n}x_i $$
R
| |
区間(interval)
開区間
$$ x = (1, 2, 3) $$
閉区間
$$ x = [1, 2, 3] $$
ベクトル(vector)
$$ \vec{a} = \mathbf{a} = (1, 2)^T $$
| 出力 | $\TeX$ |
|---|---|
| $\vec{x}$ | \vec{x} |
| $\overrightarrow{x} $ | \overrightarrow{x} |
| $\hat{x}$ | \hat{x} |
R
| |
累乗/冪乗(power)

表記
| 出力 | $\TeX$ |
|---|---|
| $e^x$ | e^x |
累乗と冪乗の違い
| 乗 | 意味 |
|---|---|
| 累乗 | 指数部が自然数 |
| 冪乗 | 指数部が実数 |
対数(Logarithm)
| 出力 | $\TeX$ |
|---|---|
| $\log x$ | \log x |
| $\log_a x$ | \log_a x |
| $\ln x$ | \ln x |
対数関数のグラフ。
- 定義(domain)
- (0,∞)
- 値域(range)
- (-∞,∞)
常用対数と自然対数
| - | 正式表記 | 省略表記 | 別表記 |
|---|---|---|---|
| 自然対数(底=e) | $log_{e} x$ | $log x$ | $ln x$ |
| 常用対数(底=10) | $log_{10} x$ | $log x$ | - |
| ニ進対数(底=2) | $log_{2} x$ | - | $lg x$ |
| 指数関数 | $e^x$ | - | $exp(x0$ |
- 対数は、底(base)$a$と真数(antilogarithm)$x$を使って $log_a x$ と書くのが正式な表記。
R
ちなみに、Rにはネイピア数の定数はないので、exp(1)を使う必要がある
| |
累乗根(root)
| 出力 | $\TeX$ |
|---|---|
| $\sqrt{x}$ | \sqrt{x} |
| $\sqrt[n]{x}$ | \sqrt[n]{x} |
- 平方根(Square Root)
- The square root of x
$$ \sqrt{x} $$
- 立方根(Cube Root)
- The cube root of x
$$ \sqrt[3]{x} $$
- N-th根
- The n-th root of n
$$ \sqrt[n]{x} $$
行列(matrix)
集合は小文字、行列は太字。
$$ \mathbf{A} = \begin{pmatrix} a & b \\ c & d \end{pmatrix} $$
R
| |
データフレーム (行列にヘッダをつけたもの)
| |
極限(limit)
| 出力 | $\TeX$ |
|---|---|
| $lim_{n \to \infty}$ | lim_{n \to \infty} |
微分(derivative)
微分・勾配記号(derivative symbol)
| 出力 | $\TeX$ |
|---|---|
| $\nabla$ | \nabla |
| $\partial$ | \partial |
1次微分
$$ \dot x = x^{\prime} = dx/dt=\frac{d x(t)}{d t}=\frac{d}{d t}\left(x(t)\right), $$
2次微分
$$ \ddot x = x^{\prime \prime} = d^{2}x/dt^{2}=\frac{d^{2} x(t)}{d t^{2}}=\frac{d^{2}}{d t^{2}}\left(x(t)\right), $$
偏微分
$$ \frac{\partial f(x,y)}{\partial x} =\partial_{x}f(x,y)=f_{x}(x,y), $$
積分(Integral)
$$ \int f(x)dx, \ g(x)=\int^{x} f(x’)dx’, \ \int_{\alpha}^{\beta} f(x)dx. $$
面積分(surface integral)
$$ \int\int_{S} f(x,y) , \mathrm{d}x , \mathrm{d}y $$
線積分(line integral)
$$ \quad \oint_{C} f(z){\rm d}z $$
組合せ(combination)
- 組み合わせ(combination)
- 順列(permutation)
- 斉次積(Homogeneous product)
| 出力 | $\TeX$ |
|---|---|
| ${}_nC_r$ | {}_nC_r |
| ${}_nH_r$ | {}_nH_r |
| ${}_nP_r$ | {}_nP_r |
階乗(factorial)
$$ 5! = 5 \times 4 \times 3 \times 2 \times 1 $$
まとめ
- 数字は民主的であり、証明は理路整然とした論理を求める
- 外国人にも伝わりやすいし、日常会話でも序数で条件を挙げると納得されやすい
- 故に正しく使って効率良くコミュニケーションを取るのが大事
