説明可能で堅牢な推論のための形式知識増強型言語モデル | Synapse