오보에블로그

공식적인 정의 웹어셈블리WebAssembly,Wasm는 스택 기반의 가상머신을 위한 바이너리 명령 포맷이다. Wasm은 C/C++/Rust 와 같은 하이레벨 언어의 컴파일을 지원하고 웹상에 클라이언트와 서버 애플리케이션을 배포할 수 있도록 설계됐다. 바이너리 명령 포맷 웹어셈블리는 사실 바이너리 포맷과 텍스트 포맷과 같은 여러요소를 포함하고 있으며 Core Specification에 해당 API와 컴파일 타깃이 문서화 되어 있다. 바이너리와 텍스트 포맷은 모두 추상 구문 (abstract syntax)라는 공통 구조로 매핑된다.텍스트 포맷의 웹어셈블리 코드는 AST로 직렬화돼 바이너리 포맷(.wasm 파일)로 컴파일되며, 웹브라우저의 자바스크립트 엔진은 디코딩 스택을 이용해 .wasm 파일을 AST로 디..

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://webnautes.tistory.com/1219 https://blankspace-dev.tistory.com/416 [Python] 파이썬 마우스 제어하는 방법 (PyAutoGUI 라이브러리 이용) 어느 프로그래밍 언어든 장치 제어 방법은 존재하는데, 이번 포스팅에서는 파이썬에서 마우스를 제어할 수 있는 방법을 포스팅하려고 합니다. 물론, 저수준 단위부터 마우스를 제어하는 것은 �� blankspace-dev.tistory.com # pyautogui install # pip install pyautogui import pyautogui # 현재 모니터 사이즈 크기 반환 screenWidth, screenHeight = pyautogui.size() print('현재 모니터 사이..

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; } 라고 치시면 안심키보드 전체 이미지가 보이는것을 확인하실수 있습니다.

import sys#sys.argv[i] import subprocess import itertools #for i in range(len(sys.argv)): # print(sys.argv[i]) readf = open(sys.argv[1], "r") ori_line = len(readf.readlines()) print("ORIGINAL FILE SIZE IS ", ori_line) parse = [] readf.seek(0) for i in range(ori_line): parse.append(readf.readline()) readf.close() divide_time = 2 group = [] group_len = divide_time while(divide_time (line-1)): end ..

1. 포트란 설치https://gcc.gnu.org/wiki/GFortranBinaries#MacOS 에 들어가서 다운 받으면 끝! 2.컴파일 하는 방법 (예시)helloworld.f90 파일로 저장했을때, gfortran -o hello.exe helloworld.f90 ./hello.exe 3.포트란 문법 http://amath.jnu.ac.kr/bcshin/f90/f95.html

# 별찍기 - 10 성공 # 시간 제한 메모리 제한 제출 정답 맞은 사람 정답 비율 # 1 초 128 MB 2360 1171 876 50.057% # 문제 # 예제를 보고 별찍는 규칙을 유추한 뒤에 별을 찍어 보세요. # 입력 # 첫째 줄에 N이 주어진다. N은 항상 3의 제곱꼴인 수이다. (1, 3, 9, 27, ...) (N=3^k, 0

Problem 1 1. Write a program that inputs alphabetic characters ‘a’ to ‘z’ in a single line in a text file.2. The text file must exist in the project folder.3. Text file name is “alpha.txt”.4. The text file must exist in the project folder. 5. If “alpha.txt” does not exist in your project folder, your program should automatically generate a text file named “alpha.txt”. Problem 1 result Problem 1 ..