ONE MAN GAME DEV

와 이거 개념 ㅠ.ㅠ 뭔소리 하는지 이해하기 왤케 힘들지;;; 여기 따라하는 중 -> https://rinthel.github.io/rust-lang-book-ko/ch02-00-guessing-game-tutorial.html 이 언어의 모든 특징을 다 설명해주려고 하는 느낌이라서 뇌가 폭발하는 것 같다. 내가 이렇게 밥보였구나. ㅠ.ㅠ; 근데 두시간 동안 저 한챕터만 끙끙 싸메고 있어보니까 쬐애끔 알것 같긴하다. 그냥 다시 C/C++ 공부할까...? extern crate rand; use std::io; use std::cmp::Ordering; use rand::Rng; fn main() { println!("Guess the number!"); let secret_number = rand::th..

유니티와 언리얼 엔진 때문에 비주얼 스튜디오 2017를 사용했고, 그래서 Visual Rust 사용해보려다가 VS Code가 더 쓰기 편하다는 이야기들이 있어서 VS Code를 사용해보기로 했다.VS Code 설치 - https://code.visualstudio.com/Visual Studio Code - Code Editing. RedefinedVisual Studio Code is a code editor redefined and optimized for building and debugging modern web and cloud applications. Visual Studio Code is free and available on your favorite platform - Linux, macO..

러스트의 헬로 월드. 컴파일은-rustc helloworld.rs실행은-helloworld.exe불편 ㅋㅋㅋ 빨리 IDE를 설치하자!

우왕 선지자들이 계신다! 한국 러스트 사용자 그룹 - https://rust-kr.org/ 러스트 프로그래밍 이북 페이지를 한글로 번역해놓은 페이지가 있다. 영문 - https://doc.rust-lang.org/book/ 한글 - https://rinthel.github.io/rust-lang-book-ko/ The Rust Programming Language - The Rust Programming Language by Steve Klabnik and Carol Nichols, with contributions from the Rust Community This version of the text assumes you’re using Rust 1.41.0 or later with edition="2..

혹시 내가 참고하는 사이트의 러스트 버젼과, 내가 설치한 러스트의 버젼이 다를 수도 있으므로, 버젼 확인는 방법도 알아두자! 먼저 러스트 설치 매니저의 버젼을 확인하는 방법 rustup --version 러스트 컴파일러의 버젼 확인하는 방법 rustc --version

여기저기서 러스트라는 언어 이야기를 하길래, 유명한 언어인가? 꼭 배워야 하나? 뭔데? 뭔데? 뭐지? 하면서 찾아보고 한번 찾아볼까? 하면서 보고 있는 프로그래밍 언어다. https://www.rust-lang.org/ Rust Programming Language A language empowering everyone to build reliable and efficient software. www.rust-lang.org 당연히 프로그래밍 언어를 팔려고 하는 쪽에선 장점만 늘어놓는다. 이걸 내가 배워서 어디에 쓸 일도 없을 텐데, 그래도 그냥 호기심이 발동한 것일테니 보고 뭔지 알아야 직성이 풀리지 않을까? https://book.naver.com/bookdb/book_detail.nhn?bid=15..

Sequences, Recurrence relations, Induction - Overview (시퀀스, 재귀관계식, 유도 - 개요) 목차 1. Sequences (시퀸스) Definitions (정의) Recurrence relation (재귀 관계) Arithmetic and geometric sequences (산술 및 기하학적 시퀸스) Problems (문제) 2. Inductive proof (귀납적 증명) 1. Sequences (시퀸스) 1.1 Definitions (정의) A set of elements written in a row. 시퀸스란 아래 예제처럼 요소들의 집합. Examples: 1, 2, 3, 4, 5, 6, 7, … 2, 4, 6, 8, … 1, 3, 5, 7, 9, …...

Propositional logic 명제 논리 문제 1. 진리값 작성 문제 : 표현식에 해당하는 진리값을 T 또는 F로 채우시오. (음영 영역에 정답 표시) P Q expression Value T T P V Q T T F P Λ ¬ Q T F T P → Q T F F ¬P ↔ Q F 2. 명제식으로 표현하기 문제: 다음을 명제식으로 표현하시오. "톰은 수학 전공이고, 컴퓨터 싸이언스 전공은 아니다." P: 톰은 수학 전공이다. Q: 톰은 컴싸 전공이다. 드 모르간의 법칙을 사용하여 표현의 부정을 작성하고, 의미를 적으시오. 답: 명제식으로 표현하기 P Λ ¬ Q (톰은 수학 전공이고, 컴싸 전공은 아니다.) 드모르간 법칙 적용하기 ¬ (P Λ ¬ Q) = ¬ P V Q (드모르간 법칙) c. 의미 ¬ ..

Predicate logic (술어 논리) 1. Basics / 기초 Predicates (술어) : 속성과 관계를 나타낸다. 명제와는 달리, 주어와 술어를 구분하여 참 또는 거짓을 판단한다. 술어는 한정된 수의 변수를 포함하는 문장이며 변수에 대해 특정 값이 대체 될 때 명령문이 된다. 술어에는 하나 이상의 변수가있을 수 있다. 예 : student (x), mother (x, y) 술어 계산 (Predicate Calculus) : 명제 함수(Propositional Function)를 이용한다. 예) She is a student. 주어 : She -> x 술어 : is a student. -> P(x) P(x) : x is a student. P 자체는 명제가 아니고, 변수 x가 적절한 값으로 치..

Propositional (명제) 1. Statements (Propositions) / 명제 Propositions (명제) : 참이나 거짓으로 판단할 수 있는 문장. 단, 둘 다 일수는 없다. Propositional Logic (명제 논리) : 명제를 다룬다. Propositional Constants (명제 상수) : T - 참, F - 거짓 Propositional Variables (명제 변수) : T나 F값을 가질 수 있는 변수 Atomic Propositions (원자 명제) : 명제 상수, 명제 변수, 명제는 더 세분화 될 수 없다. Compound Propositions (합성 명제) : 원자 명제가 아닌 것을, 논리연산자로 연결한 것. 2. Basic logical connective..