Filtering for "Info"

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