Info on Park, Geon (re-st)

Lean

Fri, 12 Sep 2025 15:14:57 +0900

(강연 요약) 수치해석 라이브러리의 정확성을 각잡고 증명할 DSL의 필요성 - 이원열 교수님 (포항공대)

Thu, 06 Feb 2025 16:10:00 +0900

연구 소개: 연속적인 값 (Continuous Computation)의 정확성

저는 프로그램과 계산의 수학적인 성질에 관심이 많습니다. 특히 프로그램이 수학적으로 정확한지 (Correctness), 그리고 효율적인지, 이론적 한계는 무엇인지 등을 연구합니다.

제가 주로 다루는 프로그램은 여기 계신 많은 분들과 달리, 연속적인 (continuous) 값을 다룹니다. (예: 2.8, 3/7, $\sqrt{5}$) 이런 값들에 더하기, 곱하기, $\sin$ 등의 연산을 적용하는 계산이죠.

이러한 연속적인 계산은 머신러닝, 최적화, 컴퓨터 그래픽스, 과학 컴퓨팅 등 사실상 CS 전반에서 엄청나게 많이 사용되고 있습니다.

연속적인 계산의 시작: 앨런 튜링

앨런 튜링 (Alan Turing) 은 1936년 논문 “On Computable Numbers“을 발표합니다.

(강연 요약) AI 연구의 문제: '요구공학적 프로세스'의 부재 - 이석원 교수님 (아주대)

Wed, 05 Feb 2025 23:00:00 +0900

Requirements Engineering (요구학, 요구공학)의 정의

요구공학은 두 가지 핵심 목표를 가집니다.

목적 (Fitness Quality)에 맞는 시스템 개발
유지보수 되는 시스템 개발

최근 시대상에 따라, 시스템이 ‘어떻게’ 개발되는가 (개발 과정)에 대한 요구 또한 커지고 있습니다.

AI 연구의 문제: ‘요구공학적 프로세스’의 부재

AI 모델의 학습 데이터 (training data)를 수집할 때, 명확한 ‘요구조건’ 을 가지고 모으는 사람이 없습니다.
그 데이터가 어떤 이해관계자 (state holder)의 어떤 책임 (responsibility)에 기반한 것인지, 혹은 그 데이터를 제공한 ‘전문가’ (expert)가 누구인지에 대해 관심이 없습니다.

Collective Intelligence (CI)와 데이터 품질

데이터의 요구조건에 대한 개념이 바로 Collective Intelligence (CI) 입니다.

Linux 명령어.md

Tue, 25 Jun 2024 20:07:05 +0900

공부하기

(북마크) Bandit 게임 서버

!의 사용

!echo:p 명령어는 Bash 히스토리 확장에서 특정 패턴과 일치하는 마지막 명령어를 찾고, 해당 명령어를 출력하는 데 사용된다.
만약 이를 실행하고 싶다면, !echo를 사용하면 된다.
!3은 히스토리에서 3번째 명령어가 실행된다.

$!

가장 최근에 백그라운드에서 실행한 작업의 프로세스 ID를 나타냅니다.

1python your_script.py & sleep 10; kill $!

htop

htop -u : 내 프로세스만 보기
TIME+: 프로세스가 프로세서를 사용한 시간 (그래서 1h이상이면 긴 거여서 빨개짐)
COMMAND: 프로세스 시작에 사용한 명령어

cd의 사용

cd -: 이전 폴더로

단축키.md - Logs

Fri, 10 May 2024 20:47:11 +0900

윈도

캡처하기 Win + Shift + S
터미널 창 나누기 Alt Shift + (우) - (하)
터미널 커서 Alt 상하좌우
터미널 크기 Alt Shift 상하좌우
터미널 모두 닫기 Ctrl Shift w
터미널에서 우분투 열기 Ctrl Shift 5

VSCode

copilot Ctrl Enter
최근 창 보기 Alt f + r
폴더 클릭 후 폴더 내 검색 Shift Alt f
새 탭 Ctrl Shift space로 선택. Ctrl Shift tab로 기본창

Obsidian

옵시디언 단축키
링크 이동 - Ctrl Enter : 새창. Alt Enter : 같은창. Ctrl Alt <- 뒤로. -> 앞으로.

내 단축키 설정

윈도

캡처폴더 Ctrl + Alt + S (내가 지정)
Welcome-KAIST CA(num7)
procorn (num8)
내 핫스팟 (num9)

옵시디언

템플릿 삽입 단축키 데일리 노트 단축키

Obsidian.md

Mon, 22 Apr 2024 20:47:59 +0900

템플릿

설정 > Community plugins > browse > Templates 설치
설정 > Templates > Template folder location 지정
방금 설정한 폴더에 템플릿 파일 생성
앞으로 아무 노트에서나, Ctrl P > Templates: Insert template

템플릿 예시

1# {{date:YYYY-MM-DD}}
2## 할 일
3- [ ] 출근

미술

ㅁㄴㅇㄹ

asdf

바탕화면에 Obsidian 바로가기 만들기

내 Obsidian 플러그인

내 스케쥴.md

Fri, 02 Feb 2024 20:32:36 +0900

My worktime schedule

내 CV (자기소개서).md

Wed, 27 Oct 1999 23:59:59 +0900

My Curriculum Vitae

ProsysLab.md - Logs

Mon, 01 Jan 0001 00:00:00 +0000

행정

팁

산출물

내 주간 글쓰기
ProsysLab Google Drive 구글 드라이브 연구노트
공개 연구: Drake (Prosyslab) / Bayesmith / TurboTV / Optimuzz / UnitCon / VeriSafe Agent / Expecto (연구)
미공개 연구: Topuzz / haechi

인원, 역사

교수: 231_허기홍 교수님 / RnDCircle - 허기홍 교수 연구실
박사: 김태은 / 류연희 / 장수진
석사졸업: 김현수 / 권승완 / 박종찬 / 김재호 / 이창공 / 권재성
석사: 이동재 / 박건 <– 나! / 장재훈 / 장봉준
인턴완료: tanapoom / 이희원
탈주한 사람: 인턴 권수빈 / 한석휘 / 석사 신현수 / 류혜원 / 박해준 / 박민솔
기타: 이호준
Prosyslab은 언제 시작한 건가