これまでの http://d.hatena.ne.jp/ehito/20131206 および http://d.hatena.ne.jp/ehito/20131208/1386469586 では，前回の（１）を利用した訳ですが，以下では（２），つまり，まず，その「定数」をaのサンプルに対する関数値として得た後，任意のaに対して…

（１）値域がシングルトンになる ∃c(∃x(x∈D→f(x)=c))（２）ある関数値と任意の関数値が等しい ∃x(x∈D∧∀y(y∈D→f(x)=f(y)))（３）任意の２つの関数値が等しい ∀x(∀y(x∈D∧y∈D→f(x)=f(y)))特に値域が全順序集合の場合，その（４）最大元と最小元とが等しい（５）…

http://code.google.com/p/mecab/ https://code.google.com/p/cabocha/ を使うとデフォルトでもこんなことが出来るんですね．．．私の知らない世界です．入力 aを正の定数とする．実数x,yが■を満たすとき，▲の最小値を求めよ． 出力 * 0 3D 0/1 1.651767 a …

現在のいわゆるSymbolic QEで扱えるのは原理的に多項式のみです（Mathematicaのような根号を受け付けてくれるものでも内部で書き直しています）． なら入力の時点から多項式にしておきましょう．という方針でやってみます．問題は http://www.yozemi.ac.jp/n…