LLMは苦手なのはアドホックじゃなくて論理的厳密性だろ