訂正を提案 · logicx-analyzer