単語帖_RFC，kerberes，3-LISP､項書換え系