2018-01-29 coherence axiom 多義語 文言正規表現 coherence {axiom | equation | relation | identity | constraint | law} {一貫性 | 整合性}{公理 | 等式 | 関係 | 恒等式 | 制約 | 法則}