분류 전체보기203 KLEE 사용법 KLEE KLEE 설치 KLEE 는 docker image 를 제공하고 있습니다. $ docker search klee 위 커맨드를 이용하여 docker image 를 검색하면 다음과 같이 결과를 확인할 수 있습니다. (docker search 커맨드 중 pemission denied 에러가 발생하면 다음 페이지 참고) KLEE 를 사용할 수 있는 docker image 가 검색되고, 아래 커맨드를 이용하여 KLEE 를 설치합니다. $ docker pull klee/klee KLEE Container 실행 $ docker run --rm -ti --ulimit='stack=-1:-1' klee/klee Note the --ulimit option sets an unlimited stack size ins.. 2023. 9. 2. 매미 탈피 과정 매미 탈피 과정 우화(羽化‧곤충이 유충 또는 약충이나 번데기에서 탈피하여 성충이 되는 일)를 위해 땅 밖으로 나온다. 탈피를 해서 날개를 성공적으로 피고 잘 말릴수 있는 곳을 찾아 이동을 한다. 매미들은 탈피에 적당한 장소를 찾으면 몸을 단단히 고정한 후 탈피를 시작한다. 탈피를 하는데 1시간 30분 정도 걸리고, 아래 사진은 날개를 거의 다 말렸을 때의 모습입니다.. 2023. 9. 2. 때죽나무 (Japanese snowbell) 때죽나무 (Japanese snowbell) 때죽나무 이름의 유래는 크게 2가지가 있다. 가을에 땅을 향하여 매달리는 수많은 열매의 머리(종자껍질)가 약간 회색으로 반질반질해서 마치 스님이 떼로 몰려있는 것 같다하여 ‘떼중나무’로 부르다가 때죽나무로 변경되었다. 열매 찧은 물로 물고기를 ‘떼’로 ‘죽’여 잡았다고 해서 때죽나무라고 불렀다. 우리나라에서는 때죽나무로 불리우지만, 영어 이름은 snowbell이다. Snowbell이라는 이름처럼 나무 전체가 눈을 뒤집어 쓴 듯 종처럼 생긴 꽃을 피운다. 이는 꽃이 핀 모습을 보면 쉽게 이해할 수 있다. 이미지 출처: 링크 2023. 9. 2. 이전 1 ··· 23 24 25 26 다음
