Pensieve Books, Programming

29 Jun 2021
IPython, Windows Terminal, Vi 키 바인딩
1. Install IPython with pip PS > python3 --version Python 3.9.5 PS > pip3 install ipython 2. Vi key bindings for IPython PS > ipython...
23 Dec 2019
이인석 <선형대수와 군>
목차 Introduction 연습문제 3.5.6 (2020-01-02) 정리 4.5.3(Rank Theroem) “꿈 속의 증명”의 Gap 메우기(2020-01-03) 1. Introduction “이인석 선형대수와 군”은 서울대학교 수리과학부 학부생들이 선형대수학을 배울 때 사용하는...
30 Jul 2019
OpenMPI는 RUNPATH 사용을 강제한다
$ cat foo.cpp void foo() { } $ cat main.cpp void foo(); int main() { foo(); } $ g++ -shared -o libfoo.so -fPIC foo.cpp $...
05 Jul 2019
Jetson AGX Xavier에 CNTK 2.7 C++ 라이브러리 설치하기(TX2 추가)
이 포스트에서는 Jetson AGX Xavier(이하 Xavier)에 CNTK 2.7 C++ 라이브러리를 설치하는 방법을 설명하겠습니다. 이 포스트는 공식 CNTK 사이트의 Setup CNTK on Linux 문서를 참조하였습니다. 또한...
03 Jun 2019
여러가지 DL 라이브러리를 도커(Docker)에서 세팅해보기
Build MXNet 1.4.1 with C++ API on Ubuntu 16.04 with CUDA 10.1 & cuDNN7.5.1 1. Run a New Docker Container docker run --runtime=nvidia -dit --name...
28 Dec 2018
The Linux Programming Interface 42장 연습문제 풀이
42-1. Write a program to verify that if a library is closed with dlclose(), it is not unloaded if any of its symbols are used...
11 Oct 2018
라이브러리 배포 과정에서 알아두면 좋을 링커 옵션
이 포스트에서는 링커 ld(1) 가 제공하는 수많은 옵션들 중 라이브러리 배포 과정에서 요긴하게 활용할 수 있는 몇 가지 옵션들에 대해 알아보겠습니다. 다음은 분석을 진행할 옵션들의...
30 Aug 2018
컴퓨터 프로그래밍의 예술 연습문제 2.2.6.6
  이 포스트에서는 컴퓨터 프로그래밍의 예술 2장 2.6절의 연습문제 6번에 대한 풀이과정을 설명하겠습니다. 먼저 풀이에 반복적으로 사용될 두 가지 규칙을 설명하겠습니다. 첫 번째 규칙은 다음과...
14 Jul 2018
Boost.Interprocess 객체의 인스턴스는 언제 해제되는가?
C++ 프로그램에서 프로세스 간 통신(IPC, Inter-Process Communication)을 위해 boost::interprocess에서 제공하는 객체(Object)들을 사용하게 되었습니다. 프로세스 간 공유 메모리(Inter-Process shared memory)나 프로세스 간 뮤텍스(Inter-Process Mutex)를 사용하려고 하다보니,...
29 May 2018
Hacking OpenCV (Eng)
This post will show a subtle bug in OpenCV. In this post, version 3.4.1, which is the latest released version at the time of writing,...
20 Apr 2018
Jetson TX1에 CNTK 2.5 설치하기
NOTICE: The English version of this manual is on the README.md page of my forked repository of CNTK at GitHub. 이 포스트에서는 Jetson TX1에 CNTK...
11 Apr 2018
컴퓨터 프로그래밍의 예술 연습문제 1.1.7
  이 포스트에서는 컴퓨터 프로그래밍의 예술 1장 1절의 연습문제 7번에 대해서 분석해본 내용을 설명하겠습니다. 파트1 \(U_m\)에 대해 생각하기에 앞서 본문에서 소개되는 \(T_n\)에 대한 다음 명제에...
13 Feb 2018
Vim Search and Replace 패턴
Vim은 search and replace 기능을 위해 :s(substitute) 명령을 제공한다. 검색하고자 하는 패턴, 바꾸고자 하는 패턴이 복잡할 때는 :s 명령어도 복잡해진다. 이 포스트에서는 예제를 활용해 패턴을...
15 Dec 2017
Jetson TX1에 Swap 공간 설정하기
(2018-04-13 내용 추가) 이 포스트는 본래 JetPack의 최신 버전이 3.1일 때를 기준으로 작성되었습니다. JetPack 3.1에 포함된 L4T 28.1은 Swap 기능이 비활성화된 채로 배포되기 때문에 L4T...
23 Nov 2017
Jetson TX1에 CNTK 2.1 Evaluation 라이브러리 설치하기
이 포스트에서는 Jetson TX1에 CNTK를 이용한 모델 evaluation에 필요한 라이브러리들을 설치하는 방법을 설명하겠습니다. 전체 소요 시간은 약 2시간입니다. 이 포스트는 공식 CNTK 사이트의 Setup CNTK...