はじめての Maxima プログラミング

第2版  update: 2021年10月
葛西 真寿 弘前大学大学院理工学研究科

Maxima-Jupyter を使った Maxima プログラミング入門。 はじめての Python プログラミングの内容を Maxima で書いてみたものです。

Maxima はコンピュータ代数システム(いわゆる数式処理システム)ですが,構造化プログラミングの機能もあり,条件分岐や繰り返し処理などを利用することで,プログラミング言語としても利用できます。

エンゲル係数を求める例

エンゲル係数とは,家計の消費支出に占める飲食費(食料費,食費)の割合(パーセント単位)です。

消費支出 110,000円,飲食費 37,000円の人のエンゲル係数を求める例。Maxima では以下のような電卓的な使い方ですぐ答えが出ます。

本稿のように Jupyter Notebook 環境では,以下の1行を書いたあとに,Shift キーを押しながら Enter キー(または Return キー)を押して実行します。

Maxima の文末は,;$ で終わります。$ で終わる場合は結果が表示されません。

In [1]:
37000/110000 * 100;
Out[1]:
\[\tag{${\it \%o}_{1}$}\frac{370}{11}\]

Maxima では割り算の結果は厳密な有理数として出力されます。(近似的な)実数(小数点数)で表示させたい場合は,とりあえずは数値のどれか1つにでも小数点をつけます。(あとで float() 関数で実数に変換することも説明します。)

In [2]:
37000/110000 * 100.0;
Out[2]:
\[\tag{${\it \%o}_{2}$}33.63636363636363\]

ここからは,単に電卓的に使うだけではなく,応用・発展も見据えて以下のようなプログラム文を作成して実行することにします。

以下の例では,

  1. /**/ で囲まれる部分はコメント。コメントはそれを読む人間のための注釈であり,プログラムの実行時には無視されます。
  2. 3行目で変数 spending に消費支出である 110000(円)という数値を代入し,
  3. 4行目で変数 food に飲食費である 37000(円)という数値を代入し,
  4. 5行目でエンゲル係数を計算して,変数 eng に代入し,表示させています。

Maxima では,変数への代入は : です。

In [3]:
/* エンゲル係数を求める
    消費支出 spending, 飲食費 food, エンゲル係数 eng */
spending: 110000$
food: 37000$
eng: food / spending * 100.0;
Out[3]:
\[\tag{${\it \%o}_{5}$}33.63636363636363\]

エラーとデバグ

意に反して,プログラムがうまく動作しない場合があります。たとえば,上記の 3行目を以下のように書いた場合。

掛け算を示す演算子は *,割り算を示す演算子は / であるところを誤って,x\ と書くと,これらの記号は Maxima では演算子として定義されていないのでエラーとなります。このようなエラーは文法エラー(incorrect syntax) と呼ばれ,Jupyter Notebook では,以下のように誤りやその箇所を指摘してくれます。

In [4]:
spending: 110000$
food: 37000$
eng: food x 100 \ spending;
incorrect syntax: x is not an infix operator
eng: food x 
          ^

   [Condition of type MAXIMA-JUPYTER::MAXIMA-SYNTAX-ERROR]

#<ENVIRONMENT {1003C36F73}>
   [Environment of thread #<THREAD "SHELL Thread" RUNNING {1004148003}>]


Backtrace:
 5: (SB-KERNEL::%SIGNAL incorrect syntax: x is not an infix operator
eng: food x 
          ^
)
 6: (ERROR incorrect syntax: x is not an infix operator
eng: food x 
          ^
)
 7: ((LAMBDA (ORIG &REST ARGS) :IN "/usr/local/share/maxima-jupyter/local-projects/maxima-jupyter/src/overrides.lisp") #<FUNCTION MREAD-SYNERR {52A5124B}> ~A is not an infix operator X)
 8: ((LAMBDA (&REST MAXIMA-JUPYTER::ARGS)) ~A is not an infix operator X)
 9: (LED-CALL $X ($ANY . $FOOD))
 10: (PARSE $ANY 20)
 11: (PARSE-INFIX $: ($ANY . $ENG))
 12: (LED-CALL $: ($ANY . $ENG))
 13: (PARSE $ANY 0)
 14: (MREAD-RAW #<STRING-INPUT-STREAM {10039FC383}> NIL)
 15: (DBM-READ #<STRING-INPUT-STREAM {10039FC383}> NIL NIL NIL)
 16: (MAXIMA-JUPYTER::MY-MREAD #<STRING-INPUT-STREAM {10039FC383}>)
 17: (MAXIMA-JUPYTER::READ-AND-EVAL #<KERNEL {10044BA4D3}> #<STRING-INPUT-STREAM {10039FC383}> T)
 18: ((:METHOD JUPYTER:EVALUATE-CODE (MAXIMA-JUPYTER::KERNEL T)) #<KERNEL {10044BA4D3}> spending: 110000$
food: 37000$
eng: food x 100 \ spending;)
 19: (JUPYTER::HANDLE-EXECUTE-REQUEST #<KERNEL {10044BA4D3}> #<MESSAGE {10039EC993}>)
 20: (JUPYTER::HANDLE-SHELL-MESSAGE #<KERNEL {10044BA4D3}> #<MESSAGE {10039EC993}>)
 21: (JUPYTER::RUN-SHELL #<KERNEL {10044BA4D3}>)
 22: ((LAMBDA NIL :IN BORDEAUX-THREADS::BINDING-DEFAULT-SPECIALS))
 23: ((FLET SB-UNIX::BODY :IN SB-THREAD::RUN))
 24: ((FLET "WITHOUT-INTERRUPTS-BODY-11" :IN SB-THREAD::RUN))
 25: ((FLET SB-UNIX::BODY :IN SB-THREAD::RUN))
 26: ((FLET "WITHOUT-INTERRUPTS-BODY-4" :IN SB-THREAD::RUN))
 27: (SB-THREAD::RUN)
 28: ("foreign function: call_into_lisp")
 29: ("foreign function: funcall1")

別の種類の誤りもあります。たとえば,パーセントにするためにかける「100.0」を誤って「1000.0」と入力した場合...

In [5]:
spending: 110000$
food: 37000$
eng: food / spending * 1000.0;
Out[5]:
\[\tag{${\it \%o}_{10}$}336.3636363636364\]

上記の例では incorrect syntax (文法エラー)の警告が出ませんが,答えは明らかに変です。(エンゲル係数の最大値は100だから。)

このような場合はコンピュータにとって誤りではなく,指示通りに計算し,その結果を表示します。 このようなプログラム作成者の不注意や勘違いによって生じるエラーには注意が必要です。

プログラムが正しく動作しない場合は,誤りの箇所を探し,修正して再度動作を確認します。正しく動作するようになるまで,プログラムを修正し,実行(Shift + Enter)します。この作業をデバグといいます。

データの型と変数

上記の例の 1行目では,spending という名前の変数に 110000 という 数値を代入しています。変数名はアルファベットで始まる英数字列にします。大文字と小文字は区別されます。

データ型には数値(整数・有理数・浮動小数点数)と文字列などがあります。

変数 moji に文字列を代入する場合は,以下のように " で囲みます。

In [6]:
moji: "エンゲル係数"$
print(moji)$
エンゲル係数

式と演算

主な演算子

足し算は +, 引き算は -,掛け算は *,割り算は /。です。

優先的に計算したい箇所は丸括弧 ( )で グループ化します。

In [7]:
2 +  50 - 5 * 6 /2;
2 + (50 - 5 * 6)/2;
Out[7]:
\[\tag{${\it \%o}_{13}$}37\]
Out[7]:
\[\tag{${\it \%o}_{14}$}12\]

文字列の連結演算は concat() を使います。以下の例を参照。

In [8]:
mo : "エンゲル"$
ji : "係数"$
moji : concat(mo, ji);
Out[8]:
\[\tag{${\it \%o}_{17}$}\mbox{ エンゲル係数 }\]

文字列と数値を直接連結するときも,concat() を使います。

In [9]:
spending: 110000$
food: 37000$
eng: food / spending * 100.0$
output : concat("エンゲル係数は ", eng, " です。")$
print(output)$
エンゲル係数は 33.63636363636363 です。

文字列と連結しなくても,以下のようにも書くことができます。 print() 文は,カンマ (,) で区切ることによって複数の項目(変数)を表示することができます。

In [10]:
print("エンゲル係数は ", eng,  " です。")$
エンゲル係数は \(33.63636363636363\) です。

Maxima の割り算は以下のように厳密な値を返します。

In [11]:
17 / 3;
Out[11]:
\[\tag{${\it \%o}_{24}$}\frac{17}{3}\]

浮動小数点数表示する場合は,すでに述べたように数値に小数点をつけて整数でないことをアピールするか,浮動小数点数に変換する関数 float() を使います。

In [12]:
17.0 / 3;
float(17 / 3);
Out[12]:
\[\tag{${\it \%o}_{25}$}5.666666666666667\]
Out[12]:
\[\tag{${\it \%o}_{26}$}5.666666666666667\]

べき乗は **(または ^)です。以下の例では $2^4 = 2 \times 2 \times 2 \times 2$ と $2^{1/2} = \sqrt{2}$ の値を表示します。

In [13]:
2**4;
2**(1 / 2);
float(2**(1 / 2));
Out[13]:
\[\tag{${\it \%o}_{27}$}16\]
Out[13]:
\[\tag{${\it \%o}_{28}$}\sqrt{2}\]
Out[13]:
\[\tag{${\it \%o}_{29}$}1.414213562373095\]

(練習)

1 天文単位(1 au)の距離を光速 c で進むのに要する時間はいくらか。ただし,

  • 1 天文単位は 12 桁の定義定数(誤差無し)で 149597870700 m
  • 光速 c は 9 桁の定義定数(誤差無し)で 299792458 m/s である。

参考:

対話型プログラム

上記の例では,プログラムの中で消費支出や飲食費を決めていましたが,今度はプログラムを実行する人が入力できるようにしてみます。

read() 関数は入力された値を返します。
注意: read() に対して値をキーボードから入力する場合も,最後は ; をつけてから Enter キーを押します。

In [14]:
spending : read("消費支出? ")$
food : read("飲食費? ")$
eng : float(food / spending * 100)$ /* float() で変換 */
print("エンゲル係数は ", eng, " です。")$
消費支出?
110000;
飲食費?
37000;
エンゲル係数は \(33.63636363636363\) です。

関数の定義と呼び出し

(これまでの例では1回しか計算していませんが)よく使う計算を「関数」として定義する例です。

以下の例では,1行目でエンゲル係数を計算する関数 calc() を定義し,5行目でその関数を呼び出しています。

read() 関数に足してキーボードから数値を入力したら最後に ; をつけるのを忘れないで!

In [15]:
calc(spending, food):= float(food / spending * 100)$

spending : read("消費支出? ")$
food : read("飲食費? ")$
eng : calc(spending, food)$
print("エンゲル係数は ", eng, " です。")$
消費支出?
110000;
飲食費?
37000;
エンゲル係数は \(33.63636363636363\) です。

いったん定義された関数は,以下のように何回でも利用できます。

In [16]:
calc(120000, 53000);
Out[16]:
\[\tag{${\it \%o}_{39}$}44.16666666666666\]

(練習)

消費支出を入力すると,エンゲル係数が 20 ~ 40 となる飲食費を表示するプログラムをつくりなさい。

数学関数を使う

Maxima には,$\sin x, \cos x, \tan x$などの数学関数が組み込まれています。また,数学定数としては円周率 %pi などが使えます。

In [17]:
pi: %pi$
print(pi, sin(pi/2),  cos(pi/3), tan(pi/4))$
\(\pi\) \(1\) \(\frac{1}{2}\) \(1\)

以下の例では,x 以下の最大の整数を与える関数 floor() を使って,小数点以下を切り捨てたエンゲル係数の値を表示させています。

また,エンゲル係数を計算する部分はすでに関数 calc() として定義していますが,プログラム全体を関数 engel() として定義してしまいます。

以下の例のように,block() は複数の関数や式を ,(カンマ)で区切って記述します。

In [18]:
engel():= block(
  spending : read("消費支出? "),
  food : read("飲食費? "),
  eng : calc(spending, food),
  print("エンゲル係数は ", floor(eng), 
        " です。(小数点以下切り捨て)")
)$
In [19]:
engel()$
消費支出?
110000;
飲食費?
37000;
エンゲル係数は \(33\) です。(小数点以下切り捨て)

Maxima で使える数学関数

Maxima で使える数学関数や数学定数については,以下のマニュアルのページを参照してください。

(練習)

小数点以下を切り上げたエンゲル係数の値を表示させるように上記のプログラムを変更しなさい。

ヒント: Maxima 5.42.2 Manual: 10. Mathematical Functionsceiling() を参照。

参考:数値の丸めと四捨五入

Maxima の組み込み関数に round() があります。数値を丸める関数ですが,いわゆる四捨五入とはちょっと違うようです。

以下の例からわかるように,小数点以下が 0.5 未満の場合と 0.5 を超える場合は四捨五入と同様の丸め方ですが,ちょうど 0.5 のときは,偶数に丸められていることがわかります。

これを偶数への丸めといい,端数が 0.5 より小さいなら切り捨て,端数が0.5 より大きいなら切り上げ,端数がちょうど 0.5 なら切り捨てと切り上げのうち結果が偶数となる方へ丸めます。

In [20]:
print(round(12.49), "  ", round(12.50), "  ", round(12.51))$
\(12\) \(12\) \(13\)
In [21]:
print(round(13.49), "  ", round(13.50), "  ", round(13.51))$
\(13\) \(14\) \(14\)

条件分岐

条件分岐とは,例えばエンゲル係数の値によって実行文を変えることです。例を示します。

関数 engel() を以下のように変更します。

In [22]:
engel():= block(
  spending : read("消費支出? "),
  food : read("飲食費? "),
  eng : calc(spending, food),
  if eng >= 40 then 
      print("エンゲル係数は ", round(eng), 
            " です。高い値です。")
  else
      print("エンゲル係数は ", round(eng), " です。")
)$
In [23]:
engel()$
消費支出?
110000;
飲食費?
45000;
エンゲル係数は \(41\) です。高い値です。
In [24]:
engel()$
消費支出?
110000;
飲食費?
37000;
エンゲル係数は \(34\) です。

if 文の書式は以下の通りです。

if 条件式1 then
    条件式1が満たされる場合に実行する文
  elseif 条件式2 then
    条件式2が満たされる場合に実行する文
  else
    上記以外の場合に実行する文 $

関係演算子

上の例では,eng >= 40 つまり eng40 以上のとき,という関係演算子を使いました。他の例は以下のとおりです。

a < b  ab より小さい
a <= b  ab 以下
a > b  ab より大きい
a >= b  ab 以上

is(equal(a, b))ab が等しいとき true, そうでないとき false を返します。equal(a, b) の否定は notequal(a, b) です。

(練習)

上記の条件分岐を,エンゲル係数が

  1. 40 以上の場合には「高い値です。」
  2. 20 未満の場合には「低い値です。」

と表示させるように変更しなさい。

繰り返し処理

以下の例では,1行目で代入された消費支出に対してエンゲル係数を計算します。

1回だけ計算して表示するのではなく,2行目の飲食費の初期値(ここでは 40000 円)から,5行目の条件式(ここでは 80000 円以下)が成り立つ場合に,8行目にあるように 5000 円ずつ増やしながらエンゲル係数を表示します。

In [25]:
spending : 110000 $
food : 30000 $
print("消費支出", spending, "円に対するエンゲル係数の値")$

while food <= 50000 do(
    eng : calc(spending, food),
    print("   飲食費", food, "円の場合: ", eng),
    food : food + 5000
)$
消費支出 \(110000\) 円に対するエンゲル係数の値
飲食費 \(30000\) 円の場合: \(27.27272727272727\)
飲食費 \(35000\) 円の場合: \(31.81818181818182\)
飲食費 \(40000\) 円の場合: \(36.36363636363637\)
飲食費 \(45000\) 円の場合: \(40.90909090909091\)
飲食費 \(50000\) 円の場合: \(45.45454545454545\)

while 文の書式は以下の通りです。

while 条件式 do(
    条件式が成り立つ場合に実行する式1, 
    条件式が成り立つ場合に実行する式2, ... ,
    条件式が成り立つ場合に実行する式
)

同様の繰り返し処理を for 文を使って行うこともできます。

In [26]:
spending : 110000 $
food : 30000 $
print("消費支出", spending, "円に対するエンゲル係数の値")$

for i: 30000 thru 50000 step 5000
  do(
    eng : calc(spending, food),
    print("   飲食費", food, "円の場合: ", eng),
    food : food + 5000
  )$
消費支出 \(110000\) 円に対するエンゲル係数の値
飲食費 \(30000\) 円の場合: \(27.27272727272727\)
飲食費 \(35000\) 円の場合: \(31.81818181818182\)
飲食費 \(40000\) 円の場合: \(36.36363636363637\)
飲食費 \(45000\) 円の場合: \(40.90909090909091\)
飲食費 \(50000\) 円の場合: \(45.45454545454545\)

for 文の書式は以下の通りです。

for ivar: istart thru iend step istep
  do(
    ivar が istart から iend の間,実行される文
  )$

ivar は整数変数で,その初期値は istart。文が実行されるごとに,ivar の値は istep だけ加算され,iend の値になるとループが終了します。

step の部分を省略すると,1 ずつ加算されます。

(練習)

以下の値を求めるプログラムを作成せよ。

$$\sum_{n = 1}^{10} n^2$$

リストとファイルの読み書き

リスト

要素が5個のリストの各成分に数値を入れたり表示したりする例です。

In [27]:
a : [5, 4, 3, 2, 1]$
print("全成分を一挙に表示")$
print(a)$
全成分を一挙に表示
\(\left[ 5 , 4 , 3 , 2 , 1 \right] \)

少し表示を工夫してみます。sprint() 関数は(改行せずに)横に続けて出力します。

In [28]:
print("全成分を横に表示")$
for i thru length(a) do sprint(a[i])$

print("全成分を縦に表示")$
for i thru length(a) do print(a[i])$
全成分を横に表示
5 4 3 2 1 
全成分を縦に表示
\(5\)
\(4\)
\(3\)
\(2\)
\(1\)

5個の成分を全てゼロにしてリストを初期化する例です。

In [29]:
/* リスト b の5つの要素を全て 0 に*/
b : makelist(0, 5)$
print(b)$
/* 3番目の要素の値を設定 */
b[3] : 3$
print(b)$
\(\left[ 0 , 0 , 0 , 0 , 0 \right] \)
\(\left[ 0 , 0 , 3 , 0 , 0 \right] \)

ファイルからリストへの読み込み

以下のようなテキストファイル mydata.txt を用意します。

$ cat mydata.txt
1
2
3
4
5
6

ファイル mydata.txt の数値をリスト a に読み込みます。

In [30]:
a : read_list("mydata.txt");
Out[30]:
\[\tag{${\it \%o}_{68}$}\left[ 1 , 2 , 3 , 4 , 5 , 6 \right] \]
In [31]:
/* 要素の総和,平均,最大値,最小値を出力します。*/
print("要素の総和は", lsum(i, i, a))$
print("要素の平均は", float(lsum(i, i, a)/length(a)))$
print("最大値は    ", lmax(a))$
print("最小値は    ", lmin(a))$
要素の総和は \(21\)
要素の平均は \(3.5\)
最大値は \(6\)
最小値は \(1\)

次は,以下のような「6行2列」のデータが入ったテキストファイル mydata2.txt を読み込む例です。

$ cat mydata2.txt
1  1
2  4
3  9
4 16
5 25
6 36
In [32]:
b : read_nested_list("mydata2.txt")$
print(b)$
\(\left[ \left[ 1 , 1 \right] , \left[ 2 , 4 \right] , \left[ 3 , 9 \right] , \left[ 4 , 16 \right] , \left[ 5 , 25 \right] , \left[ 6 , 36 \right] \right] \)
In [33]:
/* 入れ子になっているリストの成分を取り出す方法 */
b[2];
b[2][2];
Out[33]:
\[\tag{${\it \%o}_{75}$}\left[ 2 , 4 \right] \]
Out[33]:
\[\tag{${\it \%o}_{76}$}4\]

リストではなく,行列として読み込む場合は以下のようにします。

In [34]:
M : read_matrix("mydata2.txt");
Out[34]:
\[\tag{${\it \%o}_{77}$}\begin{pmatrix}1 & 1 \\ 2 & 4 \\ 3 & 9 \\ 4 & 16 \\ 5 & 25 \\ 6 & 36 \\ \end{pmatrix}\]
In [35]:
/* 行列として読み込んだ場合の成分の取り出し方 */
M[2, 2];
Out[35]:
\[\tag{${\it \%o}_{78}$}4\]

ファイルへの書き込み

ファイルへの書き込み例です。この例では,$𝑥$ と $\sin 𝑥$ の値を $𝑥=0.1$ から $𝑥=1.0$ まで書き込んでいます。

In [36]:
x : makelist([0.1 * i, sin(0.1 * i)], i, 1, 10);
write_data(x, "myoutput.txt")$
Out[36]:
\[\tag{${\it \%o}_{79}$}\left[ \left[ 0.1 , 0.09983341664682815 \right] , \left[ 0.2 , 0.1986693307950612 \right] , \left[ 0.3 , 0.2955202066613396 \right] , \left[ 0.4 , 0.3894183423086505 \right] , \left[ 0.5 , 0.479425538604203 \right] , \left[ 0.6000000000000001 , 0.5646424733950355 \right] , \left[ 0.7000000000000001 , 0.6442176872376911 \right] , \left[ 0.8 , 0.7173560908995228 \right] , \left[ 0.9 , 0.7833269096274834 \right] , \left[ 1.0 , 0.8414709848078965 \right] \right] \]
$ cat myoutput.txt
0.1 0.09983341664682815
0.2 0.1986693307950612
0.3 0.2955202066613396
0.4 0.3894183423086505
0.5 0.479425538604203
0.6000000000000001 0.5646424733950355
0.7000000000000001 0.6442176872376911
0.8 0.7173560908995228
0.9 0.7833269096274834
1.0 0.8414709848078965

リスト・行列の相互変換

行列からリストへの変換は args() 関数で行います。

In [37]:
M;
matrixp(M);
m : args(M);
listp(m);
/* リストと行列で成分の参照法が異なる */
M[6,2];
m[6][2];
Out[37]:
\[\tag{${\it \%o}_{81}$}\begin{pmatrix}1 & 1 \\ 2 & 4 \\ 3 & 9 \\ 4 & 16 \\ 5 & 25 \\ 6 & 36 \\ \end{pmatrix}\]
Out[37]:
\[\tag{${\it \%o}_{82}$}\mathbf{true}\]
Out[37]:
\[\tag{${\it \%o}_{83}$}\left[ \left[ 1 , 1 \right] , \left[ 2 , 4 \right] , \left[ 3 , 9 \right] , \left[ 4 , 16 \right] , \left[ 5 , 25 \right] , \left[ 6 , 36 \right] \right] \]
Out[37]:
\[\tag{${\it \%o}_{84}$}\mathbf{true}\]
Out[37]:
\[\tag{${\it \%o}_{85}$}36\]
Out[37]:
\[\tag{${\it \%o}_{86}$}36\]

また,リストから行列への変換は以下のようにします。

In [38]:
b;
listp(b);
M1: apply('matrix, b);
matrixp(M1);
/* リストと行列で成分の参照法が異なる */
b[6][2];
M1[6,2];
Out[38]:
\[\tag{${\it \%o}_{87}$}\left[ \left[ 1 , 1 \right] , \left[ 2 , 4 \right] , \left[ 3 , 9 \right] , \left[ 4 , 16 \right] , \left[ 5 , 25 \right] , \left[ 6 , 36 \right] \right] \]
Out[38]:
\[\tag{${\it \%o}_{88}$}\mathbf{true}\]
Out[38]:
\[\tag{${\it \%o}_{89}$}\begin{pmatrix}1 & 1 \\ 2 & 4 \\ 3 & 9 \\ 4 & 16 \\ 5 & 25 \\ 6 & 36 \\ \end{pmatrix}\]
Out[38]:
\[\tag{${\it \%o}_{90}$}\mathbf{true}\]
Out[38]:
\[\tag{${\it \%o}_{91}$}36\]
Out[38]:
\[\tag{${\it \%o}_{92}$}36\]

書式指定

浮動小数点数の書式指定

実数を表示する際,全体の文字数や小数点以下の桁数を指定して表示させる例です。

例えば "~8,5f" は全体で 8 桁の表示範囲をとり,小数点以下は 5 桁表示します。"~%" は改行を表します。

In [39]:
sqrtwo : float(sqrt(2))$
printf(true, "12345678901234567890    桁数~%")$
printf(true, "~f~%", sqrtwo)$
printf(true, "~8,5f~%", sqrtwo)$
printf(true, "~18,15f~%", sqrtwo)$
printf(true, "2の平方根は ~18,15f です~%", sqrtwo)$
12345678901234567890    桁数
1.4142135623730951
 1.41421
 1.414213562373095
2の平方根は  1.414213562373095 です

全体の桁数のみを指定することもできます。例えば,"~7f" のように全体の桁数 7 桁のみを指定します。また,小数点以下の桁数のみを"~,2f" のように指定することもできます。

In [40]:
printf(true, "12345678901234567890    桁数~%")$
printf(true, "~7f~%", sqrtwo)$
printf(true, "~,2f~%", sqrtwo)$
12345678901234567890    桁数
1.41421
1.41

(練習)

以下の出力を,エンゲル係数の値を(四捨五入して)小数点以下1桁まで表示するように変更しなさい。

In [41]:
spending : 110000$
food : 37000$
eng : float(food * 100 / spending)$ 
print("エンゲル係数は ", eng, " です。")$
エンゲル係数は \(33.63636363636363\) です。

指数表式の指定

非常に大きい数や小さい数を表示するときには, $1.9891 \times 10^{30}$ や $6.67430 \times 10^{-11}$ などのような指数表示をします。

例えば "~9,2e" では,全体で 9 桁の表示分を確保し,小数点以下は 2 桁表示します。

In [42]:
c : 299792458$
printf(true, "12345678901234567890    桁数~%")$
printf(true, "~9,2e~%", c)$
printf(true, "~15,8e~%", c)$
printf(true, "光速は ~15,8e m/s です。~%", c)$
12345678901234567890    桁数
  3.00e+8
  2.99792458e+8
光速は   2.99792458e+8 m/s です。

全体の桁数のみを指定したり,小数点以下の桁数のみを指定することもできます。

In [43]:
printf(true, "12345678901234567890    桁数~%")$
printf(true, "~,2e~%", c)$
printf(true, "~15e~%", c)$
12345678901234567890    桁数
3.00e+8
  2.99792458e+8

文字型の書式指定

文字列の書式指定は "~a" です。また,以下では substring() で文字列の一部を取り出す処理を行なう例を示します。

substring(str, i, j) は文字列 stri 番目から始まり,j 番目以降を切り取った(つまり,i 番目から j-1 番目までの)文字列を与えます。

In [44]:
ten : "1234567890"$
printf(true, "~a~a    桁数~%", ten, ten)$
printf(true, "~a~a~%", substring(ten, 1, 6), 
                       substring(ten, 1, 6))$
printf(true, "~a~a~%", substring(ten, 1, 7), 
                       substring(ten, 1, 5))$
12345678901234567890    桁数
1234512345
1234561234

整数の書式指定

整数の書式指定は "~d" です。"~5d" のように桁数を指定することもできます。

In [45]:
v : [1, 23, 456, 7890]$
for i thru length(v) do print(v[i])$
\(1\)
\(23\)
\(456\)
\(7890\)
In [46]:
/* 書式指定で表示桁数を5桁とり,右寄せで整数を表示 */
for i thru length(v) do printf(true, "~5d~%", v[i])$
    1
   23
  456
 7890
In [47]:
m: [[1, 0, 0, 0],
    [0, 23, 0, 0],
    [0, 0, 456, 0],
    [0, 0, 0, 7890]];
Out[47]:
\[\tag{${\it \%o}_{121}$}\left[ \left[ 1 , 0 , 0 , 0 \right] , \left[ 0 , 23 , 0 , 0 \right] , \left[ 0 , 0 , 456 , 0 \right] , \left[ 0 , 0 , 0 , 7890 \right] \right] \]
In [48]:
/* sprint() は改行せずに出力。newline() は改行のみ。*/
for i thru length(m) 
    do(for j thru length(m[i]) do sprint(m[i][j]),
       newline()
    )$
1 0 0 0 
0 23 0 0 
0 0 456 0 
0 0 0 7890 
In [49]:
/* 書式指定で表示桁数を5桁とり,右寄せで各成分を表示 */
for i thru length(m) 
    do(for j thru length(m[i]) do printf(true, "~5d" ,m[i][j]), 
       newline()
    )$
    1    0    0    0
    0   23    0    0
    0    0  456    0
    0    0    0 7890

さらに Maxima を活用するために

この Notebook では,プログラミング言語として共通の部分に焦点を絞った Maxima の使い方について解説しました。

微分・積分や方程式の解法,さらにはグラフ作成といった,コンピュータ代数システム Maxima 固有の機能の活用例については,以下のページを参考にしてください。

また,Maxima のマニュアルは