Posts

전산

전산에 관한 잡다한 글을 씁니다

• 소인수분해 알고리즘(Pollard-(p-1), Pollard-rho, Dixon's Random Square) - 27 May 2020
• 이산 로그 문제(DLP)에 대한 알고리즘(Shanks, Pollard-rho, Pohlig-Hellman) - 08 May 2020
• Möbius 함수의 정의와 활용 - 31 March 2019
• Coq 02 - 자연수 덧셈의 결합법칙 증명 - 08 January 2018
• Coq 01 - Introduction - 04 January 2018
• 소수 판별 튜링머신 - 05 August 2017

근황

요새는 이렇게 살고 있습니다

• 2023년도 후기 - 기타(ETC) 편 - 31 December 2023
• 2023년도 대회 후기 - 알고리즘(PS) 편 - 30 December 2023
• 2023년도 대회 후기 - 해킹(CTF) 편 - 30 December 2023
• 구글, "코드잼 서비스를 종료합니다" - 06 June 2023
• 2022년도 대회 후기 - 알고리즘(PS) 편 - 31 December 2022
• 2022년도 대회 후기 - 해킹(CTF) 편 - 31 December 2022
• 2022 현대모비스 알고리즘 경진대회 후기 - 17 July 2022
• 새 맥북프로 생긴 후기(feat. Softeer) - 20 January 2022
• 2021년도 대회 후기 - 알고리즘(PS) 편 - 01 November 2021
• 2021년도 대회 후기 - 해킹(CTF) 편 - 30 October 2021
• Code Jam Kickstart 2021 Round E 후기 - 14 September 2021
• 공군 사이버전사 경연대회 후기 - 15 August 2021
• 2020년도 대회 후기 - 18 November 2020
• Facebook Hacker Cup 2020 후기 - 30 August 2020
• Google Code Jam 2020 후기 - 11 June 2020
• 리디북스 페이퍼 프로(Ridi Paper Pro) 사용기 - 18 May 2020
• Facebook Hacker Cup 2019 후기 - 14 July 2019
• Google Code Jam 2019 후기 - 11 June 2019
• FireEye Cyber Defense Live 2019 Seoul 후기 - 28 April 2019
• Code Jam Kickstart 2019 Round B 후기 - 21 April 2019
• Code Jam Kickstart 2019 Round A 후기 - 25 March 2019
• Codeforces 오렌지(Master) 달성 - 24 February 2019
• 이데일리 Coding Challenge 후기 - 07 November 2018
• Code Jam Kickstart 2018 Round G 후기 - 23 October 2018
• Facebook Hacker Cup 2018 후기 - 05 August 2018
• Code Jam Kickstart 2018 Round D 후기 - 03 August 2018
• Code Jam Kickstart 2018 Round C 후기 - 27 May 2018
• SCPC 2017 후기 - 19 August 2017

자습

어디가서 학과 이름 말할 수 있을 때까지

• [PyTorch] 06. wandb로 학습 진행상황 로깅하기 - 12 February 2022
• [PyTorch] 05. data.Dataset으로 나만의 Dataset 클래스 만들기 - 09 February 2022
• [PyTorch] 04. validation phase를 추가해 train_model() 함수 작성하기 - 07 February 2022
• [ML] Knockoff Net: 랜덤한 입력으로 다른 모델을 모방할 수 있을까? - 03 November 2019
• [PyTorch] 03. torch.nn 모듈 조립으로 CNN 만들기 - 25 August 2019
• [PyTorch] 02. nn.Module로 모델 클래스 만들기 - 20 August 2019
• [PyTorch] 01. PyTorch의 기본 구조 - 18 August 2019
• [Coq 입문] Ch04. Polymorphism & Higher-Order Functions (2) - 27 February 2019
• [Coq 입문] Ch04. Polymorphism & Higher-Order Functions (1) - 17 February 2019
• [Coq 입문] Ch03. Working with Structured Data (2) - 11 February 2019
• [Coq 입문] Ch03. Working with Structured Data (1) - 09 February 2019
• [Coq 입문] Ch02. Proof by tactics (2) - 03 February 2019
• [Coq 입문] Ch02. Proof by tactics (1) - 01 February 2019
• [Coq 입문] Ch01. Functional Programming in Coq (2) - 31 January 2019
• [Coq 입문] Ch01. Functional Programming in Coq (1) - 29 January 2019
• [Coq 입문] Ch00. Overview - 28 January 2019

잡담

이런저런 생각들

• 코딩에서 답지를 보는것에 대한 개인적인 생각 - 19 April 2019