Math Course Materials

and Dynamically Verifiable Math Docs using Mizar

トレース:

teaching:common:stack-input

差分

このページの2つのバージョン間の差分を表示します。

この比較画面へのリンク

--- teaching:common:stack-input [2026/09/26 10:07] – [区間] superuser
+++ teaching:common:stack-input [2026/09/27 11:52] (現在) – [演算の順序とかっこ] superuser
@@ 行 57: / 行 57: @@
 †を付けた小文字はその文字の異なる字形です。
-‡ STACKの通常設定では \(\pi\) は円周率として扱われ変数記号として使うことはできません。
+‡ Maximaでは円周率を ''%pi'' と入力しますが、STACKでは学生が入力しやすいように ''pi'' も円周率として扱われます。そのため \(\pi\) を変数記号として使うことはできません。
 § STACKの通常設定では \(\Pi\) を表すことはできません。
-¶ STACKの通常設定では \(\phi\) は黄金比として扱われ変数記号として使うことはできません。
+¶ Maximaでは黄金比を ''%phi'' と入力します。STACKでは ''phi'' も黄金比として扱われるため、\(\phi\) を変数記号として使うことはできません。
 ===== 論理記号 =====
@@ 行 102: / 行 102: @@
 以下では \(x,y\) を実数とします。
-==== 四則演算 ====
+==== 四則演算と累乗 ====
 ^ 術語 ^ 記号 ^ STACKでの入力 ^
@@ 行 108: / 行 108: @@
 | \(x\) と \(y\) の差 | \(x-y\) | ''x-y'' |
 | \(x\) と \(y\) の積 | \(xy\) | ''x*y'' |
-| \(x\) と \(y\) の商 | \(\frac{x}{y}\) | ''x/y'' |
+| \(x\) の \(n\) 乗（\(n\) は自然数） | \(x^n\) | ''x^n'' |
+| \(x\) と \(y\) の商（\(y\ne0\)） | \(\frac{x}{y}\) | ''x/y'' |
+==== 演算の順序とかっこ ====
+  * STACKでの演算の順序は、通常の数学の規則と同じです。
+  * 演算の順序を指定するかっこには、半角の丸かっこ ''(''、'')'' のみを用います。
 ==== 順序 ====
@@ 行 132: / 行 138: @@
 | \(x\in[a,b)\) | ''a<=x and x<b'' |
 | \(x\in[a,b]\) | ''a<=x and x<=b'' |
+※ STACKでは，''a<x<=b'' のように不等号を続けた式はそのまま入力できません。''a<x and x<=b'' のように入力します。
+^ 術語 ^ 記号 ^ STACKでの入力 ^
+| 正の無限大 | \(+\infty\) | ''inf''、''∞'' |
+| 負の無限大 | \(-\infty\) | ''-inf''、''-∞'' |
 ^  無限区間  ^^
@@ 行 145: / 行 157: @@
 | 虚数単位 | \(i\) | ''i'' |
+==== 定数 ====
+^ 術語 ^ 記号 ^ STACKでの入力 ^
+| 円周率 | \(\pi\) | ''pi''、''Pi''、''%pi''、''π'' |

teaching/common/stack-input.1790417237.txt.gz · 最終更新: 2026/09/26 10:07 by superuser