From 9387a1b00e6f234616a8a1a008e30d5382ef882b Mon Sep 17 00:00:00 2001 From: Anthony Fu Date: Thu, 30 Jan 2020 19:21:32 +0800 Subject: [PATCH] chore: format examples --- examples/clock.wy | 176 +++++++++++++++---------------- examples/collatz.wy | 36 +++---- examples/collatz2.wy | 22 ++-- examples/crt.wy | 38 +++---- examples/divination.wy | 22 ++-- examples/draw_heart.wy | 68 ++++++------ examples/eightqueens.wy | 68 ++++++------ examples/euclidean.wy | 42 ++++---- examples/fibonacci2.wy | 20 ++-- examples/fizzbuzz.wy | 2 +- examples/mandelbrot.wy | 4 +- examples/mergesort.wy | 110 +++++++++---------- examples/modinv.wy | 10 +- examples/multiplication_table.wy | 24 ++--- examples/pascal_triangle.wy | 46 ++++---- examples/pi_leibniz.wy | 26 ++--- examples/quicksort_inplace.wy | 4 +- examples/quine2.wy | 34 +++--- examples/selectionsort.wy | 56 +++++----- examples/serialization.wy | 70 ++++++------ examples/sqrt_newton.wy | 2 +- examples/tree.wy | 2 +- examples/tree2.wy | 6 +- examples/zh_sqrt.wy | 46 ++++---- 24 files changed, 467 insertions(+), 467 deletions(-) diff --git a/examples/clock.wy b/examples/clock.wy index 7bf83494..6599a821 100644 --- a/examples/clock.wy +++ b/examples/clock.wy @@ -15,123 +15,123 @@ 吾有一數。名之曰「比例」。 若「半橫」小於「半縱」者。 - 昔之「比例」者。今「半橫」是矣。 + 昔之「比例」者。今「半橫」是矣。 若非。 - 昔之「比例」者。今「半縱」是矣。 + 昔之「比例」者。今「半縱」是矣。 云云。 吾有一術。名之曰「縱坐標」。欲行是術。必先得一數。曰「南」。是術曰。 - 乘「南」以「比例」。減其於「半縱」。乃得矣。 + 乘「南」以「比例」。減其於「半縱」。乃得矣。 是謂「縱坐標」之術也。 吾有一術。名之曰「橫坐標」。欲行是術。必先得一數。曰「東」。是術曰。 - 乘「東」以「比例」。減其於「半橫」。乃得矣。 + 乘「東」以「比例」。減其於「半橫」。乃得矣。 是謂「橫坐標」之術也。 吾有一術。名之曰「極坐標」。欲行是術。必先得二數。曰「距」。曰「角」。是術曰。 - 施「餘弦」於「角」。乘其以「距」。取一以施「縱坐標」。名之曰「縱」。 - 施「正弦」於「角」。乘其以「距」。取一以施「橫坐標」。名之曰「橫」。 - 吾有一物。名之曰「坐標」。其物如是。 - 物之「「橫」」者。數曰「橫」。 - 物之「「縱」」者。數曰「縱」。 - 是謂「坐標」之物也。乃得「坐標」。 + 施「餘弦」於「角」。乘其以「距」。取一以施「縱坐標」。名之曰「縱」。 + 施「正弦」於「角」。乘其以「距」。取一以施「橫坐標」。名之曰「橫」。 + 吾有一物。名之曰「坐標」。其物如是。 + 物之「「橫」」者。數曰「橫」。 + 物之「「縱」」者。數曰「縱」。 + 是謂「坐標」之物也。乃得「坐標」。 是謂「極坐標」之術也。 吾有一術。名之曰「畫鐘面」。 欲行是術。必先得一物。曰「紙」。一數。曰「半徑」。 是術曰。 - 有數一千零二十四。名之曰「割圓」。 - 夫「半徑」。夫零。取二以施「極坐標」。名之曰「始坐標」。 - 夫「紙」。夫「始坐標」之「「橫」」。夫「始坐標」之「「縱」」。取三以施「落筆」。 - - 有數一。名之曰「甲」。 - 為是「割圓」遍。 - 除「甲」以「割圓」。乘其以「倍圓周率」。名之曰「乙」。 - 夫「半徑」。夫「乙」。取二以施「極坐標」。名之曰「坐標」。 - 夫「紙」。夫「坐標」之「「橫」」。夫「坐標」之「「縱」」。取三以施「運筆」。 - 加「甲」以一。昔之「甲」者。今其是矣。 - 云云。 - - 施「蘸色」於「紙」於「「鈦白」」。 - 施「設色」於「紙」。 - 施「蘸色」於「紙」於「「黑」」。 - 施「提筆」於「紙」。 - - 有數零。名之曰「丙」。 - - 為是六十遍。 - 除「丙」以六十。乘其以「倍圓周率」。名之曰「丁」。 - 夫「半徑」。夫「丁」。取二以施「極坐標」。名之曰「正刻外坐標」。 - 夫「紙」。夫「正刻外坐標」之「「橫」」。夫「正刻外坐標」之「「縱」」。取三以施「落筆」。 - 乘九分五於「半徑」。夫「丁」。取二以施「極坐標」。名之曰「正刻內坐標」。 - 夫「紙」。夫「正刻內坐標」之「「橫」」。夫「正刻內坐標」之「「縱」」。取三以施「運筆」。 - 施「提筆」於「紙」。 - - 加「丙」以一。昔之「丙」者。今其是矣。 - 云云。 - - - 有數零。名之曰「丙」。 - - 為是十二遍。 - 除「丙」以十二。乘其以「倍圓周率」。名之曰「戊」。 - 夫「半徑」。夫「戊」。取二以施「極坐標」。名之曰「初刻外坐標」。 - 夫「紙」。夫「初刻外坐標」之「「橫」」。夫「初刻外坐標」之「「縱」」。取三以施「落筆」。 - 乘八分五於「半徑」。夫「戊」。取二以施「極坐標」。名之曰「初刻內坐標」。 - 夫「紙」。夫「初刻內坐標」之「「橫」」。夫「初刻內坐標」之「「縱」」。取三以施「運筆」。 - 施「提筆」於「紙」。 - - 加「丙」以一。昔之「丙」者。今其是矣。 - 云云。 - + 有數一千零二十四。名之曰「割圓」。 + 夫「半徑」。夫零。取二以施「極坐標」。名之曰「始坐標」。 + 夫「紙」。夫「始坐標」之「「橫」」。夫「始坐標」之「「縱」」。取三以施「落筆」。 + + 有數一。名之曰「甲」。 + 為是「割圓」遍。 + 除「甲」以「割圓」。乘其以「倍圓周率」。名之曰「乙」。 + 夫「半徑」。夫「乙」。取二以施「極坐標」。名之曰「坐標」。 + 夫「紙」。夫「坐標」之「「橫」」。夫「坐標」之「「縱」」。取三以施「運筆」。 + 加「甲」以一。昔之「甲」者。今其是矣。 + 云云。 + + 施「蘸色」於「紙」於「「鈦白」」。 + 施「設色」於「紙」。 + 施「蘸色」於「紙」於「「黑」」。 + 施「提筆」於「紙」。 + + 有數零。名之曰「丙」。 + + 為是六十遍。 + 除「丙」以六十。乘其以「倍圓周率」。名之曰「丁」。 + 夫「半徑」。夫「丁」。取二以施「極坐標」。名之曰「正刻外坐標」。 + 夫「紙」。夫「正刻外坐標」之「「橫」」。夫「正刻外坐標」之「「縱」」。取三以施「落筆」。 + 乘九分五於「半徑」。夫「丁」。取二以施「極坐標」。名之曰「正刻內坐標」。 + 夫「紙」。夫「正刻內坐標」之「「橫」」。夫「正刻內坐標」之「「縱」」。取三以施「運筆」。 + 施「提筆」於「紙」。 + + 加「丙」以一。昔之「丙」者。今其是矣。 + 云云。 + + + 有數零。名之曰「丙」。 + + 為是十二遍。 + 除「丙」以十二。乘其以「倍圓周率」。名之曰「戊」。 + 夫「半徑」。夫「戊」。取二以施「極坐標」。名之曰「初刻外坐標」。 + 夫「紙」。夫「初刻外坐標」之「「橫」」。夫「初刻外坐標」之「「縱」」。取三以施「落筆」。 + 乘八分五於「半徑」。夫「戊」。取二以施「極坐標」。名之曰「初刻內坐標」。 + 夫「紙」。夫「初刻內坐標」之「「橫」」。夫「初刻內坐標」之「「縱」」。取三以施「運筆」。 + 施「提筆」於「紙」。 + + 加「丙」以一。昔之「丙」者。今其是矣。 + 云云。 + 是謂「畫鐘面」之術也。 吾有一術。名之曰「畫指針」。 欲行是術。必先得一物。曰「紙」。五數。曰「角」。曰「針長」。曰「尾長」。曰「針角」。曰「尾角」。 是術曰。 - 夫「針長」。加「針角」於「角」。取二以施「極坐標」。名之曰「甲」。 - 乘負一於「尾長」。減「尾角」於「角」。取二以施「極坐標」。名之曰「乙」。 - 乘負一於「尾長」。加「尾角」於「角」。取二以施「極坐標」。名之曰「丙」。 - 夫「針長」。減「針角」於「角」。取二以施「極坐標」。名之曰「丁」。 + 夫「針長」。加「針角」於「角」。取二以施「極坐標」。名之曰「甲」。 + 乘負一於「尾長」。減「尾角」於「角」。取二以施「極坐標」。名之曰「乙」。 + 乘負一於「尾長」。加「尾角」於「角」。取二以施「極坐標」。名之曰「丙」。 + 夫「針長」。減「針角」於「角」。取二以施「極坐標」。名之曰「丁」。 - 夫「紙」。夫「甲」之「「橫」」。夫「甲」之「「縱」」。取三以施「落筆」。 - 夫「紙」。夫「乙」之「「橫」」。夫「乙」之「「縱」」。取三以施「運筆」。 - 夫「紙」。夫「丙」之「「橫」」。夫「丙」之「「縱」」。取三以施「運筆」。 - 夫「紙」。夫「丁」之「「橫」」。夫「丁」之「「縱」」。取三以施「運筆」。 - 夫「紙」。夫「甲」之「「橫」」。夫「甲」之「「縱」」。取三以施「運筆」。 + 夫「紙」。夫「甲」之「「橫」」。夫「甲」之「「縱」」。取三以施「落筆」。 + 夫「紙」。夫「乙」之「「橫」」。夫「乙」之「「縱」」。取三以施「運筆」。 + 夫「紙」。夫「丙」之「「橫」」。夫「丙」之「「縱」」。取三以施「運筆」。 + 夫「紙」。夫「丁」之「「橫」」。夫「丁」之「「縱」」。取三以施「運筆」。 + 夫「紙」。夫「甲」之「「橫」」。夫「甲」之「「縱」」。取三以施「運筆」。 - 施「蘸色」於「紙」於「「花青」」。 - 施「設色」於「紙」。 + 施「蘸色」於「紙」於「「花青」」。 + 施「設色」於「紙」。 是謂「畫指針」之術也。 吾有一術。名之曰「执笔」。是術曰。 - 施「(()=>document.getElementById("out").innerHTML="")」。 - 施「今何紀元時」。名之曰「紀元時」。 - 施「彼時何小時」於「紀元時」。名之曰「時」。 - 施「彼分何分」於「紀元時」。名之曰「分」。 - 施「彼刻何刻」於「紀元時」。名之曰「刻」。 - 施「彼秒何秒」於「紀元時」。名之曰「秒」。 - - 乘「刻」以十五。加其於「分」。昔之「分」者。今其是矣。 - - 除「秒」以六十。加其於「分」。昔之「分」者。今其是矣。 - 除「分」以六十。加其於「時」。昔之「時」者。今其是矣。 - - 除「分」以六十。乘其以「倍圓周率」。乘其以負一。名之曰「分角」。 - 除「時」以十二。乘其以「倍圓周率」。乘其以負一。名之曰「時角」。 - 除「秒」以六十。乘其以「倍圓周率」。乘其以負一。名之曰「秒角」。 - - - 施「備紙」於「紙橫」。於「紙縱」。名之曰「紙」。 - 施「畫鐘面」於「紙」。於九分。 - 施「畫指針」於「紙」。於「秒角」。於八分。於一分。於三毫。於一分。 - 施「畫指針」於「紙」。於「分角」。於七分五釐。於一分。於三毫。於三分。 - 施「畫指針」於「紙」。於「時角」。於五分五釐。於八釐。於五毫。於五分。 - 施「裱畫」於「紙」於「「out」」。 + 施「(()=>document.getElementById("out").innerHTML="")」。 + 施「今何紀元時」。名之曰「紀元時」。 + 施「彼時何小時」於「紀元時」。名之曰「時」。 + 施「彼分何分」於「紀元時」。名之曰「分」。 + 施「彼刻何刻」於「紀元時」。名之曰「刻」。 + 施「彼秒何秒」於「紀元時」。名之曰「秒」。 + + 乘「刻」以十五。加其於「分」。昔之「分」者。今其是矣。 + + 除「秒」以六十。加其於「分」。昔之「分」者。今其是矣。 + 除「分」以六十。加其於「時」。昔之「時」者。今其是矣。 + + 除「分」以六十。乘其以「倍圓周率」。乘其以負一。名之曰「分角」。 + 除「時」以十二。乘其以「倍圓周率」。乘其以負一。名之曰「時角」。 + 除「秒」以六十。乘其以「倍圓周率」。乘其以負一。名之曰「秒角」。 + + + 施「備紙」於「紙橫」。於「紙縱」。名之曰「紙」。 + 施「畫鐘面」於「紙」。於九分。 + 施「畫指針」於「紙」。於「秒角」。於八分。於一分。於三毫。於一分。 + 施「畫指針」於「紙」。於「分角」。於七分五釐。於一分。於三毫。於三分。 + 施「畫指針」於「紙」。於「時角」。於五分五釐。於八釐。於五毫。於五分。 + 施「裱畫」於「紙」於「「out」」。 是謂「执笔」之術也。 diff --git a/examples/collatz.wy b/examples/collatz.wy index 53cdba0d..e71572c2 100644 --- a/examples/collatz.wy +++ b/examples/collatz.wy @@ -2,25 +2,25 @@ 欲行是術。必先得一數。 曰「甲」。 乃行是術曰。 - 吾有一術。名之曰「助手」。 - 欲行是術。必先得一數。 - 曰「乙」。 - 乃行是術曰。 - 吾有一數。名之曰「埃」。 - 除「乙」以二。所餘幾何。名之曰「積」。 - 若「積」不等於零者。乘三以「乙」。加其於一。昔之「埃」者。今其是矣。 - 若非。 除二於「乙」。昔之「埃」者。今其是矣。云云。 - 乃得「埃」。 - 是謂「助手」之術也。 + 吾有一術。名之曰「助手」。 + 欲行是術。必先得一數。 + 曰「乙」。 + 乃行是術曰。 + 吾有一數。名之曰「埃」。 + 除「乙」以二。所餘幾何。名之曰「積」。 + 若「積」不等於零者。乘三以「乙」。加其於一。昔之「埃」者。今其是矣。 + 若非。 除二於「乙」。昔之「埃」者。今其是矣。云云。 + 乃得「埃」。 + 是謂「助手」之術也。 - 吾有一列。名之曰「回」。充「回」以「甲」。 - 恆為是。 - 若「甲」等於一者。乃止。也。 - 施「助手」於「甲」。昔之「甲」者。今其是矣。 - 充「回」以「甲」。 - 云云。 - 充「回」以一。 - 乃得「回」。 + 吾有一列。名之曰「回」。充「回」以「甲」。 + 恆為是。 + 若「甲」等於一者。乃止。也。 + 施「助手」於「甲」。昔之「甲」者。今其是矣。 + 充「回」以「甲」。 + 云云。 + 充「回」以一。 + 乃得「回」。 是謂「角谷猜想」之術也。 施「角谷猜想」於十二。書之。 diff --git a/examples/collatz2.wy b/examples/collatz2.wy index 71f94ea2..055155f2 100644 --- a/examples/collatz2.wy +++ b/examples/collatz2.wy @@ -1,15 +1,15 @@ 吾有一術。名之曰「考拉茲」。欲行是術。必先得一數。曰「甲」。乃行是術曰。 - 有數零。名之曰「總」。 - 為是九千九百九十九遍。 - 若「甲」等於一者。乃得「總」。 - 若非。 - 除「甲」以二。所餘幾何。名之曰「丙」。 - 若「丙」等於零者。除「甲」以二。名之曰「半」。昔之「甲」者。今「半」也。 - 若非。 - 乘「甲」以三。名之曰「丁」。加一於「丁」。名之曰「戊」。昔之「甲」者。今「戊」是也。 - 加「總」以一。名之曰「己」。 - 昔之「總」者。今「己」是也。 - 云云。 + 有數零。名之曰「總」。 + 為是九千九百九十九遍。 + 若「甲」等於一者。乃得「總」。 + 若非。 + 除「甲」以二。所餘幾何。名之曰「丙」。 + 若「丙」等於零者。除「甲」以二。名之曰「半」。昔之「甲」者。今「半」也。 + 若非。 + 乘「甲」以三。名之曰「丁」。加一於「丁」。名之曰「戊」。昔之「甲」者。今「戊」是也。 + 加「總」以一。名之曰「己」。 + 昔之「總」者。今「己」是也。 + 云云。 是謂「考拉茲」之術也。 diff --git a/examples/crt.wy b/examples/crt.wy index 1e6940d8..3814b620 100644 --- a/examples/crt.wy +++ b/examples/crt.wy @@ -8,12 +8,12 @@ 以其餘各乘用。為各總。 併總。滿衍母去之。不滿。為所求率數。 」」 - + 施「求諸定」於「諸元」。名之曰「諸定」。 - + 施「相乘」於「諸定」。名之曰「衍母」。 注曰「「衍母者。即諸定數皆能度盡之數也」」。 - + 吾有一列。名之曰「諸總」。 夫「諸定」之長。名之曰「量」。 有數〇。名之曰「序」。恆為是。若「序」等於「量」者乃止也。 @@ -22,23 +22,23 @@ 夫「諸餘」之「序」。名之曰「餘」。 若「定」等於一者乃止是遍也。 注曰「「定數一者。即無用數」」。 - + 除「衍母」以「定」。名之曰「衍」。 注曰「「衍數者。即諸數度盡一數度不盡之數也」」。 - + 除「衍」以「定」。所餘幾何。名之曰「奇」。 注曰「「奇數者。定數度衍數不盡之數也」」。 - + 施「大衍求一」於「奇」於「定」。名之曰「果」。 夫「果」之「「乘率」」。名之曰「乘率」。 - + 乘「衍」以「乘率」。名之曰「用」。 注曰「「用數者。即一數餘一諸數度盡之數也」」。 - + 乘「用」以「餘」。名之曰「總」。充「諸總」以「總」。 注曰「「蓋用數為諸數度盡一數餘一之數。以幾數乘之。必為諸數度盡一數餘幾數之數也」」。 云云。 - + 施「相加」於「諸總」。除其以「衍母」。所餘幾何。名之曰「率」。 注曰「「併各條而以各數度之。必各數仍餘。幾數也餘。數悉合。則總數必合矣」」。 乃得「率」。 @@ -60,20 +60,20 @@ 或皆約而猶有類數存。姑置之。俟與其他約遍。而後乃與姑置者求等約之。 或諸數皆不可盡類。則以諸元數命曰定數。 」」 - + 夫「諸元」之長。名之曰「量」。 有數〇。名之曰「甲序」。恆為是。若「甲序」等於「量」者乃止也。 加「甲序」以一。昔之「甲序」者。今其是矣。 - + 有數〇。名之曰「乙序」。恆為是。若「乙序」等於「量」者乃止也。 加「乙序」以一。昔之「乙序」者。今其是矣。 若「乙序」等於「甲序」者乃止是遍也。 - + 夫「諸元」之「甲序」。名之曰「甲」。 夫「諸元」之「乙序」。名之曰「乙」。 施「大衍求一」於「甲」於「乙」。名之曰「果」。 夫「果」之「「等數」」。名之曰「等」。 - + 除「甲」以「等」。名之曰「約甲」。 除「乙」以「等」。名之曰「約乙」。 除「約甲」以「等」。所餘幾何。若其不等於〇者。 @@ -116,27 +116,27 @@ 物之「「等數」」者。數曰一。 是謂「果」之物也。 乃得「果」也。 - + 有數一。名之曰「天元」。 吾有四數。曰「奇」曰「定」曰「天元」曰〇。 名之曰「右上」曰「右下」曰「左上」曰「左下」。 - + 恆為是。 若「右上」等於一者。乃止也。 - + 除「右下」以「右上」。所餘幾何。名之曰「餘」。 減「右下」以「餘」。除其以「右上」。名之曰「商」。 乘「商」以「左上」。加「左下」以其。昔之「左下」者。今其是矣。 昔之「右下」者。今「餘」是矣。 - + 若「右下」等於〇者。乃止也。 - + 減「右上」以一。除其以「右下」。所餘幾何。加其以一。名之曰「餘」。 減「右上」以「餘」。除其以「右下」。名之曰「商」。 乘「商」以「左下」。加「左上」以其。昔之「左上」者。今其是矣。 昔之「右上」者。今「餘」是矣。 云云。 - + 吾有一物。名之曰「果」。其物如是。 物之「「乘率」」者。數曰「左上」。 物之「「等數」」者。數曰「右上」。 diff --git a/examples/divination.wy b/examples/divination.wy index fec6e116..444a703b 100644 --- a/examples/divination.wy +++ b/examples/divination.wy @@ -12,9 +12,9 @@ 吾有一數。曰零。名之曰「左剩策」。 吾有一數。曰零。名之曰「右余策」。 吾有一數。曰零。名之曰「右剩策」。 - + 減「现余策」以一。名之曰「现余策」。 - + 減「现余策」以一。 昔之「现余策」者。今其是矣。 施「听天由命」於「现余策」。 @@ -23,12 +23,12 @@ 昔之「现余策」者。今其是矣。 加「左余策」以一。 昔之「左余策」者。今其是矣。 - + 減「现余策」以「左余策」。 昔之「右余策」者。今其是矣。 批曰。「「分而为二以象两」」 - - 除「左余策」以四。所餘幾何。批曰。「「揲之以四象四时」」 + + 除「左余策」以四。所餘幾何。批曰。「「揲之以四象四时」」 昔之「左剩策」者。今其是矣。 若「左剩策」等於零者。 昔之「左剩策」者。今四是矣。 @@ -38,13 +38,13 @@ 若「右剩策」等於零者。 昔之「右剩策」者。今四是矣。 云云。 - + 減「现余策」以「左剩策」。 昔之「现余策」者。今其是矣。 減「现余策」以「右剩策」。 昔之「现余策」者。今其是矣。 乃得 「现余策」。 - + 是謂「春秋古筮法」之術也。 吾有一列。名之曰「爻基」。 @@ -53,7 +53,7 @@ 若「甲」等於零者。乃止。云云。 吾有一數。曰五十。名之曰「余策」。批曰。「「大衍之数五十」」 減「余策」以一。昔之「余策」者。今其是矣。批曰。「「其用四十有九」」 - 為是三遍。批曰。「「三变成一爻」」 + 為是三遍。批曰。「「三变成一爻」」 施「春秋古筮法」於「余策」 昔之「余策」者。今其是矣。 云云。 @@ -66,17 +66,17 @@ 吾有一數。曰零。名之曰「判據」。 恆為是。 若「甲」等於零者。乃止。云云。 - + 夫「爻基」之「甲」。除其以四。 除其以二。所餘幾何。 昔之「判據」者。今其是矣。 - + 若「判據」等於零者。 吾有一言。曰「「-- --」」。書之。 若非 吾有一言。曰「「-----」」。書之。 云云。 - + 減「甲」以一。 昔之「甲」者。今其是矣。 云云。 \ No newline at end of file diff --git a/examples/draw_heart.wy b/examples/draw_heart.wy index addc1fbf..de8c32ef 100644 --- a/examples/draw_heart.wy +++ b/examples/draw_heart.wy @@ -3,40 +3,40 @@ 吾有一術名之曰「畫心」。 欲行是術。必先得一言。曰「心語」。 乃行是術曰。 - 夫「心語」之長。名之曰「長度」。 - 吾有一言。曰「「一」」。名之曰「填充符」。 - 吾有一言。曰「「\n」」。名之曰「换行符」。 - 除十三以十。名之曰「乙」。 - 除負十一以十。名之曰「乙止」。 - 除四十以一千。名之曰「甲步長」。 - 除六以一百。名之曰「乙步長」。 - 吾有一數。曰一。名之曰「輸出位置」。 - 吾有一言。曰「「」」。名之曰「果」。 - 恆為是。若「乙」小於「乙止」者乃止也。 - 除負十一以十。名之曰「甲」。 - 除十一以十。名之曰「甲止」。 - 吾有一言。曰「「」」。名之曰「本行」。 - 恆為是。若「甲」大於「甲止」者乃止也。 - 施「絕對」於「甲」。名之曰「甲絕對」。 - 施「平方根」於「甲絕對」。名之曰「減數」。 - 乘五於「乙」。除其以四。名之曰「被減數」。 - 減「被減數」以「減數」。名之曰「差」。 - 乘「差」以「差」。名之曰「加數」。 - 乘「甲」以「甲」。加其以「加數」。減其以一。名之曰「函數值」。 - 若「函數值」不大於零者。 - 夫「心語」之「輸出位置」。名之曰「字」。 - 加「本行」以「字」。昔之「本行」者今其是矣。 - 除「輸出位置」以「長度」。所餘幾何。加其以一。昔之「輸出位置」者今其是矣。 - 若非。 - 加「本行」以「填充符」。昔之「本行」者今其是矣。 - 终也。 - 加「甲」以「甲步長」。昔之「甲」者今其是矣。 - 云云。 - 減「乙」以「乙步長」。昔之「乙」者今其是矣。 - 加「本行」以「换行符」。昔之「本行」者今其是矣。 - 加「果」以「本行」。昔之「果」者今其是矣。 - 云云。 - 吾有一言。曰「果」。書之。 + 夫「心語」之長。名之曰「長度」。 + 吾有一言。曰「「一」」。名之曰「填充符」。 + 吾有一言。曰「「\n」」。名之曰「换行符」。 + 除十三以十。名之曰「乙」。 + 除負十一以十。名之曰「乙止」。 + 除四十以一千。名之曰「甲步長」。 + 除六以一百。名之曰「乙步長」。 + 吾有一數。曰一。名之曰「輸出位置」。 + 吾有一言。曰「「」」。名之曰「果」。 + 恆為是。若「乙」小於「乙止」者乃止也。 + 除負十一以十。名之曰「甲」。 + 除十一以十。名之曰「甲止」。 + 吾有一言。曰「「」」。名之曰「本行」。 + 恆為是。若「甲」大於「甲止」者乃止也。 + 施「絕對」於「甲」。名之曰「甲絕對」。 + 施「平方根」於「甲絕對」。名之曰「減數」。 + 乘五於「乙」。除其以四。名之曰「被減數」。 + 減「被減數」以「減數」。名之曰「差」。 + 乘「差」以「差」。名之曰「加數」。 + 乘「甲」以「甲」。加其以「加數」。減其以一。名之曰「函數值」。 + 若「函數值」不大於零者。 + 夫「心語」之「輸出位置」。名之曰「字」。 + 加「本行」以「字」。昔之「本行」者今其是矣。 + 除「輸出位置」以「長度」。所餘幾何。加其以一。昔之「輸出位置」者今其是矣。 + 若非。 + 加「本行」以「填充符」。昔之「本行」者今其是矣。 + 终也。 + 加「甲」以「甲步長」。昔之「甲」者今其是矣。 + 云云。 + 減「乙」以「乙步長」。昔之「乙」者今其是矣。 + 加「本行」以「换行符」。昔之「本行」者今其是矣。 + 加「果」以「本行」。昔之「果」者今其是矣。 + 云云。 + 吾有一言。曰「果」。書之。 是謂「畫心」之術也。 施「畫心」於「「琉璃梳子撫青絲。畫心牽腸癡不癡。」」。 \ No newline at end of file diff --git a/examples/eightqueens.wy b/examples/eightqueens.wy index fb171a6f..87a265b8 100644 --- a/examples/eightqueens.wy +++ b/examples/eightqueens.wy @@ -1,42 +1,42 @@ 注曰。「「今以八皇后置棋盤之上而不相殺。其法幾何。」」 吾有一術。名之曰「皇后問題」。欲行是術。必先得一數。曰「寬」。乃行是術曰。 - 吾有一列。名之曰「棋盤」。 + 吾有一列。名之曰「棋盤」。 - 吾有一術。名之曰「單步」。是術曰。 - 若「棋盤」之長等於「寬」者。 - 夫「棋盤」書之。 - 若非。 - 吾有一數。曰一。名之曰「此后」。 - 為是「寬」遍。 - 吾有一爻。曰陽。名之曰「可乎」。 - 吾有一數。曰一。名之曰「彼后之位」。 - 夫「棋盤」之長。名之曰「幾何」。 - 加一於「幾何」。名之曰「此后之位」。 - 為是「幾何」遍。 - 夫「棋盤」之「彼后之位」。名之曰「彼后」。 - 減「此后之位」以「彼后之位」。名之曰「直距」。 - 減「彼后」以「此后」。名之曰「右距」。 - 減「彼后」於「此后」。名之曰「左距」。 - 若「彼后」等於「此后」者。昔之「可乎」者。今陰也。乃止。也。 - 若「右距」等於「直距」者。昔之「可乎」者。今陰也。乃止。也。 - 若「左距」等於「直距」者。昔之「可乎」者。今陰也。乃止。也。 - 加一於「彼后之位」。名之曰「新位」。 - 昔之「彼后之位」者。今「新位」也。 - 云云。 - 若「可乎」者。 - 吾有一列。銜其以「棋盤」。名之曰「舊棋盤」 - 充「棋盤」以「此后」。 - 施「單步」。噫。 - 昔之「棋盤」者。今「舊棋盤」是矣。 - 也。 - 加一於「此后」。名之曰「新此后」。 - 昔之「此后」者。今「新此后」也。 - 云云。 - 也。 - 是謂「單步」之術也。 + 吾有一術。名之曰「單步」。是術曰。 + 若「棋盤」之長等於「寬」者。 + 夫「棋盤」書之。 + 若非。 + 吾有一數。曰一。名之曰「此后」。 + 為是「寬」遍。 + 吾有一爻。曰陽。名之曰「可乎」。 + 吾有一數。曰一。名之曰「彼后之位」。 + 夫「棋盤」之長。名之曰「幾何」。 + 加一於「幾何」。名之曰「此后之位」。 + 為是「幾何」遍。 + 夫「棋盤」之「彼后之位」。名之曰「彼后」。 + 減「此后之位」以「彼后之位」。名之曰「直距」。 + 減「彼后」以「此后」。名之曰「右距」。 + 減「彼后」於「此后」。名之曰「左距」。 + 若「彼后」等於「此后」者。昔之「可乎」者。今陰也。乃止。也。 + 若「右距」等於「直距」者。昔之「可乎」者。今陰也。乃止。也。 + 若「左距」等於「直距」者。昔之「可乎」者。今陰也。乃止。也。 + 加一於「彼后之位」。名之曰「新位」。 + 昔之「彼后之位」者。今「新位」也。 + 云云。 + 若「可乎」者。 + 吾有一列。銜其以「棋盤」。名之曰「舊棋盤」 + 充「棋盤」以「此后」。 + 施「單步」。噫。 + 昔之「棋盤」者。今「舊棋盤」是矣。 + 也。 + 加一於「此后」。名之曰「新此后」。 + 昔之「此后」者。今「新此后」也。 + 云云。 + 也。 + 是謂「單步」之術也。 - 施「單步」。 + 施「單步」。 是謂「皇后問題」之術也。 　 施「皇后問題」於八。噫。 diff --git a/examples/euclidean.wy b/examples/euclidean.wy index 2cc3e47d..932447a6 100644 --- a/examples/euclidean.wy +++ b/examples/euclidean.wy @@ -2,39 +2,39 @@ 欲行是術。必先得二數。 曰「甲」。曰「乙」。 乃行是術曰。 - 吾有一數。名之曰「回」。 - 若「乙」等於零者，乃得「甲」是矣。 - 若非， - 吾有一數。名之曰「削除」。 - 除「甲」以「乙」所餘幾何。昔之「削除」者。今其是矣。 - 施「歐幾里得法」於「乙」。於「削除」。昔之「回」者。今其是矣。 - 也。 - 乃得「回」。 + 吾有一數。名之曰「回」。 + 若「乙」等於零者，乃得「甲」是矣。 + 若非， + 吾有一數。名之曰「削除」。 + 除「甲」以「乙」所餘幾何。昔之「削除」者。今其是矣。 + 施「歐幾里得法」於「乙」。於「削除」。昔之「回」者。今其是矣。 + 也。 + 乃得「回」。 是謂「歐幾里得法」之術也。 吾有一術。名之曰「互質」。 欲行是術。必先得二數。 曰「甲」。曰「乙」。 乃行是術曰。 - 吾有一數。名之曰「回」。 - 施「歐幾里得法」於「甲」。於「乙」。昔之「回」者。今其是矣。 - 若「回」等於一者，乃得陽。若非，乃得陰。也。 + 吾有一數。名之曰「回」。 + 施「歐幾里得法」於「甲」。於「乙」。昔之「回」者。今其是矣。 + 若「回」等於一者，乃得陽。若非，乃得陰。也。 是謂「互質」之術也。 吾有一術。名之曰「歐拉餘數」。 欲行是術。必先得一數。 曰「甲」。 乃行是術曰。 - 注曰。「「非最優解矣。吾算術及數論廢也」」 - 吾有二數。曰二。曰一。名之曰「埃」。曰「積」。注曰。「「曰「畸」」」 - 恆為是。 - 若「甲」不大於「埃」者。乃止。也。 - 吾有一爻。名之曰「回」。 - 施「互質」於「甲」。於「埃」。昔之「回」者。今其是矣。 - 若「回」者，加「積」以一。名之曰「積」。也。 - 加「埃」以一。名之曰「埃」。 - 云云。 - 乃得「積」。 + 注曰。「「非最優解矣。吾算術及數論廢也」」 + 吾有二數。曰二。曰一。名之曰「埃」。曰「積」。注曰。「「曰「畸」」」 + 恆為是。 + 若「甲」不大於「埃」者。乃止。也。 + 吾有一爻。名之曰「回」。 + 施「互質」於「甲」。於「埃」。昔之「回」者。今其是矣。 + 若「回」者，加「積」以一。名之曰「積」。也。 + 加「埃」以一。名之曰「埃」。 + 云云。 + 乃得「積」。 是謂「歐拉餘數」之術也。 施「歐幾里得法」於一千零七十一於四百六十二。書之。 diff --git a/examples/fibonacci2.wy b/examples/fibonacci2.wy index 6785b95c..19eded03 100644 --- a/examples/fibonacci2.wy +++ b/examples/fibonacci2.wy @@ -1,22 +1,22 @@ 吾有一術。名之曰「斐氏列」。 欲行是術。必先得一數。曰「因」。乃行是術曰。 - 有數零。名之曰「頭」。 + 有數零。名之曰「頭」。 有數一。名之曰「尾」。 - 有數一。名之曰「計」。 + 有數一。名之曰「計」。 有數零。名之曰「果」。 若「因」等於零者。昔之「果」者。今「因」是矣云云。 若「因」等於一者。昔之「果」者。今「因」是矣云云。 - - 恆為是。若「計」不小於「因」者乃止也。 - 加「頭」以「尾」。昔之「果」者。今其是矣。 - 昔之「頭」者。今「尾」是矣。 - 昔之「尾」者。今「果」是矣。 - 加「計」以一。昔之「計」者。今其是矣。 - 云云。 - 乃得「果」 + 恆為是。若「計」不小於「因」者乃止也。 + 加「頭」以「尾」。昔之「果」者。今其是矣。 + 昔之「頭」者。今「尾」是矣。 + 昔之「尾」者。今「果」是矣。 + 加「計」以一。昔之「計」者。今其是矣。 + 云云。 + + 乃得「果」 是謂「斐氏列」之術也。 施「斐氏列」於十。書之。 diff --git a/examples/fizzbuzz.wy b/examples/fizzbuzz.wy index f2b5514f..7b88d814 100644 --- a/examples/fizzbuzz.wy +++ b/examples/fizzbuzz.wy @@ -1,5 +1,5 @@ 有數一。名之曰「戊」。恆為是。 - + 除「戊」以三。所餘幾何。變其。名之曰「三餘」。 除「戊」以五。所餘幾何。變其。名之曰「五餘」。 diff --git a/examples/mandelbrot.wy b/examples/mandelbrot.wy index f073aa16..ba24cbce 100644 --- a/examples/mandelbrot.wy +++ b/examples/mandelbrot.wy @@ -26,7 +26,7 @@ 批曰。「「凡每一像素。皆算令其收斂之最大疊代數」」。 有數零。名之曰「己」。恆為是。若「己」等於十二者乃止也。 - + 乘「實實」以「實實」。乘「虛虛」以「虛虛」。名之曰「甲」。曰「乙」。 加「甲」以「乙」。名之曰「丙」。 若「丙」大於四者乃止也。 @@ -43,7 +43,7 @@ 加「行」以「墨」。昔之「行」者。今其是矣。 加一以「戌」。昔之「戌」者。今其是矣云云。 - + 吾有一言。曰「行」。書之。 加一以「戊」。昔之「戊」者。今其是矣云云。 是謂「曼德博」之術也。 diff --git a/examples/mergesort.wy b/examples/mergesort.wy index 38e65442..fb30ffd8 100644 --- a/examples/mergesort.wy +++ b/examples/mergesort.wy @@ -1,66 +1,66 @@ 吾有一術。名之曰「歸併」。欲行是術。必先得二列。曰「甲」。曰「乙」。 乃行是術曰。 - 若「甲」之長等於零者。乃得「乙」也。 - 若「乙」之長等於零者。乃得「甲」也。 + 若「甲」之長等於零者。乃得「乙」也。 + 若「乙」之長等於零者。乃得「甲」也。 - 吾有二數。曰一。曰一。名之曰「甲引」。曰「乙引」。 - 吾有一列。名之曰「果」。 - 恆為是。 - 若「甲」之長小於「甲引」者。乃止也。 - 若「乙」之長小於「乙引」者。乃止也。 - 夫「甲」之「甲引」。名之曰「甲一」。 - 夫「乙」之「乙引」。名之曰「乙一」。 - 若「甲一」不大於「乙一」者。 - 充「果」以「甲一」。 - 加「甲引」以一。名之曰「甲引」。 - 若非。 - 充「果」以「乙一」。 - 加「乙引」以一。名之曰「乙引」。 - 也。 - 云云。 + 吾有二數。曰一。曰一。名之曰「甲引」。曰「乙引」。 + 吾有一列。名之曰「果」。 + 恆為是。 + 若「甲」之長小於「甲引」者。乃止也。 + 若「乙」之長小於「乙引」者。乃止也。 + 夫「甲」之「甲引」。名之曰「甲一」。 + 夫「乙」之「乙引」。名之曰「乙一」。 + 若「甲一」不大於「乙一」者。 + 充「果」以「甲一」。 + 加「甲引」以一。名之曰「甲引」。 + 若非。 + 充「果」以「乙一」。 + 加「乙引」以一。名之曰「乙引」。 + 也。 + 云云。 - 若「甲」之長小於「甲引」者。 - 恆為是。 - 若「乙」之長小於「乙引」者。乃止也。 - 夫「乙」之「乙引」。名之曰「乙餘」。 - 充「果」以「乙餘」。 - 加「乙引」以一。名之曰「乙引」。 - 云云。 - 乃得「果」 - 也。 - 若「乙」之長小於「乙引」者。 - 恆為是。 - 若「甲」之長小於「甲引」者。乃止也。 - 夫「甲」之「甲引」。名之曰「甲餘」。 - 充「果」以「甲餘」。 - 加「甲引」以一。名之曰「甲引」。 - 云云。 - 乃得「果」 - 也。 + 若「甲」之長小於「甲引」者。 + 恆為是。 + 若「乙」之長小於「乙引」者。乃止也。 + 夫「乙」之「乙引」。名之曰「乙餘」。 + 充「果」以「乙餘」。 + 加「乙引」以一。名之曰「乙引」。 + 云云。 + 乃得「果」 + 也。 + 若「乙」之長小於「乙引」者。 + 恆為是。 + 若「甲」之長小於「甲引」者。乃止也。 + 夫「甲」之「甲引」。名之曰「甲餘」。 + 充「果」以「甲餘」。 + 加「甲引」以一。名之曰「甲引」。 + 云云。 + 乃得「果」 + 也。 是謂「歸併」之術也。 吾有一術。名之曰「並排」。欲行是術。必先得一列。曰「甲」。 乃行是術曰。 - 若「甲」之長不大於一者。乃得「甲」也。 - 夫「甲」之長。名之曰「甲長」。 - 除「甲長」以二。所餘幾何。名之曰「甲餘」。 - 減「甲長」以「甲餘」。除其以二。名之曰「甲中」。 - 吾有二列。名之曰「甲前」。曰「甲後」。 - 吾有一數。曰一。名之曰「甲引」。 - 恆為是。 - 若「甲引」大於「甲」之長者。乃止也。 - 夫「甲」之「甲引」。名之曰「甲一」。 - 若「甲引」不大於「甲中」者。 - 充「甲前」以「甲一」。 - 若非。 - 充「甲後」以「甲一」。 - 也。 - 加「甲引」以一。名之曰「甲引」。 - 云云。 - 施「並排」於「甲前」。昔之「甲前」者。今其是矣。 - 施「並排」於「甲後」。昔之「甲後」者。今其是矣。 - 施「歸併」於「甲前」。於「甲後」。名之曰「果」。 - 乃得「果」。 + 若「甲」之長不大於一者。乃得「甲」也。 + 夫「甲」之長。名之曰「甲長」。 + 除「甲長」以二。所餘幾何。名之曰「甲餘」。 + 減「甲長」以「甲餘」。除其以二。名之曰「甲中」。 + 吾有二列。名之曰「甲前」。曰「甲後」。 + 吾有一數。曰一。名之曰「甲引」。 + 恆為是。 + 若「甲引」大於「甲」之長者。乃止也。 + 夫「甲」之「甲引」。名之曰「甲一」。 + 若「甲引」不大於「甲中」者。 + 充「甲前」以「甲一」。 + 若非。 + 充「甲後」以「甲一」。 + 也。 + 加「甲引」以一。名之曰「甲引」。 + 云云。 + 施「並排」於「甲前」。昔之「甲前」者。今其是矣。 + 施「並排」於「甲後」。昔之「甲後」者。今其是矣。 + 施「歸併」於「甲前」。於「甲後」。名之曰「果」。 + 乃得「果」。 是謂「並排」之術也。 吾有一列。名之曰「測排」。充「測排」以一。以三。以二。以十八。以十四。 diff --git a/examples/modinv.wy b/examples/modinv.wy index f56011b6..eb770526 100644 --- a/examples/modinv.wy +++ b/examples/modinv.wy @@ -9,22 +9,22 @@ 」」 若「奇」等於〇者。乃得〇也。 若「奇」等於一者。乃得一也。 - + 有數一。名之曰「天元」。 吾有四數。曰「奇」曰「定」曰「天元」曰〇。 名之曰「右上」曰「右下」曰「左上」曰「左下」。 - + 恆為是。 若「右上」等於一者。乃得「左上」也。 - + 除「右下」以「右上」。所餘幾何。名之曰「餘數」。 減「右下」以「餘數」。除其以「右上」。名之曰「商數」。 乘「商數」以「左上」。加「左下」以其。昔之「左下」者。今其是矣。 昔之「右下」者。今「餘數」是矣。 - + 若「右下」等於〇者。乃得〇也。 注曰。「「若右下等於〇者。曰奇數與定數不互素。無乘率也。」」 - + 減「右上」以一，除其以「右下」。所餘幾何。加其以一。名之曰「餘數」。 減「右上」以「餘數」。除其以「右下」。名之曰「商數」。 乘「商數」以「左下」。加「左上」以其。昔之「左上」者。今其是矣。 diff --git a/examples/multiplication_table.wy b/examples/multiplication_table.wy index fb81a449..6b9ee14d 100644 --- a/examples/multiplication_table.wy +++ b/examples/multiplication_table.wy @@ -1,15 +1,15 @@ 吾有一術名之曰「乘算口訣」。是術曰。 - 有數一名之曰「甲」。 - 恆為是。若「甲」不小於十者乃止也。 - 有數一名之曰「乙」。 - 加「甲」以「乙」名之曰「丙」。 - 恆為是。若「乙」不小於「丙」者乃止也。 - 乘「甲」以「乙」名之曰「果」。 - 若「果」不小於十者吾有三言。曰「乙」曰「甲」曰「果」書之。 - 若非吾有四言。曰「乙」曰「甲」曰「「得」」曰「果」書之也。 - 加「乙」以一。昔之「乙」者今其是矣。 - 云云。 - 加「甲」以一。昔之「甲」者今其是矣。 - 云云。 + 有數一名之曰「甲」。 + 恆為是。若「甲」不小於十者乃止也。 + 有數一名之曰「乙」。 + 加「甲」以「乙」名之曰「丙」。 + 恆為是。若「乙」不小於「丙」者乃止也。 + 乘「甲」以「乙」名之曰「果」。 + 若「果」不小於十者吾有三言。曰「乙」曰「甲」曰「果」書之。 + 若非吾有四言。曰「乙」曰「甲」曰「「得」」曰「果」書之也。 + 加「乙」以一。昔之「乙」者今其是矣。 + 云云。 + 加「甲」以一。昔之「甲」者今其是矣。 + 云云。 是謂「乘算口訣」之術也。 施「乘算口訣」。 diff --git a/examples/pascal_triangle.wy b/examples/pascal_triangle.wy index 45ad73d0..253e1c9f 100644 --- a/examples/pascal_triangle.wy +++ b/examples/pascal_triangle.wy @@ -1,29 +1,29 @@ 吾有一術。名之曰「賈憲三角」。欲行是術。必先得一數。曰「層數」。乃行是術曰。 - 吾有一列。名之曰「前層之得」。 - 充「前層之得」以一。夫「前層之得」。書之。 - 若「層數」等於一者乃歸空無也。 + 吾有一列。名之曰「前層之得」。 + 充「前層之得」以一。夫「前層之得」。書之。 + 若「層數」等於一者乃歸空無也。 - 充「前層之得」以一。夫「前層之得」。書之。 - 若「層數」等於二者乃歸空無也。 + 充「前層之得」以一。夫「前層之得」。書之。 + 若「層數」等於二者乃歸空無也。 - 有數三。名之曰「計甲」。 - 恆為是。若「計甲」大於「層數」者乃止也。 - 吾有一列。名之曰「此層之得」。 - 充「此層之得」以一。 - 有數一。名之曰「計乙」。 - 夫「前層之得」之長。名之曰「層長」。 - 恆為是。若「計乙」不小於「層長」者乃止也 - 加一以「計乙」。名之曰「計乙又一」 - 夫「前層之得」之「計乙」。名之曰「數甲」。 - 夫「前層之得」之「計乙又一」。名之曰「數乙」。 - 加「數甲」以「數乙」。名之曰「新數」。 - 充「此層之得」以「新數」。 - 加「計乙」以一。昔之「計乙」者。今其是矣。 - 云云。 - 充「此層之得」以一。夫「此層之得」。書之。 - 昔之「前層之得」者。今「此層之得」是矣。 - 加「計甲」以一。昔之「計甲」者。今其是矣。 - 云云 + 有數三。名之曰「計甲」。 + 恆為是。若「計甲」大於「層數」者乃止也。 + 吾有一列。名之曰「此層之得」。 + 充「此層之得」以一。 + 有數一。名之曰「計乙」。 + 夫「前層之得」之長。名之曰「層長」。 + 恆為是。若「計乙」不小於「層長」者乃止也 + 加一以「計乙」。名之曰「計乙又一」 + 夫「前層之得」之「計乙」。名之曰「數甲」。 + 夫「前層之得」之「計乙又一」。名之曰「數乙」。 + 加「數甲」以「數乙」。名之曰「新數」。 + 充「此層之得」以「新數」。 + 加「計乙」以一。昔之「計乙」者。今其是矣。 + 云云。 + 充「此層之得」以一。夫「此層之得」。書之。 + 昔之「前層之得」者。今「此層之得」是矣。 + 加「計甲」以一。昔之「計甲」者。今其是矣。 + 云云 是謂「賈憲三角」之術也。 施「賈憲三角」於九。 diff --git a/examples/pi_leibniz.wy b/examples/pi_leibniz.wy index 0ba5e39a..15681317 100644 --- a/examples/pi_leibniz.wy +++ b/examples/pi_leibniz.wy @@ -2,19 +2,19 @@ 欲行是術。必先得一數。 曰「頂」。 乃行是術曰。 - 吾有三數。名之曰「埃」曰「積」曰「畸」。 - 有數一。名之曰「符」。 - 恆為是。 - 若「埃」大於「頂」者，乃止也。 - 乘二於「埃」，名之曰「畸」。 - 加一於「畸」，名之曰「畸」。 - 除「符」以「畸」，名之曰「畸」。 - 乘四於「畸」，名之曰「畸」。 - 加「畸」於「積」，名之曰「積」。 - 乘負一於「符」，名之曰「符」。 - 加一於「埃」，名之曰「埃」。 - 云云。 - 乃得「積」。 + 吾有三數。名之曰「埃」曰「積」曰「畸」。 + 有數一。名之曰「符」。 + 恆為是。 + 若「埃」大於「頂」者，乃止也。 + 乘二於「埃」，名之曰「畸」。 + 加一於「畸」，名之曰「畸」。 + 除「符」以「畸」，名之曰「畸」。 + 乘四於「畸」，名之曰「畸」。 + 加「畸」於「積」，名之曰「積」。 + 乘負一於「符」，名之曰「符」。 + 加一於「埃」，名之曰「埃」。 + 云云。 + 乃得「積」。 是謂「萊布尼茲圓周率估算」之術也。 施「萊布尼茲圓周率估算」於十。書之。 diff --git a/examples/quicksort_inplace.wy b/examples/quicksort_inplace.wy index ee86c1bd..753bf604 100644 --- a/examples/quicksort_inplace.wy +++ b/examples/quicksort_inplace.wy @@ -19,14 +19,14 @@ 吾有一數。曰「少陽」。名之曰「坤」。 恆為是。若「乾」不小於「老陽」者乃止也。 若「陰」之「乾」小於「陰」之「老陽」者。 - 施「乾坤大挪移」於「坤」。於「乾」。於「陰」。 + 施「乾坤大挪移」於「坤」。於「乾」。於「陰」。 加一以「坤」。昔之「坤」者。今其是矣。 也。 加一以「乾」。昔之「乾」者。今其是矣。 云云。 批曰。「「若再施乾坤大挪移。则走火入魔。何故。是行便宜之法以达同之功。」」。 - 夫「陰」之「老陽」。名之曰「陰乾」。 + 夫「陰」之「老陽」。名之曰「陰乾」。 夫「陰」之「坤」。名之曰「陰坤」。 昔之「陰」之「乾」者。今「陰坤」是矣。 昔之「陰」之「坤」者。今「陰乾」是矣。 diff --git a/examples/quine2.wy b/examples/quine2.wy index 326c922e..dcd196b1 100644 --- a/examples/quine2.wy +++ b/examples/quine2.wy @@ -5,23 +5,23 @@ 吾有一術。名之曰「置換」。 欲行是術。必先得三數。 曰「文字列」。曰「置換対象」。曰「置換先」是術曰。 - 吾有一言。曰「「」」。名之曰「返品」。 - 吾有一數。曰二。名之曰「未来」。 - 吾有一數。曰陽。名之曰「実行条件」。 - 凡「文字列」中之「文字」。 - 若「実行条件」者。 - 若「文字」等於「「星」」」中無陰乎「文字列」之「未来」等於「置換対象」者。 - 加「返品」以「置換先」。昔之「返品」者。今其是矣。 - 昔之「実行条件」者。今陰是。 - 若非。 - 加「返品」以「文字」。昔之「返品」者。今其是矣。 - 也。 - 若非。 - 昔之「実行条件」者。今陽是。 - 也。 - 加「未来」以一。昔之「未来」者。今其是矣。 - 云云。 - 乃得「返品」。 + 吾有一言。曰「「」」。名之曰「返品」。 + 吾有一數。曰二。名之曰「未来」。 + 吾有一數。曰陽。名之曰「実行条件」。 + 凡「文字列」中之「文字」。 + 若「実行条件」者。 + 若「文字」等於「「星」」」中無陰乎「文字列」之「未来」等於「置換対象」者。 + 加「返品」以「置換先」。昔之「返品」者。今其是矣。 + 昔之「実行条件」者。今陰是。 + 若非。 + 加「返品」以「文字」。昔之「返品」者。今其是矣。 + 也。 + 若非。 + 昔之「実行条件」者。今陽是。 + 也。 + 加「未来」以一。昔之「未来」者。今其是矣。 + 云云。 + 乃得「返品」。 是謂「置換」之術也。 吾有一言。曰String.fromCharCode名之曰「函数」。 diff --git a/examples/selectionsort.wy b/examples/selectionsort.wy index a3303b4e..624fdb11 100644 --- a/examples/selectionsort.wy +++ b/examples/selectionsort.wy @@ -1,37 +1,37 @@ 吾有一術。名之曰「擇排」。欲行是術。必先得一列。曰「數列」。乃行是術曰。 - 吾有一列。名之曰「答列」。 - 夫「數列」之長。名之曰「度」。 - 為是「度」遍。 - 夫「數列」之一。名之曰「若者」。 - 吾有一數。曰一。名之曰「若者之位」。 - 吾有一數。曰一。名之曰「位」。 - 凡「數列」中之「員」。 - 若「員」小於「若者」者。 - 昔之「若者」者。今「員」是矣。 - 昔之「若者之位」者。今「位」是矣。 - 也。 - 加一於「位」。名之曰「位」。 + 吾有一列。名之曰「答列」。 + 夫「數列」之長。名之曰「度」。 + 為是「度」遍。 + 夫「數列」之一。名之曰「若者」。 + 吾有一數。曰一。名之曰「若者之位」。 + 吾有一數。曰一。名之曰「位」。 + 凡「數列」中之「員」。 + 若「員」小於「若者」者。 + 昔之「若者」者。今「員」是矣。 + 昔之「若者之位」者。今「位」是矣。 + 也。 + 加一於「位」。名之曰「位」。 - 云云。 - 充「答列」以「若者」。 + 云云。 + 充「答列」以「若者」。 - 吾有一列。名之曰「數列新世」。 - 吾有一數。曰一。名之曰「新位」。 - 凡「數列」中之「員」。 - 若「新位」小於「若者之位」者。 - 充「數列新世」以「員」。 - 也。 - 若「新位」大於「若者之位」者。 - 充「數列新世」以「員」。 - 也。 - 加一於「新位」。名之曰「新位」。 + 吾有一列。名之曰「數列新世」。 + 吾有一數。曰一。名之曰「新位」。 + 凡「數列」中之「員」。 + 若「新位」小於「若者之位」者。 + 充「數列新世」以「員」。 + 也。 + 若「新位」大於「若者之位」者。 + 充「數列新世」以「員」。 + 也。 + 加一於「新位」。名之曰「新位」。 - 云云。 - 昔之「數列」者。今「數列新世」是矣。 + 云云。 + 昔之「數列」者。今「數列新世」是矣。 - 云云。 + 云云。 - 乃得「答列」。 + 乃得「答列」。 是謂「擇排」之術也。 diff --git a/examples/serialization.wy b/examples/serialization.wy index e6035ea5..842bac45 100644 --- a/examples/serialization.wy +++ b/examples/serialization.wy @@ -1,41 +1,41 @@ 吾嘗觀「「渾沌經」」之書。方悟「包渾沌」「食渾沌」之義。 吾有一言。曰「「\ - 物\ - 之「名」言「李白」\ - 之「字」言「太白」\ - 之「號」言「青蓮」\ - 之「壽考」數「六一」\ - 之「生年」言「長安元年」\ - 之「卒年」言「上元三年」\ - 之「存詩」數「九〇〇」\ - 之「擅詩」爻「陽」\ - 之「官」物\ - 之「銜」言「翰林」。\ - 之「年」言「天寶元年」。\ - 也\ - 之「名句」列\ - 物\ - 之「題」言「清平調」\ - 之「文」言「雲想衣裳花相容。春風拂檻露華濃。」\ - 也\ - 物\ - 之「題」言「長相思」\ - 之「文」言「長相思。在長安。絡緯秋啼金井闌。微霜淒淒簟色寒。」\ - 也\ - 物\ - 之「題」言「襄陽歌」\ - 之「文」言「落日欲沒峴山西。倒著接蘺花下迷。襄陽小兒齊拍手。攔街爭唱「白銅鞮」。」\ - 也\ - 物\ - 之「題」言「楊叛兒」\ - 之「文」言「烏啼隱楊花。君醉留妾家。博山爐中沉香火。雙煙一氣凌紫霞。」\ - 也\ - 也\ - 之「子女」列\ - 言「伯禽」言「平陽」言「頗黎」\ - 也\ - 也\ + 物\ + 之「名」言「李白」\ + 之「字」言「太白」\ + 之「號」言「青蓮」\ + 之「壽考」數「六一」\ + 之「生年」言「長安元年」\ + 之「卒年」言「上元三年」\ + 之「存詩」數「九〇〇」\ + 之「擅詩」爻「陽」\ + 之「官」物\ + 之「銜」言「翰林」。\ + 之「年」言「天寶元年」。\ + 也\ + 之「名句」列\ + 物\ + 之「題」言「清平調」\ + 之「文」言「雲想衣裳花相容。春風拂檻露華濃。」\ + 也\ + 物\ + 之「題」言「長相思」\ + 之「文」言「長相思。在長安。絡緯秋啼金井闌。微霜淒淒簟色寒。」\ + 也\ + 物\ + 之「題」言「襄陽歌」\ + 之「文」言「落日欲沒峴山西。倒著接蘺花下迷。襄陽小兒齊拍手。攔街爭唱「白銅鞮」。」\ + 也\ + 物\ + 之「題」言「楊叛兒」\ + 之「文」言「烏啼隱楊花。君醉留妾家。博山爐中沉香火。雙煙一氣凌紫霞。」\ + 也\ + 也\ + 之「子女」列\ + 言「伯禽」言「平陽」言「頗黎」\ + 也\ + 也\ 」」。名之曰「李翰林」。 diff --git a/examples/sqrt_newton.wy b/examples/sqrt_newton.wy index 91461bf4..ef724d33 100644 --- a/examples/sqrt_newton.wy +++ b/examples/sqrt_newton.wy @@ -2,7 +2,7 @@ 欲行是術。必先得一數。 曰「試」。 乃行是術曰。 - 有數一。名之曰「甲」。 + 有數一。名之曰「甲」。 有數一。名之曰「乙」。 為是「試」遍。 乘「甲」於「甲」，名之曰「乙」。減「乙」以二，名之曰「乙」 diff --git a/examples/tree.wy b/examples/tree.wy index 979da04e..3b700868 100644 --- a/examples/tree.wy +++ b/examples/tree.wy @@ -17,7 +17,7 @@ 減「向」以零又三分。名之曰「右向」。 乘「長」以零又八分。名之曰「枝長」。 乘「粗」以零又八分。名之曰「枝粗」。 - + 若「枝長」小於五者。乃歸空無也。 施「畫樹法」於「紙」。於「末東」。於「末南」。於「枝長」。於「枝粗」。於「左向」。 diff --git a/examples/tree2.wy b/examples/tree2.wy index d3c5e355..39694231 100644 --- a/examples/tree2.wy +++ b/examples/tree2.wy @@ -36,14 +36,14 @@ 施「占」。乘其以二。加其以三。除其以五。乘其於「長」。名之曰「右枝長」。 乘「粗」以零又八分。名之曰「枝粗」。 乘「向變」以零又九分。名之曰「枝向變」。 - + 有爻陰。名之曰「著花」。 若「枝粗」小於一者。 施「占」。若其小於零又三分者。昔之「著花」者。今陽是矣。云云。 若非。 施「占」。若其小於零又二分者。昔之「著花」者。今陽是矣。云云。 云云。 - + 施「占」。若「著花」者 減「末南」以二。名之曰「苞」。 施「占」。乘其以四。加其以三。名之曰「瓣」 @@ -76,7 +76,7 @@ 施「運筆」於「紙」於「右」於「底」。 施「提筆」於「紙」。 - + 是謂「畫地法」之術也。 diff --git a/examples/zh_sqrt.wy b/examples/zh_sqrt.wy index 105c734f..aeddd294 100644 --- a/examples/zh_sqrt.wy +++ b/examples/zh_sqrt.wy @@ -1,29 +1,29 @@ 吾嘗觀『算經』之書。方悟「取底除」之義。 吾有一術。名之曰「增乘開平方」。欲行是術。必先得一數。曰「實」。乃行是術曰。 - 注曰。『增乘開平方法，以商數乘下法遞增求之。』。 - 吾有四數。名之曰「果」曰「商」曰「餘」曰「廉」。有數一。名之曰「法」。 - 恆為是。施「取底除」於「實」於「法」。若其之『商』小於百者乃止也。 - 乘「法」以百。昔之「法」者。今其是矣云云。 - 恆為是。若「法」不大於零者乃止也。 - 乘「果」以十。昔之「果」者。今其是矣。 - 加「廉」以「商」。乘其以十。昔之「廉」者。今其是矣。 - 施「取底除」於「實」於「法」。名之曰「甲」。 - 昔之「實」者。今「甲」之『商』是矣。 - 昔之「餘」者。今「甲」之『餘』是矣。 - 昔之「商」者。今零是矣。 - 恆為是。加「廉」以「商」。乘其以「商」。若其不小於「實」者乃止也。 - 加「商」以一。昔之「商」者。今其是矣云云。 - 加「廉」以「商」。乘其以「商」。若其大於「實」者。 - 減「商」以一。昔之「商」者。今其是矣云云。 - 加「廉」以「商」。昔之「廉」者。今其是矣。 - 加「果」以「商」。昔之「果」者。今其是矣。 - 乘「商」以「廉」。減「實」以其。乘其以「法」。加其以「餘」。昔之「實」者。今其是矣。 - 施「取底除」於「法」於百。昔之「法」者。今其之『商』是矣云云。 - 注曰。『商第一位。上商得數以乘下法為乘方。命上商除實。上商得數以乘下法入乘方。一退為廉，下法再退。』。 - 注曰。『商第二位。商得數以乘下法為隅。命上商除實訖。以上商乘下法入隅，皆名曰廉。一退，下法再退，以求第三位商。』。 - 注曰。『商第三位。用法如第二位求之。』。 - 乃得 「果」。 + 注曰。『增乘開平方法，以商數乘下法遞增求之。』。 + 吾有四數。名之曰「果」曰「商」曰「餘」曰「廉」。有數一。名之曰「法」。 + 恆為是。施「取底除」於「實」於「法」。若其之『商』小於百者乃止也。 + 乘「法」以百。昔之「法」者。今其是矣云云。 + 恆為是。若「法」不大於零者乃止也。 + 乘「果」以十。昔之「果」者。今其是矣。 + 加「廉」以「商」。乘其以十。昔之「廉」者。今其是矣。 + 施「取底除」於「實」於「法」。名之曰「甲」。 + 昔之「實」者。今「甲」之『商』是矣。 + 昔之「餘」者。今「甲」之『餘』是矣。 + 昔之「商」者。今零是矣。 + 恆為是。加「廉」以「商」。乘其以「商」。若其不小於「實」者乃止也。 + 加「商」以一。昔之「商」者。今其是矣云云。 + 加「廉」以「商」。乘其以「商」。若其大於「實」者。 + 減「商」以一。昔之「商」者。今其是矣云云。 + 加「廉」以「商」。昔之「廉」者。今其是矣。 + 加「果」以「商」。昔之「果」者。今其是矣。 + 乘「商」以「廉」。減「實」以其。乘其以「法」。加其以「餘」。昔之「實」者。今其是矣。 + 施「取底除」於「法」於百。昔之「法」者。今其之『商』是矣云云。 + 注曰。『商第一位。上商得數以乘下法為乘方。命上商除實。上商得數以乘下法入乘方。一退為廉，下法再退。』。 + 注曰。『商第二位。商得數以乘下法為隅。命上商除實訖。以上商乘下法入隅，皆名曰廉。一退，下法再退，以求第三位商。』。 + 注曰。『商第三位。用法如第二位求之。』。 + 乃得 「果」。 是謂「增乘開平方」之術也。 噫。施「增乘開平方」於七萬一千八百二十四。書之。