갈루아의 반서재

우분투 18.04 장고 설치하기 How to Install Django on Ubuntu 18.04 LTS

아나콘다를 통해 설치되는 버전은 django 2.0.5 이다. 금일 기준 최신 공식버전은 2.0.6 이다 (https://www.djangoproject.com/download/).123456789101112131415161718192021222324252627282930313233343536(redsparrow) fukaerii@server:~$ conda install -c anaconda djangoSolving environment: done ## Package Plan ## environment location: /home/fukaerii/anaconda3/envs/redsparrow added / updated specs: - django The following packages will be..

아나콘다 환경설정 저장하기 Save the Environment with Anaconda

Save the Environment with Anaconda앞선 포스팅에서 아나콘다 가상환경을 새롭게 생성하고, 활성화시켜 필요한 패키지들을 설치하였다. 작업에 들어가기 앞서, 먼저 환경 설정 파일을 프로젝트 폴더 내에 저장해놓을 필요가 있다.이렇게 파일로 환경 설정을 옮겨두면, 프로젝트의 이동성이나 재사용성이 향상되는 결과를 가져온다. yaml 설정 파일을 내보내기 위해 conda export 를 사용해, environment.yaml 라는 이름으로 저장하자.1234(redsparrow) fukaerii@server:/$ cd home/fukaerii(redsparrow) fukaerii@server:~$ conda env export > environment.yaml(redsparrow) fukae..

우분투 18.04 아나콘다 설치하기 How To Install the Anaconda Python Distribution on Ubuntu 18.04

Anaconda 를 설치하는 가장 좋은 방법은 최신판 Anaconda 설치 배시 스크립트를 다운로드 받아 검증 후 구동하는 것이다. Download Anaconda Distribution 에서 파이썬 3 용 최신 버전을 찾을 수 있다. 현재 포스팅 작성 시점 기준에서는 5.30 발표된 5.2 버전이 최신이다. 임시(ephemeral) 아이템을 다운로드받을 /tmp 디렉토리로 변경하자. curl 을 이용하여 다음과 같이 최신판을 /tmp 디렉토리에 다운로드하자.1234:/tmp# curl -O https://repo.continuum.io/archive/Anaconda3-5.2.0-Linux-x86_64.sh % Total % Received % Xferd Average Speed Time Time Tim..

우분투 사용자 추가 - Add user to Ubuntu via command line

커맨드라인에서 사용자를 추가해보자. 터미널을 열고 다음과 같이 사용자이름을 인수로 갖는 adduser 명령을 실행한다. 예를 들어 아래는 fukaerii 라는 사용자 이름을 가진 유저를 생성한다. 패스워드를 제외하고 모든 정보는 선택사항이다. 1234567891011121314151617:~# sudo adduser fukaeriiAdding user `fukaerii' ...Adding new group `fukaerii' (1004) ...Adding new user `fukaerii' (1000) with group `fukaerii' ...Creating home directory `/home/fukaerii' ...Copying files from `/etc/skel' ...Enter new U..

Rufus 를 이용해 윈도우 부팅 USB 만들기

rufus 를 이용해 부팅 가능한 윈도우 USB 를 만들어보자. Rufus 최신버전은 아래 사이트에서 다운로드할 수 있다. 현재 최신 버전은 2.1.8 버전이다. https://rufus.akeo.ie/ 다운로드받은 rufus 를 실행한다. USB 를 꽂으면 아래와 같이 기본 셋팅이 된다. 아래와 같이 원하는 ISO 이미지를 불러온다.여기서는 Windows 7 Professional K SP1 64비트를 선택했다. 시작을 누르면 USB에 부팅 가능한 윈도우가 만들어진다. 해당 USB 내용을 살펴보면 다음과 같다.

선택한 디스크가 GPT 파티션 스타일입니다.

​"이 디스크에 Windows를 설치할 수 없습니다. 선택한 디스크가 GPT 파티션 스타일이 아닙니다”라는 오류 메시지가 표시되는 것은 PC가 UEFI 모드에서 부팅되었지만 하드 드라이브가 UEFI 모드를 지원하도록 구성되지 않았기 때문이다. 이 경우 아래와 같이 처리할 수 있다. GPT 파티션 스타일로 변환(UEFI 모드)하거나, 기본 파티션 스타일인 MBR (레거시 BIOS 호환 모드)로 사용하는 2가지 방법이 있다. 먼저, GPT 파티션 변환은 다음과 같이 할 수 있다. 1) PC를 끄고 Windows 설치 DVD 또는 USB 키를 넣은 후 부팅한다. Esc, F2, F9, F12 등의 키를 눌러서 부팅 메뉴가 표시되면 UEFI 모드의 DVD 또는 USB 키로 부팅한다. 2) Windows 를 설치..

Functional Programming with Haskell - fromTo

정수의 범위로 된 리스트를 생성하는 다음 함수를 보자.123456789 Prelude Data.Char> let fromTo first last = [first..last]fromTo :: Enum t => t -> t -> [t] Prelude Data.Char> fromTo 10 15[10,11,12,13,14,15]it :: (Enum t, Num t) => [t]Prelude Data.Char> Colored by Color Scriptercs cons 연산자를 사용하여 fromTo 의 재귀적 버전을 작성해보자.12fromTo first last | first > last = [] | otherwise = first : fromTo (first+1) lastcs 대체와 다시쓰기를 통해 fromTo..

Functional Programming with Haskell - "cons" lists

대부분의 functional languages 와 마찬가지로, 하스켈의 리스트는 "cons" 리스트이다. "cons" 리스트는 2개의 부분으로 구성된다. head: a valuetail: a list of values (빈 리스트도 가능): ("cons") 연산은 값과 동일한 타입의 값으로 구성된 리스트(혹은 빈 리스트)로부터 새로운 리스트를 생성한다.12345678 Prelude> 5 : [10,20,30][5,10,20,30]it :: Num a => [a] Prelude> :type (:)(:) :: a -> [a] -> [a] cs cons (:) 연산은 값과 리스트로부터 새로운 리스트를 만든다.1234567891011121314151617181920212223242526272829 Prelude..

Functional Programming with Haskell - Strings are [Char]

하스켈에서 문자열은 단순히 문자의 리스트이다. 1234567891011121314151617 Prelude> "testing""testing"it :: [Char] Prelude> ['a'..'z']"abcdefghijklmnopqrstuvwxyz"it :: [Char] Prelude> ["ust","a","test"]["ust","a","test"]it :: [[Char]] Prelude> ["just","a","test"]["just","a","test"]it :: [[Char]] cs 리스트에서 사용가능한 함수는 모두 문자열에서도 사용할 수 있다.123456789101112 Prelude> let asciiLets = ['A'..'Z'] ++ ['a'..'z']asciiLets :: [Char] P..

Functional Programming with Haskell - Comparing lists, Lists of Lists

Comparing lists하스켈 리스트는 값이고, 값으로 비교가능하다. 아래를 보자.12345678910 Prelude> [3,4] == [1+2,2*2]True Prelude> [3] ++ [] ++ [4] == [3,4]True Prelude> tail (tail [3,4,5,6]) == [last [4,5]] ++ [6]True Colored by Color Scriptercs리스트의 비교는 사전 편찬상의 순서를 따른다. 대응되는 원소간의 비교는 서로 다른 것이 나타날 때까지 계속되고, 서로 다른 원소를 비교결과가 그 리스트의 비교 결과가 된다. 123 Prelude> [1,2,3] [1,2,3] [1,2,3] [1,2,3] > [1,2]True Prelude> [1..] let x = [[1],..

Functional Programming with Haskell - Lists basics

하스켈에서 리스트는 같은 타입을 가진 연속된 값을 의미한다. 아래는 리스트는 만드는 간단한 방법으로, 각각의 타입에 주목해서 살펴보자.12345678910111213141516171819 *Main> [7,3,8][7,3,8]it :: Num t => [t] *Main> [1,3,10,4,9.7][1.0,3.0,10.0,4.0,9.7]it :: Fractional t => [t] *Main> ['x', 10] :79:7: No instance for (Num Char) arising from the literal ‘10’ In the expression: 10 In the expression: ['x', 10] In an equation for ‘it’: it = ['x', 10] Colored by C..

Functional Programming with Haskell - Recursion

함수 자신을 직접 또는 간접적으로 호출하는 함수를 재귀함수라고 한다. 정수의 팩토리얼(N!) 을 계산하는 것이 전형적인 재귀의 예시이다. 그럼 이를 하스켈로 작성해보자. 그리고 그 타입이 무엇인지 알아보자. 12factorial n | n == 0 = 1 | otherwise = n * factorial (n-1)cs 1234567891011121314 *Main> :load factorial[1 of 1] Compiling Main ( factorial.hs, interpreted )Ok, modules loaded: Main. *Main> :type factorialfactorial :: (Eq a, Num a) => a -> a *Main> factorial 4081591528324789773434..

Functional Programming with Haskell - Haskell's if-else

하스켈 if-else 의 간단한 예를 보자. 123456 *Main> if 1 a*Main> cs 그럼, 자바에서 어떤가? 자바의 if-else 는 구문이다. 하스켈 if-else 와 유사한 것은 자바의 조건연산자이다. 아래는 자바 조건(삼항) 연산자의 예로, 값의 도출이 필요할 때 사용할 수 있는 expression 이다.11 if 1 a*Main>*Main> :type if 1 *Main> :type if 1 *Main> if 1

Functional Programming with Haskell -Guards

현재까지 살펴본 함수를 정의하는 일반적인 형식은 다음과 같다. let name param1 param2 ... paramN = expression 주어진 3개의 값의 최소값을 계산하는 min3 라는 함수를 정의해보자. Prelude는 min 이라는 함수를 가지고 있다. 이를 이용해서 작성해보자.1234567 Prelude> let min3 a b c = min a (min b c)min3 :: Ord a => a -> a -> a -> a Prelude> min3 5 2 102it :: (Num a, Ord a) => acs Guards아래 함수는 3가지 경우를 대비하여 가드를 사용한 예이다. 123sign x | x smaller 7 107it :: (Num a, Ord a) => a*Main> sma..

Functional Programming with Haskell - Function/operator equivalence CSC 372

하스켈 연산자는 중위폼이 적용된 함수라고 볼 수 있다. 연산자에 대해서 더 알고 싶으면 아래와 같이 :info 를 사용한다.123456 Prelude> :info (^)(^) :: (Num a, Integral b) => a -> b -> a -- Defined in ‘GHC.Real’infixr 8 ^Prelude> Colored by Color Scriptercs여기서 (Num a, Integral b) => a -> b -> a 가 의미하는 것은 첫 번째 피연산자는 number 이고 두 번째는 integer 여야 한다는 것이다. infixr 8 의 의미는 right-associative 이고, 8의 우선순위를 갖는다는 의미이다. 하스켈 연산자의 우선순위에 대해서는 아래를 참조한다.Precedence..

Functional Programming with Haskell -Specifying a function's type and indentation

Key points: • Integer -> Char -> Char 와 같은 타입을 가진 함수의 경우, Integer 과 Char 라는 2개의 인수를 갖고, Char 를 결과로 반환한다. • f x y z 와 같은 함수 콜이 의미하는 것은 ((f x) y) z 이고 개념적으로는 2개의 이름없는 임시함수가 생성된다. • 요구되는 것보다 적은 인수로 함수를 호출하면 partial application 이 생성된다. Specifying a function's type 함수의 정의와 함께 함수의 타입을 특정하는 것이 일반적이다. Continuation with indentation 하스켈 소스 파일은 연속되는 선언의 모음이나 마찬가지다. 아래 2개의 선언을 포함한 파일을 살펴보자. 12345 (blackbria..

Functional Programming with Haskell - Functions with multiple arguments

2개의 인수를 가지고 합을 구하는 함수가 있다.1234567Prelude> let add x y = x + y ::IntegerPrelude> add 3 58 Prelude> :type addadd :: Integer -> Integer -> Integer Colored by Color Scriptercs -> 연산자는 right-associative 이므로, 위의 의미는 아래와 같다.add :: Integer -> (Integer -> Integer) 이것은 무슨 의미인가? negate 함수를 다시 떠올려보자. 12Prelude> let neg x = -x ::Integerneg :: Integer -> Integercs여기서 다시 add 를 등장시키자. 우선 순위를 보여주기 위해서 괄호를 이용하자.1..

Functional Programming with Haskell - Loading functions from a file

함수의 정의를 파일에 넣어서 사용할 수 있다. 이 경우 let 은 불필요하다. simple.hs 파일에 아래와 같이 4개의 함수를 입력하고 저장하자. .hs 확장자는 반드시 필요하다. simple.hs1234double x = x * x ::Integerneg x = -x::IntegerisPositive x = x > (0::Integer)toCelsius temp = (tem[ - 32) * 5/(9::Double)cs 다음과 같이 커맨드라인에서 해당 파일의 내용을 확인해보자. 12345(blackbriar) root@gcloudx:~/blackbriar# cat simple.hsdouble x = x * x ::Integerneg x = -x::IntegerisPositive x = x > (0::..

Functional Programming with Haskell - Simple functions

그럼 간단한 함수를 작성해보자.1234567891011121314151617181920Prelude> let double x = x * 2double :: Num a => a -> a Prelude> :t doubledouble :: Num a => a -> a Prelude>Prelude> double 510it :: Num a => a Prelude> double 2.75.4it :: Fractional a => a Prelude> double (double (double 111111111))888888888it :: Num a => aPrelude> Colored by Color Scriptercs좀 더 예를 살펴보자.12345678Prelude> let neg x = -xneg :: Num a =..

Functional Programming with Haskell - Type classes

Type classes하스켈 타입의 예를 들어보면, Bool, Char, 그리고 Integer 등이 있다. 그리고 하스켈은 type classes 도 가지고 있다. 타입 클래스는 해당 타입이 그 타입 클래스의 멤버이기 위해 그 타입이 갖추어야하는 작동을 특정한다. Num 은 Prelude 에서 정의된 많은 타입 클래스 중의 하나이다. :info Num 을 통해 살펴보면, 타입이 Num 이 되기 위해서는 덧셈, 뺄셈, 곱셈, 그리고 4가지 기능(negate, abs, signNum, fromInteger)을 지원해야 한다. 그리고 Prelude 는 Num 타입 클래스의 4가지 인스턴스를 정의하고 있는데, Int(word-size), Integer (unlimited size), Float 그리고 Doubl..

하스켈 모듈 언로딩 How to go back to prelude> in ghci

ghci 에서 특정 모듈을 로딩한 후 다시 해제할 때는 다음과 같이 :m 명령어를 사용하면, 로딩되었던 임의의 모든 모듈을 언로드시킬 수 있다. 123Prelude> :m Data.CharPrelude Data.Char> :mPrelude>cs 또는 다음과 같이 :m - 구문으로도 언로드 할 수 있다. 123Prelude> :m NumericPrelude Numeric> :m -NumericPrelude>cs https://stackoverflow.com/questions/9305366/how-to-go-back-to-prelude-in-ghci

Functional Programming with Haskell - Function types

하스켈의 Data.Char 모듈에는 문자를 다루는 다수의 함수가 포함되어 있다. 먼저 :m Data.Char 과 같이 해당 모듈을 로딩한다.1234567891011121314151617Prelude> :m Data.Char Prelude Data.Char> isLower 'b'Trueit :: Bool Prelude Data.Char> toUpper 'a''A'it :: Char Prelude Data.Char> ord 'A'65it :: Int Prelude Data.Char> chr 66'B'it :: Charcs아래와 같이 모듈명을 붙여서(with a qualified name) 참조할 수도 있다.123Prelude> Data.Char.ord 'G'71it :: Intcs함수의 타입을 알아보기 위해..

Functional Programming with Haskell - Calling functions

하스켈에서 juxtaposition 는 함수호출을 나타낸다. 아래와 같은 함수들은 이미 ghci 가 시작될 때 로딩되는 Haskell "Prelude" 에 정의되어 있다. 아래 링크에서 추가적인 함수들을 살펴볼 수 있다.http://zvon.org/other/haskell/Outputprelude/index.html 123456789101112131415Prelude> negate 3-3it :: Num a => a Prelude> even 5Falseit :: Bool Prelude> pred 'C''B'it :: Char Prelude> signum 21it :: Num a => acsnegate change the sign of the number.even returns True if the int..

Functional Programming with Haskell - 패러다임

1962년 토마스 쿤의 저서 에서는 패러다임을 아래와 같은 과학적 성과로 기술하고 있다. 그리고 그러한 성과의 예로, 뉴튼의 프린키피아, 라부아지에의 화학 등을 들고 있다. • "...sufficiently unprecedented to attract an enduring group of adherents away from competing modes of scientific activity."• "...sufficiently open-ended to leave all sorts of problems for the redefined group of practitioners to resolve." 패러다임은 문제를 이해하고 푸는데 필요한 개념적 프레임워크를 제공해준다. 그리고 패러다임은 문제를 해결하는데 ..

Functional Programming with Haskell - Interacting with Haskell

본격적인 내용에 앞서 사용중인 운영체제에 맞게 아래에서 다운로드하여 설치한다.https://www.haskell.org/downloads 설치 후 CMD, BASH 또는 WinGHCi, GHCi 에서 ghci 를 실행한다. 123root@gcloudx:~# ghciGHCi, version 7.10.3: http://www.haskell.org/ghc/ :? for helpPrelude> Colored by Color Scriptercs 표준 프롬프트는 Prelude> 이다. 아래와 같이 프롬프트를 설정할 수도 있다.1234567root@gcloudx:~# ghciGHCi, version 7.10.3: http://www.haskell.org/ghc/ :? for helpPrelude> :set promp..

Haskell_007 Where

Since we repeat the same expression three times, it would be ideal if we could calculate it once, bind it to a name and then use that name instead of the expression. bmiTell :: (RealFloat a) => a -> a -> String bmiTell weight height | bmi

Haskell Operators and other Lexical Notation

Haskell_006 Guards

Guards are a way of testing whether some property of a value (or several of them) are true or false. We're going to make a simple function that berates you differently depending on your BMI.bmiTell :: (RealFloat a) => a -> String bmiTell bmi | bmi

Haskell_005 Pattern matching

1. Pattern matching consists of 1. specifying patterns to which some data should conform2. checking to see if it does 3. deconstructing the data according to those patterns When defining functions, you can define separate function bodies for different patterns. 2. You can pattern match on any data type — numbers, characters, lists, tuples, etc. 3. Order is important when specifying patterns and ..

Haskell_004 Some basic typeclasses - Eq, Ord, Show, Read, Enum, Bounded, and Num

Eq and Ord Eq is used for types that support equality testing. The functions its members implement are == and /=. ghci> 5 == 5 True ghci> 5 /= 5 False ghci> 'a' == 'a' True ghci> "Ho Ho" == "Ho Ho" True ghci> 3.432 == 3.432 True Ord is for types that have an ordering. Ord covers all the standard comparing functions such as >, = and :t (>) (>) :: (Ord a) => a -> a -> Bool The compare function tak..