Filtering for "Info"

• 26 Sep, 2025 수학과 AI
• 12 Sep, 2025 Lean
• 16 Jun, 2025 PLDI 2025
• 06 Feb, 2025 수치해석 라이브러리의 정확성을 각잡고 증명할 DSL의 필요성 - 이원열 교수님 (포항공대)
• 05 Feb, 2025 AI 연구의 문제: '요구공학적 프로세스'의 부재 - 이석원 교수님 (아주대)
• 25 Jun, 2024 Linux 명령어
• 10 May, 2024 단축키
• 22 Apr, 2024 Obsidian
• 27 Oct, 1999 내 CV (자기소개서)