오보에블로그

opener //라고 치면 opener에서 가능한 함수들을 보여준다. opener.PageLast(12); //페이지 12로 이동 document.querySelector('video').playbackRate = 15.0; //동영상 15배속

1. Check JDK Version - You have to download JDK 8 (https://www.oracle.com/java/technologies/javase-jdk8-downloads.html) -result (if result is not like this, remove previous JDK : https://pi-314.tistory.com/105?category=262621 ) % java -version java version "1.8.0_251" 2. Check Your z3 path - You have to switch code on jbse/src/test/java/jbse/dec/DecisionProcedureTest.java - If you don't know you..

1. 명령어 path 확인하기 $ type z3 #z3 명령어 path 확인 z3 is /usr/local/bin/z3 2. 원하는 JDK 버전만 남기기 $ cd /Library/Java/JavaVirtualMachines/ $ ls 1.6.0.jdk jdk-11.0.3.jdk jdk1.8.0_211.jdk $ sudo rm -rf jdk-11.0.3.jdk $ java -version

https://www.seas.upenn.edu/~cis120e/ocaml_setup.shtml *** ocaml 버전이 4.09.0 보다 작아야한다. *** opam switch default # 원래 opam 버전으로 바꾼다. eclipse preference → command + , opam 으로 패키지를 설치했다면 O'Caml Binaries Directory 의 경로는 /Users/[사용자명]/.opam/[ocaml 디렉토리명]/bin/ 이다. (맥 기준) 없는 패키지 ( omake , camlp4 ) 는 opam install [패키지명] 으로 설치를 해줄수 있다.

크롬의 개발자 모드를 이용해서 이걸 보이게 할수 있습니다. 1. 먼저 크롬으로 개발자 모드에 들어가신뒤 위의 사진과 같은 버튼을 클릭하시고 안심 키보드 이미지를 클릭해주세요. 그러면 해당 컴포넌트가 선택이 될것입니다. 그러면 element 에 들어가셔서 styles로 가시면 element.style{ } 이부분을 element.style{ position: fixed; } 라고 치시면 안심키보드 전체 이미지가 보이는것을 확인하실수 있습니다.

코딩을 하면서 파일경로를 찾게되는 경우가 종종 있는데, 맥북에서는 윈도우처럼 폴더 상위에 표시를 해주지 않습니다. 원하는 파일이 있는 폴더로 들어갑니다. command +i를 누르면 폴더에 대한 정보가 나오는데 위치에대한 정보를 드래그 한뒤 복사(command +c)한다. 메모 나 적을 공간에 붙여넣기(command + v)를 하면 폴더경로를 얻을 수 있습니다.

A-65 ~ Z-90a-97 ~ z-122_____________추가________________space -32. - 46

1.아래 사이트에 들어간다. 2.코드를 작성한다.3. 클립 보드 복사를 누른다.4. 블로그에 붙여넣는다. Color Scripter : https://colorscripter.com 123456#include int main(void){ printf("Hello World!\n"); return 0;}cs 이런식으로 작성 가능!