メモメモ implicit / explicit
<- https://tour.golang.org/methods/5
Interfaces are satisfied implicitly
explicit ; 陽関数
陽表式と陰伏式
多変数方程式がいくつかの関数関係を定義することもある。例えば
のような式が与えられているとき、x と y は独立に別々の値をとることはできない。x に勝手な値を与えるならば、y は x の値のよってとりうる値の制約を受けるからである。このことを以って、独立変数 x と従属変数 y が対応付けられると考えるとき、方程式 F(x, y) = 0 は x の関数 y を陰 (implicit) に定めるといい、y を x の陰伏関数または陰関数 (implicit function) という。これに対して、y = f(x) と表されるような関数関係を、y は x の陽関数 (explicit function) である、あるいは y は x で陽 (explicit) に表されているなどと言い表す。