p.14 余弦定理 三角形ABCで2辺の長さb、cとその間の角Aがわかっているとき、残りの辺の長さaを求めることを考える。 APL/J言語は数学表記の革命みたいな面があるので、こういった証明問題もAPL/J言語で表記したい誘惑に駆られるのですが、むずかしいですね。…