lean4-logicのメモ