2011-05-31から1日間の記事一覧

REDUCE での三角関数

REDUCE は三角関数の公式を自動的に適用してくれない。 公式を使いたい時には、where と => を使って代入を指定する。 下記の例における、~(チルダ、なみなみ)は REDUCE で「すべての」の意味である。 (sin(a+b)+cos(a+b))*(sin(a-b)-cos(a-b)) where cos(~x…

国際戦犯法廷

セルビアの誰かが捕まって、国際戦犯法廷に引渡されたというニュースをテレビで見て、そんなわけのわからない裁判所があるのかっ! と思って調べたら、わたしが思っているようなものではなかったので書いておきます。 いわゆる政治的模擬法廷(民衆法廷)では…