2019年9月29日午前8時31分59秒

一つの機能：一つのパラメータのみ;
バイナリー機能：二つのパラメータがあり、
1位の述語：ブール戻り値は、モノタイプの関数である。
バイナリ述語：戻り値のbool型はバイナリ関数です。