로컬에서 해당 파일을 삭제한다. 삭제한 결과를 커밋한다. git reset --soft HEAD~N 으로 N개의 커밋이 있다면 해당 커밋을 취소한다. git commit -sm 'message" 로 다시 커밋한다. (이 작업을 Squash 라고 한다.) Squash 된 커밋을 다시 push 한다. [참조] https://baeharam.github.io/posts/git/gitfailed-to-push-large-file-after-deleted/
Automata 이론이란? abstract한 computing device에 대한 공부이다. automaton : abstract computing device 다룰 내용 Introduction to the Theory of Computation Mathematical Preliminaries and Notation Finite Automata Deterministic/Non-Deterministic Finite Accepters Regular Languages and Regular Grammars Properties of Regular Language Context-Free Languages Simplification of Context-Free Grammars and Normal Forms Pushd..
이번 포스팅에서는 Chapter 2의 내용을 다뤄보려고 한다. Deterministic Automata: 현재 상태에 의해서 move가 결정된다. Nondeterministic Automata: 여러개의 move가 있을 수 있다. DFA(Deterministic Finite Accepters): 결정적 유한 인식기 특징 내부 상태 개수가 유한하다. input string은 심볼의 sequnce로 구성됨 한 state에서 다른 state로 transition 가능 output이 있다 DFA의 정의 (1) DFA는 다음과 같은 5개 원소의 tuple로 정의된다. M = (Q, Σ, 𝛿, q0, F) Q: 유한개의 internal state의 집합 Σ: input alphabet 𝛿: Q ✖️Σ -> Q 는 ..
이번 포스팅에서는 Chapter 1의 내용을 다뤄보려고 한다! Chapter 1 답게 기본 상식들이 많이 나와서 이미 아는 부분들은 생략 했다. Introduction to the Theory of Computation에서는 증명 방법 - induction(귀납법), contradiction(귀류법) 내용이 간단하게 나오지만 Language, Grammar, Automaton이 이 단원의 포인트라서 이 부분만 집중적으로 다뤄보려고 한다. Languages string의 집합! string = {a, b, c, ...} 라면 string으로 만든 aa, bb, ccc, 등의 문자열이 language이다. Reverse: 거꾸로 string= {a, b}라면 {a, b, aa, bb, ab, ...} 등 0..
namespace 개념 여러명이 작업하다 보면 똑같은 함수 명, 변수 명 때문에 충돌날 수도 있는데 그런 실수를 방지하기 위한 개념이다. 개발자가 자신만의 namespace를 생성할 수 있고, namespace 안에 선언된 이름은 다른 namespace와 구분된다. namespace 선언하기 namespace 사용하기 std::란? 내가 정의한 SweetDev라는 namespace처럼, iostream헤더 안에 정의된 namespace중 하나이다. cout, cin, endl같은 함수들이 포함되어 있다. std::를 생략하고 싶다면? 파이썬처럼ㅎㅎ; cin과 >>를 이용해서 입력 받기 문자열 표현하기 1) c-string 방식 위의 선언은 그냥 단순 문자 배열이고, 두번째 Real선언만 C-string ..
[문제] https://www.acmicpc.net/problem/14719 반례가!!!!!중요하다!!!!! 4 7 3 0 3 4 1 2 1 이러면 끝쪽에서 문제가 생긴다. # 자신보다 크거나 같은 레벨인거 찾고, 없다면 그나마 가장 큰 값인거 찾기 이게 해답에 가까워지는 방법..😇 코드 짜다가 자꾸 헤매서 정리 하기 위해서..! 블로그에서 되게 좋은 코드를 봤는데 영역에서 돌면서, 새로운 영역을 결정할 때 만약 더 높아서 해결이 딱 되면 리턴 해주고, 아니면 제일 큰 height을 계속 갱신을 해주는 방식을 쓰는데 되게 좋아 보였다. 함수로 짜지 않으면 return을 쓰지 못해서 못 짜는 구조였는데 엄청 잘 짰다..! https://gaza-anywhere-coding.tistory.com/113
https://jimnong.tistory.com/676 우분투 리눅스 듀얼부팅 설치방법 정리(윈도우10 기준) 우분투 리눅스 다운로드 방법(Desktop 버전) 우분투 리눅스 설치용 USB 만드는 법(윈도우에서) 우분투 리눅스 설치용 USB 만드는 법(Ubuntu 16.04 에서) 에 이어... 우분투 듀얼부팅 설치방법을 설명하고 jimnong.tistory.com 우분투 USB 만들어야해... rufus로 만드는거 성공했따! ( 삽질은 이전포스팅 참조.. ) 1. 우분투 설치 공간 마련 ( 기존 파티션 줄이기 ). https://jimnong.tistory.com/676 여기 1번처럼 해줬다 2. 재부팅 부팅할 때 del키를 꾹 누르고 있었더니 됐다 순서를 드래그해서 변경하고 바이오스를 저장하고 빠져..
일단 usb는 iso크기 이상이어야 한다. 난 16기가짜리 준비함. 참고로 usb는 포맷을 하기 때문에 usb에 있는 내용은 미리 백업을 해둬야 한다. ubuntu iso > https://ubuntu.com/download/desktop/thank-you?version=20.04.3&architecture=amd64 rufus(설치 해주는 툴) > https://rufus.ie/ko/#google_vignette 그리고 iso이미지를 usb에 넣는게 아니라 다운로드에 있는 iso이미지를 선택하는거다!!!!!!! 계속 이상한 오류(usb메모리의 드라이브 문자 인식 불가, iso이미지 추출 오류 등등..) 났는데 그냥 내가 바보짓 한거였다ㅠㅋ 혹시 몰라서 usb메모리 드라이브 문자 바꾸는 법 > https..
데스크탑 세팅이 안될 경우를 생각해서 eGPU도 찾아보고 있다 (외장 그래픽) 조건 1) macOS High Sierra 10.13.4 이후 버전 2) Intel 프로세서 3) Thunderbolt 3 포트 있어야 함 https://support.apple.com/ko-kr/HT201736 여기서 Thunderbolt3 확인 가능하다. 4) 지원되는 eGPU 종류 확인하기 Thunderbolt 3 올인원 eGPU 제품 이들 제품에는 강력한 GPU가 내장되어 있어 MacBook Pro를 충전하는 데 충분한 전력을 공급합니다. 권장되는 Thunderbolt 3 올인원 eGPU는 다음과 같습니다. Blackmagic eGPU 및 Blackmagic eGPU Pro4 Gigabyte RX 580 Gaming B..
공유기 포트 포워딩 SSH Reverse Tunneling 크롬 원격 데스크탑: ubuntu에서 불안하다는 말이 있어서 선택하지 않음. https://gigglehd.com/gg/soft/7534270 1) jupyter 사용하기 그냥 jupyter에 암호와 tls 걸고 openssh-server fail2ban 설정한 후 포트 바꿔놓고 필요할 때만 ssh로 jupyter 실행하신 후 브라우저로 돌리시는 식으로 사용하시면 됩니다. 다른 분 말씀대로 클라우드쪽을 한번 찔러보시는 것도 좋고요. colab은 사용시간 제한이 있는 게 단점인데 비용이 공짜라서 좋죠. 뚫리는 건 크게 다음과 같은 원인 중 하나지요. 업데이트를 충실히 하지 않았거나, 비밀번호가 너무 쉬웠거나, 비밀번호 무한 대입을 막지 않았거나, ..