論理学数学詳しい奴頼むで