理論計算機専門のひとが集まる板ってどこなんですか?ここ?