プログラマーに記号論理や集合論って必要なんですか？