目次
1.概要
- 仕事で外国人とやり取りする時に数学用語はよく使う
- その時に、パッと英語で数学用語がでないと困る
- また、LatexはMarkdownで記述する時によく使う
- そこで、Latexと英語とRでの数学用語の基本的なメモを残す
NOTE:
- 便宜上形式的にLaTeXをLatexと表記する
2.LaTex
2.1.論理学系用語
これで基本的な用語は充足しているだろう。
| 日本語 | 英語 | 説明 |
|---|---|---|
| 公準 | Postulate | 証明されないが自明とみなされる命題(特に幾何学で) |
| 公理 | Axiom | 自明かつ不証明の前提 |
| 定義 | Definition | ある用語、記号、概念の正確な意味を明示するための文 |
| 原理 | Principle | ある分野で理論構築の基盤となるような、基本的な法則や概念 |
| 命題 | Proposition | 真または偽であると判断できるもの |
| 定理 | Theorem | 数学における重要な命題 |
| 公式 | Formula | 数学的な関係を表現する式 |
| 系 | Corollary | 他の定理や命題から直接導出される命題 |
| 法則 | Law | 実験や観測に基づいて確立された一般的な原理や規則 |
| 前提 | Premise | 論理的な推論や数学的証明における出発点となる命題や仮定 |
| 条件 | Condition | ある命題、定理、または論理的結論が成り立つために必要な仮定や要件 |
| 仮説 | Hypothesis | 未だ証明されていない命題や仮定 |
| 証明 | Proof | ある命題が真であることを論理的に示す過程 |
| 補題 | Lemma | 主要な定理や命題の証明を容易にするために用いられる、補助的な命題 |
| 推論 | Inference | 既知の事実や命題から新たな結論を導く論理的なプロセス |
2.2.変数(variable)
変数の修飾
- 全ての変数(all variable)
- の下付き文字で定義時に表す
- 各変数(every variable)
- n項演算子との下付き文字で表す
- 任意の変数(any variable)
- n項演算子なしの場合は、の下付き文字で表す
アクセント
- 循環小数
- 推定値
- 平均
- 複素共役と補集合
- (エルミート共役と紛らわしいので、アスタリスクではなくバーで表す)
- 随伴行列(エルミート共役)
- 随伴行列はアスタリスク
R
| |
ドットは単なる名前(dataオブジェクととかではない)
| |
型の意味
| 関数 | 意味 |
|---|---|
| typeof() | R言語視点のType |
| class() | クラスのtype |
| mode() | S言語視点(Becker, Chambers & Wilks視点)のType |
型の例
| |
2.3.分数(Fraction)
| 出力 | |
|---|---|
| \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(ミリメートルの十分の一)
2.4.記号(symbol)
| 出力 | |
|---|---|
| = | |
| + | |
| - | |
| \times | |
| \div | |
| \pm | |
| \mp | |
| \neq | |
| \sim | |
| \simeq | |
| \fallingdotseq | |
| \risingdotseq | |
| \equiv | |
| > | |
| < | |
| \geq | |
| \geqq | |
| \leq | |
| \leqq | |
| \gg | |
| \ll | |
| \oplus | |
| \ominus | |
| \otimes | |
| \oslash | |
| \circ | |
| \cdot | |
| \cdots | |
| \bullet | |
| \in | |
| \ni | |
| \notin | |
| \subset | |
| \supset | |
| \subseteq | |
| \supseteq | |
| \cap | |
| \cup | |
| \emptyset | |
| \infty |
2.5.集合(set)
- 集合は大文字
- 元(要素)は小文字
特徴づけ(characterize)
- 性質P(property)が対象Xを特徴づける
- もしくは条件
条件付き確率()の場合は括弧、特徴付けは波括弧の中でパイプをつかう
集合の関係
| 出力 | |
|---|---|
| \in | |
| \ni | |
| \notin | |
| \subset | |
| \supset | |
| \subseteq | |
| \supseteq | |
| \cap | |
| \cup | |
| \emptyset | |
| \infty |
2.6.数の集合(Set of numbers)
| 意味 | 出力 | |
|---|---|---|
| 自然数 | \mathbb{N} | |
| 整数 | \mathbb{Z} | |
| 有理数 | \mathbb{Q} | |
| 実数 | \mathbb{R} | |
| 複素数 | \mathbb{C} |
例
2.7.関数(function)
関数
関数の引数が複数の場合。
コロンの場合は、複数引数を使う。
セミコロンの場合は、セミコロンの前は変数、セミコロンの後はパラメータとなる。
セミコロンの意味:
- はパラメータによって特徴付けられる、変数の関数みたいなイメージ
- つまり、は係数としての性格が強く、を固定しての関数と見なすことが多い
ベクトル関数
写像
場合分け
R
| |
2.8.集計関数(aggregate function)
総乗
総乗
集合を使った場合
R
- max / min / which.max / which.min 最大値/ 最小値/ 最大値のある場所 / 最小値のある場所
- unique 重複除去
- sum / mean / median / var 合計 / 平均値 / 中央値 / 不偏分散
2.9.三角関数(trigonometric function)
| 出力 | |
|---|---|
| \sin x | |
| \cos x | |
| \tan x | |
| \csc x | |
| \sec x | |
| \cot x | |
| \arcsin x | |
| \arccos x | |
| \arctan x | |
| \sinh x | |
| \cosh x | |
| \tanh x |
R
| |
2.10.ギリシャ文字(greek letters)
| 出力 | 出力 | 読み方 | ||
|---|---|---|---|---|
| A | \alpha | アルファ | ||
| B | \beta | ベータ | ||
| \Gamma | \gamma | ガンマ | ||
| \Delta | \delta | デルタ | ||
| E | \epsilon | イプシロン | ||
| Z | \zeta | ゼータ | ||
| H | \eta | イータ | ||
| \Theta | \theta | シータ | ||
| I | \iota | イオタ | ||
| K | \kappa | カッパ | ||
| \Lambda | \lambda | ラムダ | ||
| M | \mu | ミュー | ||
| N | \nu | ニュー | ||
| \Xi | \xi | クシー | ||
| O | o | オミクロン | ||
| \Pi | \pi | パイ | ||
| P | \rho | ロー | ||
| \Sigma | \sigma | シグマ | ||
| T | \tau | タウ | ||
| \upsilon | \upsilon | ユプシロン | ||
| \Phi | \phi | ファイ | ||
| X | \chi | カイ | ||
| \Psi | \psi | プシー | ||
| \Omega | \omega | オメガ |
変数
| 出力 | 読み方 | |
|---|---|---|
| \varepsilon | イプシロン | |
| \vartheta | シータ | |
| \varrho | ロー | |
| \varsigma | シグマ | |
| \varphi | ファイ |
2.11.数列(sequence)
2.12.指数(exponential)
| 出力 | |
|---|---|
| \exp x |
指数関数のグラフ。
- 定義域(domain)
- (-∞,∞)
- 値域(range)
- (0,∞)
R
| |
ネイピア数はexp(1)で表現する
| |
2.13.級数(series)
R
| |
2.14.区間(interval)
開区間
閉区間
2.15.ベクトル(vector)
| 出力 | |
|---|---|
| \vec{x} | |
| \overrightarrow{x} | |
| \hat{x} |
R
| |
2.16.累乗/冪乗(power)
表記
| 出力 | |
|---|---|
| e^x |
累乗と冪乗の違い
| 乗 | 意味 |
|---|---|
| 累乗 | 指数部が自然数 |
| 冪乗 | 指数部が実数 |
2.17.対数(Logarithm)
| 出力 | |
|---|---|
| \log x | |
| \log_a x | |
| \ln x |
対数関数のグラフ。
- 定義(domain)
- (0,∞)
- 値域(range)
- (-∞,∞)
常用対数と自然対数
| - | 正式表記 | 省略表記 | 別表記 |
|---|---|---|---|
| 自然対数(底=e) | |||
| 常用対数(底=10) | - | ||
| ニ進対数(底=2) | - | ||
| 指数関数 | - |
- 対数は、底(base)と真数(antilogarithm)を使って と書くのが正式な表記。
R
ちなみに、Rにはネイピア数の定数はないので、exp(1)を使う必要がある
| |
2.18.累乗根(root)
| 出力 | |
|---|---|
| \sqrt{x} | |
| \sqrt[n]{x} |
- 平方根(Square Root)
- The square root of x
- 立方根(Cube Root)
- The cube root of x
- N-th根
- The n-th root of n
2.19.行列(matrix)
集合は小文字、行列は太字。
R
| |
データフレーム (行列にヘッダをつけたもの)
| |
2.20.極限(limit)
| 出力 | |
|---|---|
| lim_{n \to \infty} |
2.21.微分(derivative)
2.22.微分・勾配記号(derivative symbol)
| 出力 | |
|---|---|
| \nabla | |
| \partial |
1次微分
2次微分
偏微分
2.23.積分(Integral)
面積分(surface integral)
線積分(line integral)
2.24.組合せ(combination)
- 組み合わせ(combination)
- 順列(permutation)
- 斉次積(Homogeneous product)
| 出力 | |
|---|---|
| {}_nC_r | |
| {}_nH_r | |
| {}_nP_r |
2.25.階乗(factorial)
3.まとめ
- 数字は民主的であり、証明は理路整然とした論理を求める
- 外国人にも伝わりやすいし、日常会話でも序数で条件を挙げると納得されやすい
- 故に正しく使って効率良くコミュニケーションを取るのが大事


