13:44 「健全な批判勢力」の健全の定義ってなんだろうか。ちなみにwkipediaによると「妥当な論理式（あるいは恒真式）のみを証明する」とのこと。（論理体系における証明の場合)。よくわからなかった。 04:38 エイプリルフールか？http://news.searchina.ne.…