오보에블로그

로봇소프트웨어개발기사 실기 준비저번에 로봇소프트웨어개발기사 필기에 합격해서 이제 실기준비를 하려고 합니다정보처리기사 처럼 실기가 그냥 문제푸는것인줄 알았는데 아니었더군요..!필기처럼공부할려고 pdf 다 제본 만들었는데...ㅠㅠ정보처리기사와는 다르게 필답형이 아니라 작업형이라고 써있더라구요!찾아보니까, 필기시험처럼 시험지에 적혀있는 문제를 푸는 필답형과 다르게 작업형은 직접 작업을 하는 것이라고 합니다. 예를 들어 미용기사 작업형 실기는 직접 머리를 자르는 시험을 거친다고 합니다. 작업형은 필답형과 다르게 신청 가능한 장소가 매우 적어서, 이번 실기 4회 시험은 서울시 서초구에 위치한 서울전자고등학교에서 정원 10명만 신청 가능했습니다.실기시험 내용실기 시험의 내용은.. 왜이렇게 찾기 힘들게 한지 모르겠습..

이번에 로봇소프트웨어개발기사 자격증을 따고 싶어서 4회 필기 시험을 봤습니다.19년도에 신설된 종목이어서 자료가 매우 적어서, 제가 제대로 공부를 하고 있는건지 의문이 들었습니다. 변명아닌 변명으로 그래서 필기 시험 공부를 깊게 하질못해 기출문제를 얻는다는 심정으로 기사 4회 시험을 보았습니다. 다행히도 간당간당하게 62점으로 커트라인을 넘길 수 있었습니다!  이번에 13명 응시해서 6명 합격 했습니다6명 중에 1명이 저라는게 신기하네요ㅎㅎ  풀어보니 시험문제는 NCS 사이트에 개제되어있는 pdf에서 모두 나오는것 같았습니다.1. 로봇 소프트웨어 개발 기사 학습 pdf 찾기다음과 같이 큐넷 사이트에 들어가서 로봇 소프트웨어개발기사 상세정보 탭에 들어갑니다.스크롤을 계속 내리다 보면 국가직무 능력 표준 칸..

https://www.raspberrypi-spy.co.uk/2019/06/using-a-usb-audio-device-with-the-raspberry-pi/ Using a USB Audio Device with the Raspberry Pi - Raspberry Pi Spy USB audio devices are a cheap way of adding sound to a Pi Zero or improving the audio quality on a standard Pi. They are easy to add to any Pi project. www.raspberrypi-spy.co.uk ** 주의 ** 라즈베리 파이4에는 usb3.0 ,usb2.0 포트로 나뉘어 있습니다. 알맞은 포트에 꽂아야 음성이..

# Printf.sprintf "%X" 252;; # 0x 제거 한 16진수 - : string = "FC" # Printf.sprintf "0x%x" 12345;; # 0x 있는채로 16 진수 - : string = "0x3039" # Printf.sprintf "#x%X" 12345;; # #x 있는 채로 16진수 문자열 생성 - : string = "#x3039" # Printf.sprintf "#x%08X" 12345;; # #x 있는 채로 0으로 채워진 8자리에 16진수 문자열 생성 - : string = "#x00003039"

해당 함수와 하는일은 같지만, 간단한 함수를 원할 때 합성을 이용하여 만들어 낼수 있다. 일단 sygus 포맷을 사용한다. ; 참고 링크 : https://github.com/SyGuS-Org/benchmarks/blob/5ccf14c9040ddd749f237dc6d40b79438effedff/lib/General_Track/from_2018/parity-AIG-d1.sl ; how to run : /home/wslee/utils/CVC4/cvc4 --lang=sygus --no-checking --no-interactive --dump-synth --default-dag-thresh=0 basic.sl (set-logic BV) (define-fun watf ( (a (BitVec 64)) (b (Bi..

make ./main.native basic.wat #[실행파일] [파일인자] 다음과 같이 파일을 실행시킬때 터미널로 파일 인자 값을 넘겨 주고 싶다. let main() = let print_code = ref false in let src = ref "" in let spec = [("-pp", Arg.Set print_code, "pretty print the input program")] in let usage = "Usage: run " in let _ = Arg.parse spec (fun x -> if Sys.file_exists x then src := x else raise (Arg.Bad (x ^ ": No files given"))) usage in prerr_endline !src ..

C/C++ 코드를 .wat 파일로 변환하는 방법 1. C/C++ 코드를 바이너리파일(.wasm)으로 변환한다. 2. .wasm 파일을 wat 코드로 변환한다. 1번은 우선 https://medium.com/front-end-weekly/webassembly-part-1-introduction-to-webassembly-8cc3b7a12271을 참고 하였습니다 WebAssembly → Part 1 :Introduction to WebAssembly. WebAssembly satisfies every developers desire 🤩 of writing ✍️ efficient code. medium.com 먼저 xcode 를 업데이트 해줍니다. xcode-select --install 파이썬(2.7 이상)..

https://whitepaek.tistory.com/16 macOS MySQL 설치 및 설정 사용법 macOS에서 MySQL 설치, 삭제, 환경변수 설정 및 사용법! Web 공부를 하다 보면 데이터베이스는 필수로 사용되는 거 같습니다. 저는 Web 개발 공부를 하고 있는데, 데이터베이스로 MySQL을 사용하려고 �� whitepaek.tistory.com 이 참고글 하나면 간단하게 설치 가능.

https://github.com/Z3Prover/z3 Z3Prover/z3 The Z3 Theorem Prover. Contribute to Z3Prover/z3 development by creating an account on GitHub. github.com 을 그대로 git clone 해서 설치 방법을 그대로 따라가면 zarith 에대한 오류가 여러개 발생한다. ocaml 에대해서 num에서 zarith 패키지로 이동하면서 생긴 오류같다. 커밋을 패키지 이동하기 전상태로 돌렸을때의 프로젝트이다. 이것을 풀어서 위에 깃헙에 있는 내용을 그대로 따라하면 쉽게 실행시킬 수 있다. # make example을 한번 한 후에 이후에는 $ ocamlc -custom -o ml_example.byte -I ..

튜토리얼이 대부분 영어로 되어있어서 혹시나 이렇게 쳐봤는데 설치되길래 잊어버릴까봐 쓰는글 https://opam.ocaml.org/packages/ opam - Packages opam.ocaml.org 이 사이트에 가보면 패키지들이름이 나열되어있다. 원하는 패키지를 찾은뒤에 $ opam install [패키지명] 으로 명령어를 치면 된다. 아래는 예제이다.