난 단기라고 하기는 애매한데 generalized stokes theorem 증명하는거 전체적인 다양체에 대해
내년 말까지는 달성하고 싶음 지금 한참 위상수학 해석학 공부중인데
졸업
22
33
연구주제임?
연구주제라기보다는 공익생활내에 이거는 이해하고 싶은거
연구실 진학이요
이번학기 생존하기
메타매스(Metamath) 기반의 새 증명 보조기로 명제 논리를 기존과 다르게 형식화하기. 컴퓨터 과학을 배우느라 시간이 많이 걸리네.
그건 위상해석 안봐도 할수 있는건뎅
졸업
22
33
연구주제임?
연구주제라기보다는 공익생활내에 이거는 이해하고 싶은거
연구실 진학이요
이번학기 생존하기
메타매스(Metamath) 기반의 새 증명 보조기로 명제 논리를 기존과 다르게 형식화하기. 컴퓨터 과학을 배우느라 시간이 많이 걸리네.
그건 위상해석 안봐도 할수 있는건뎅