御犬は fj.sci.math から sci.math, sci.logic に軸足を移しだしてる感じがするが、どうか？