円周率の計算にマチンの公式というのがあって、次のようなものです。 J言語にo.(オードット)という動詞があって、左側引数の数字でサインとかコサインとかが計算されます。ボキャブラリーを見ると、数字の7をつけるとアークタンジェントの計算ができるらしい…