날 짜 : 2017-02-06 (월)

주 제 : 주간 업무 계획 공유

참여자 : MK, YB, SH, JS, MR, GH

기록자 : GH

0. Agenda

1) 주간 업무 계획 공유

2) MK 주간 일정 공유

* 금주 변동된 업무 *

- Completed

[17-002-PP-02] [MK, YB] ICServ 논문(BO) (1차 마감)

[17-013-RC-06] [MR] 스터디

 

- Added

[17-037-RC-12] [MK, YB] FoF 제안서

[17-038-RC-13] [YB] ADOxx Training 4 Prof. Hwang

1. 주간 업무 계획

[17-002-PP-02] [MK, YB] ICServ 논문(BO) (1차 마감)

- 1차 제출이 완료되었으니 업무를 1차 마감상태로 설정

[17-012-RC-05] [All] 논리학

[17-036-RC-12] [YB, SH] ADOxx training [MK: 코드 수정했음. 확인 요망]

- 두 계획은 코딩 시스템을 개발하는데 정확성, 집중도를 높이기 위하여 3월로 연기

 

[17-037-RC-12] [MK, YB] FoF Proposal

- 금일이 Deadline이므로 YB 회의 마치자마자 처리 할 것

   (우리 연구실에 좋은 reference, 3년간의 출장을 지원받을 수 있는 기회)

- 연구지원과에서 PIC 코드 활성화 확인 중이라는 업무 연락 받음

- 제출서류는 전북대학교 전자로고가 포함된 PDF 파일 및 스캔 두 가지

 

[17-014-ET-01] [GH] 홈페이지 관리

- 막연한 홈페이지 관리표현 보다 카테고리를 분류하여 더욱 자세한 계획이 필요

- GH는 경험과 기술이있는 JS에게 조언을 구하여 디자인을 개선에 힘쓰자

 

[17-005-RD-01] [YB, SH] SAVE2.0/ADOxx

- 개발은 계속적으로 진행지만, 중간점검이 필요한 시점

- SAVE 개발 진행정도를 발표 바람

   (지난주에는 어디까지 진행되었고, 금주에 진행하는 개발내용에 대한 주간 브리핑필요)

- 소스코드, ADOxx에 적용 시 어떻게 출력되는지 개발회의에서 보여주면 좋을 것

[Attached] 1-2017-02-06-board1.jpg

 

[17-006-RD-02] [JS] SRE0.1/ADOxx

- SAVE와 마찬가지로 Ada/GNAT도 중간점검이 필요

- 금주 개발회의에서 개발 진행상황을 보고해주면 좋을 것

- 소스코드, Quary 적용 시 등 개발회의에서 보여주면 좋을 것

- JS: 기존 코드안에서 syntax 찾는데 문제가 있다 (MK와 함께 찾아보기로 함)

 

[17-002-PP-04] [MK, MR] IPL/BO

- MK:어려움과 문제점이 있다는 것은 좋은 결과물을 얻기 위한 신호라고 생가한다

- MK:지속적인 노력과 집중을 바란다

- 2월말까지의 연구에 진행과 상태를 확인하여 3월부터 다른 연구 진행할 가능성

- 개발회의 발표내용에는 n-2 Lattice에 관한 자유로운 범위 내에서 우리의 연구에 연관된

    중요한 문제를 사용하는 것이 발표에 도움이 될 것

 

[17-010-RC-03] [MK, All] 연구실 세미나

- 금주에는 세미나 없고, 차주에 SH과 JS의 세미나 발표를 진행

SH의 주제는 Tempral Logic

JS의 주제는 Real Time Logic

- 2주 뒤의 MR의 세미나 주제는 추후 선정하기로 함

 

2. MK 주간 업무 공유

- BOC 결고 보고 및 업무 진행 (1,2,3,4 그룹이 결정되었으며, 5,6,7,8 등 구성 예정)

a) ADONIS/Licensing/Consulting: 오대교/김태현/허기태 [G-I]

b) ADONIS/Certification/Consulting: 전창식 [G-II]

c) ADONIS/Certification/Pilot Project I/KTC: 최진영/서동수 교수 [G-III]

d) ADONIS/Certification/Pilot Project II/ISMS: 최진영/한근희 교수 [G-IV]

 

- 업무 인수 인계 확인

= 3월부터는 SH이 방장업무를 맡기로 하고, YB는 하나둘씩 인수인계 시작

 

[17-038-RC-13] [YB] ADOxx Training 4 Prof. Hwang

- Prof. Hwang의 한국일정을 공유 23일 21시경 입국, 1일 09시경 출국

- OMILAB KOREA로부터 Prof. Hwang에게 invitation letter 보내는 절차 확인 [GH]

- 23일, 27일, 28일 Prof. Hwang이 서울 게스트하우스에서 지낼 예정 절차 확인 [GH]

- 우주기초 관련예산에서 전문가 초빙에 관한 지원여부 확인 [YB]

3. ETC.

* 금주 개발회의 요구사항

- SAVE 개발 진행정도를 발표 바람

(지난주에는 어디까지 진행되었고, 금주에 진행하는 개발내용에 대한 주간 브리핑필요)

- 우리의 Parser가 대표언어로 사용 될 수 있을 정도로 내용이 좋고, 개발에 힘써야 함

- SAVE와 SRE모두 소스코드, ADOxx에 적용 혹은 quary에 적용시 어떻게 출력되는지

를 개발회의에서 보여주면 좋을 것

 

* Tool점검

- Tool 점검이 필요한 시점, SRE의 기본은 Parser가 된다며 SH의 신중한 점검 당부

MK : __________________

YB : __________________

SH : __________________

JS : __________________

MR : __________________

GH : __________________

==================================================

[MK] Included (4)

1) Board snapshot (1)

2) Invitation Letter (1)

3) Weekly Plan Minute (8)

4) [MK] Weekly Agenda (3)