Miscellaneous

• I am collecting mathematician story.
• My footprints related to LaTeX (can be found on the Internet)
  • I was a technical editor of ICM Proceedings 2014 which can be found in pdf files in IMU homepage.
  • My name was written in the acknowledgement of Sobolev and Viscosity Solutions for Fully Nonlinear Elliptic and Parabolic Equations written by N. V. Krylov.
  • I gave several online lectures on Youtube (in Korean) link. Lecture notes can be found in ‘Notes’ page.
• Lean
  • Palomar Registry
  • Visual Paper
  • Natural Number Game
  • Tau Ceti
  • Landau Damping
  • Formalising Linear Elliptic PDE Theory in Lean 4
  • Hexagon Math
  • Guide to using Lean
• Others
  • CVGMT
  • MathSciNet
  • Julia Julia textbook NeuralPDE Julia Calculus
  • Brown University SIAM Student Chapter
  • Stupid Mathematics Seminar in Korea (I am a founder of this seminar)
• My favorite quotes
  • Infatti nessun uomo può parlare con competenza della sapienza, ma d’altra parte tutti sono chiamati a ricercarla; nessuno può aspirare al titolo di sofologo, tutti e in special modo coloro che insegnano materie scientifiche, devono aspirare al titolo di filosofo, persona che ama la sapienza con molta semplicità, modestia e ne riconosce il grande valore. (Ennio De Giorgi) / No one can speak about wisdom as an expert, yet everyone is called to seek it. No one may claim to be a master of wisdom; rather, all of us, and above all those who teach the sciences, should strive to be philosophers: people who love wisdom with simplicity and humility, and who recognize its great worth. (Claude translation)
  • 꼰대란 별게 아니다. 끊임없이 내 언어로만 이야기하는 사람이다. (인남식 교수) / A stubborn person is nothing special — it’s simply someone who insists on speaking only in their own language
  • 희망을 버려. 그리고 힘내 (사이보그지만 괜찮아, 박찬욱-정서경) / Let your hope go, and cheer up. (I’m a cyborg but that’s ok” written by Chanwook Park and Suhkyung Seo-kyung Chung)
  • I don’t need a life that’s normal. That’s way too far away. But something next to normal… would be okay. Yeah, something next to normal, that’s the thing I’d like to try. (Next to normal, Brian Yorkey)
  • The opposite of war is not a peace, it’s creation (Jonathan Larson)
  • 不爲也, 非不能也 (孟子) / A lack of effort, not a lack of ability. (Mencius) translation source
  • It is not only courage to boldly jump into a dangerous place. It is also courage to ignore the strong temptation to jump in and go on my own path silently. It is foolish to react immediately when a reverse flow occurs in a forward flow. Maintaining your current flow when your opponent has reversed flow becomes countercurrent from the opponent’s point of view. Therefore, the attitude of maintaining my flow without wavering is the best defense and offensive means. (Changho Lee, one of the best “baduk(Go)” player) [translated by Google]
• Some random footprint in the internet
  • When I was young, I made a train simulator addon based on the program Bve Transim 4.
• Some random quote made by me? (Usually I do this joke when I teach proof by a contradiction)