隠蔽エルブラン定理とか

エルブラン定理関係で、結局一番短い、

• Title: A Hidden Herbrand Theorem (1998)
• Authors: Joseph Goguen, Grant Malcolm, Tom Kemp
• URL: http://citeseer.ist.psu.edu/293075.html
• 18ページ

これにした。

まず、隠蔽ソートって用語はよくないと思った。これは状態（state）ソートと呼ぶべきだろう。隠蔽だとprivateと間違われる。情報隠蔽とは無関係だ！

• 隠蔽ソート： 状態ソート、観測不可能ソート、オブジェクト・ソート
• 可視ソート： 値ソート、観測可能ソート、基本ソート

状態ソートと値ソートがいいような気もする。オブジェクト・ソートと基本ソートも馴染みがあっていいかな。