エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2005-01-14から1日間の記事一覧

因数分解

ですが、左辺を右辺の形にすることを因数分解といいます。 2次方程式 は ですから、この方程式の左辺に x = 3 を代入すると となって、x = 3 はこの方程式の解ということがわかります。 この方程式の左辺に x = 2 を代入すると となって、x = 2 もこの方程式…