[2] [DFN[[RUBY[数][すう]][RUBY[式][しき]]]]は、
主として[[数字]]や[[数学記号]]などを用いて[[命題]]や[[計算]]など[[数学]]的内容を記述した[[式]]です。

* 表記法

[FIG(short list)[ [4] [[数式]]の表記
- [[数字]]
- [[数学記号]]
- [[ラテン文字]]
- [[ギリシャ文字]]
- [[単位記号]]
- [[縦書き数式]]
- [[日本点字]]
- [[Musa]]
]FIG]




[FIG(short list)[ [3] [[数式]]の記述
- [[TeX]]
- [[LaTeX]]
- [[MathML]]
- [[MathJax]]
- [[HTML][HTMLの数式]]
- [[tex記法]]
- [CODE[tex-math]]
- [CODE[inline-formula]]
- [[AsciiMath]]
- [[ISO/IEC 9573-13]]
- [[STIX]]
- [CITE[[[XML Entity definitions for Characters]]]]
- [[KaTeX]]

]FIG]

** 書字方向

[9] 
[[欧米]]で発展した現在の[[数式]]は、[[左横書き]]されることが圧倒的に多いようです。

[10] 
[[アラビア語]]圏などで[[右横書き]]や [[bidi]] も用いられます。

[11] 
[[日本語]]では[[縦書き]]されることもあります。
[[縦書き]]文中に[[回転][回転 (書字方向)]]して横書きされることもあります。
[SEE[ [[縦書き数式]] ]]

[27] [CITE@ja[楊子平さんはTwitterを使っています: 「@2_wykipedia @na6ko 古文微分積分 https://t.co/MvnD7QWnMf」 / Twitter]], [TIME[午後11:34 · 2023年6月12日][2023-06-12T14:34:37.000Z]], [TIME[2023-06-13T03:17:29.000Z]] <https://twitter.com/hn12v1_jp/status/1668265552953896961>

[28] [[右上縦書き]][[漢文]]中の[[数式]]。[[数式]]はすべて[[ラテン文字]]でなく[[漢字]]で記述。
[[数式]]部分は[[左横書き]]で、[[縦中横]]。

[29] 
[[縦中横]]は横幅制限なく、[[行]]の領域が[[数式]]にあわせて
([[行]]ごとに異なる巾に)
拡大されている。
[[句点]]「.」が[[数式]]部分に付く場合は[[数式]]の右下に置かれる。

[36] 
[CH[[[ℵ]]]]

** 非線形

[26] [CITE@ja[昭和31年度 国立国語研究所年報]], [[NetCommons]], [TIME[1957-12]], [TIME[2017-06-06]], [TIME[2023-04-17T03:47:12.000Z]] <https://repository.ninjal.ac.jp/index.php?active_action=repository_view_main_item_detail&page_id=13&block_id=21&item_id=1184&item_no=1>
#page=163

** 禁則処理

[SEE[ [[禁則処理]] ]]

[8] 
[CITE[jor024_2_152.pdf]], [TIME[2021-09-06T09:34:05.000Z]], [TIME[2021-12-25T03:41:30.508Z]] <https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/152696/1/jor024_2_152.pdf#page=19>

[[左横書き]]から[[時計回り90度回転]]した[[縦書き数式]]。
行末の「[V[=]]」の後に1文字分の余裕があるのに[[改行]]されていますが、
[[等号]]の後の部分の項境界での分断を嫌ったものでしょう。

** フォント

[12] [CITE@en-US[Fonts for MathML - MathML | MDN]], [TIME[2022-08-25T00:38:38.000Z]], [TIME[2022-08-25T07:13:21.122Z]] <https://developer.mozilla.org/en-US/docs/Web/MathML/Fonts>


[13] [CITE[Mathematical OpenType Fonts]], [TIME[2022-07-16T04:57:39.000Z]], [TIME[2022-08-25T07:13:34.116Z]] <https://fred-wang.github.io/MathFonts/>

[14] 
[CITE@en[GitHub - fred-wang/MathFonts: WOFF/WOFF2 math fonts and sample CSS stylesheets]], [TIME[2022-08-25T07:14:29.000Z]] <https://github.com/fred-wang/MathFonts>

** 数式組版

[17] [CITE[基本版面の設定と文字の配置 - JAGAT]], [TIME[2020-03-27T05:47:07.000Z]], [TIME[2022-09-05T06:29:43.127Z]] <https://www.jagat.or.jp/past_archives/content/view/3288.html>

[18] [CITE[行送り方向の版面サイズの調整 - JAGAT]], [TIME[2020-03-27T05:50:01.000Z]], [TIME[2022-09-05T06:33:52.519Z]] <https://www.jagat.or.jp/past_archives/content/view/5143.html>

- [19] [CITE[[[数式組版]]]]
-- [20] [CITE@ja[[[数式組版]] – 技術書出版と販売のラムダノート]], [TIME[2022-09-07T05:07:18.000Z]] <https://www.lambdanote.com/products/mathtypo>
--[21] [CITE@en-us[Amazon.co.jp: [[数式組版]] : 木枝 祐介: Japanese Books]], [TIME[2022-09-07T05:08:25.000Z]] <https://www.amazon.co.jp/exec/obidos/ASIN/490868605X/wakaba1-22/>
--[23] [CITE@en[GitHub - LambdaNote/errata-mathtypo-1-1: 『[[数式組版]]』正誤情報]], [TIME[2022-09-07T05:11:36.000Z]] <https://github.com/LambdaNote/errata-mathtypo-1-1>
-- [25] 
[CITE@ja[『[[数式組版]]』を組む技術 Advent Calendar 2019 - Adventar]], [TIME[2022-09-17T14:49:16.000Z]] <https://adventar.org/calendars/4719>


[22] >>19 公式サイトの通販 >>20 で購入すると通常書籍版の金額 (+ 書籍版の[[送料]])
のままで[[電子書籍]]版
(良心的なことに、ただの [[PDF]]) も[[ダウンロード]]できるようになってお得。


[24] [CITE@ja-jp[[[MATH]] - The mathematical typesetting table (OpenType 1.9) - Typography | Microsoft Docs]], [[PeterCon]], [TIME[2022-09-09T12:25:59.000Z]] <https://docs.microsoft.com/ja-jp/typography/opentype/spec/math>

** 単位付き数式

[37] [CITE@ja[Xユーザーの不知火カヤさん: 「彝語のメートル表記は漢語「米」の借用だからꂰ(mi)を単位として用いるのは分かるが、平方メートルをꂰ²と表すの面白すぎるな 識字出来ない農民用に書かれた数学の教科書だが、これ理解出来たのか? https://t.co/gMPQHJEZdd」 / X]], [TIME[午後10:40 · 2025年2月11日][2025-02-11T13:40:04.000Z]], [TIME[2025-02-27T09:53:03.000Z]] <https://x.com/mizusawa_esashi/status/1889308425693348331>

* 東洋の数式

[30] [[縦書き数式]]

[31] [CITE@ja[Tsukasa #01 (5x vaccinated)さんはTwitterを使っています: 「個人的には、例えば仏教や道教経典などで (例えば発音のみを示す字として) 見られる「くちへん」を既存字に加えて特別な意味を加える用法がここにも見られることに驚いた。この本では、「くちへん」は十干の字に付いている。」 / Twitter]], [TIME[午後7:59 · 2023年6月17日][2023-06-17T10:59:13.000Z]], [TIME[2023-06-19T02:33:46.000Z]] <https://twitter.com/a4lg/status/1670023284333887489>

[35] [[算木]]

-[38] 
[CITE@ja[Xユーザーの車魄さん: 「청나라의 수학자 이선란도 서양의 수학책을 번역할 때 +를 丄 형태로 썼던데, 이스라엘과 유사하지만 이쪽은 열 십(十)과 구별하고자 한 것으로 추정 - 기호는 한 일(一)과 구별하기 위해 丅이다 https://t.co/ihyFyen2Tf」 / X]], [TIME[午後6:17 · 2026年4月26日][2026-04-26T09:17:04.000Z]], [TIME[2026-04-26T11:09:21.000Z]] <https://x.com/chabek6/status/2048330510750138798/photo/1>
--[39] 
[CITE@ja[Xユーザーの竹澤雅文(拾萬字鏡)さん: 「微分の意符(彳)が使われてる。」 / X]], [TIME[午後9:19 · 2026年4月26日][2026-04-26T12:19:34.000Z]], [TIME[2026-04-26T11:09:21.000Z]] <https://x.com/JUMANJIKYO/status/2048376438840311934>

* 関連

[SEE[ [[アルゴリズム]]、[[プログラミング言語]]、[[化学式]]、[[筆算]] ]]

* 歴史

[7] [CITE@en[RFC 1003 - Issues in defining an equations representation standard]], [TIME[2021-01-24T09:17:11.000Z]], [TIME[2021-03-12T08:23:32.521Z]] <https://tools.ietf.org/html/rfc1003>

[34] [CITE[http://www.unicode.org/reports/tr25/]], [TIME[2017-05-31T21:17:46.000Z]], [TIME[2023-08-11T07:44:58.347Z]] <http://www.unicode.org/reports/tr25/>

[1] [CITE@ja[日本語組版処理の要件(日本語版)]]
( ([[Japanese Layout Task Force]] 著, [TIME[2012-03-23 20:19:12 +09:00]] 版))
<http://www.w3.org/TR/jlreq/ja/#processing_of_math_symbols_and_math_operators>

[FIG(quote)[
[FIGCAPTION[
[6] [CITE@ja[ケプラー69c - Wikipedia]]
([TIME[2018-03-18 17:10:40 +09:00]])
<https://ja.wikipedia.org/wiki/%E3%82%B1%E3%83%97%E3%83%A9%E3%83%BC69c>
]FIGCAPTION]

> 放射束は地球の1.91[LINES[+0.43][−0.56]]倍と、

]FIG]


[FIG(quote)[
[FIGCAPTION[
[5] [CITE@ja[参議院法制局]]
([TIME[2021-01-05T00:59:44.000Z]], [TIME[2021-03-07T09:57:11.750Z]])
<https://houseikyoku.sangiin.go.jp/column/column083.htm>
]FIGCAPTION]

> 計算内容の規定方法

]FIG]


- [15] [CITE@ja[9月3日から9月8日ぐらいまで関西に滞在さんはTwitterを使っています: 「完全にこれなので、前野昌弘先生 (@irobutsu) の「優先順位のカッコなのか関数適用のカッコなのかが色によって区別できる」という流儀が好きです」 / Twitter]], 午前7:37 · 2022年9月5日 [TZ[+09:00]], [TIME[2022-09-05T01:42:45.000Z]] <https://twitter.com/hsjoihs/status/1566556056842424321>
--[16] 
[CITE@ja[9月3日から9月8日ぐらいまで関西に滞在さんはTwitterを使っています: 「@uchan_nos 決定できないので、物理学の授業で、課題が出た後に「この F(t-t0) は関数 F の t-t0 での値ではなくて、 力 F と時間 t - t0 の掛け算です」とだけ書いたメールが来たこととかもあります。 https://t.co/UNCO0JCDHW」 / Twitter]], 午前7:49 · 2022年9月5日 [TZ[+09:00]], [TIME[2022-09-05T01:42:45.000Z]] <https://twitter.com/hsjoihs/status/1566558992494514176/photo/1>


- [33] [CITE@ja[きいねく @ コミケ東ホ03b (8月13日)さんはTwitterを使っています: 「概念増やしすぎて使える記号が少なくなってきた数学を救えるやつは部首しかいねえ https://t.co/Jgm2dS09F1」 / Twitter]], [TIME[午後11:10 · 2021年3月10日][2021-03-10T14:10:29.000Z]], [TIME[2023-07-25T07:08:56.000Z]] <https://twitter.com/Keyneqq/status/1369651878233993218>
-- [32] [CITE@ja[佐久間さんはTwitterを使っています: 「実際に数式で使ったら便利そうな部首を定義してみました。 https://t.co/PQU868x6ak」 / Twitter]], [TIME[午後6:23 · 2021年3月17日][2021-03-17T09:23:27.000Z]], [TIME[2023-07-25T07:08:56.000Z]] <https://twitter.com/keisankionwykip/status/1372116361032343555>
