오늘의 계산 03

위상수학 공부하던 도중 심심해서 샤샤샥 계산해봤습니다.

$$ \int_{0}^{1} \sqrt{1 - t^2} \, \log t \, \mathrm{d}t = -\frac{\pi}{8}(1 + \log 4) $$