날 짜 : 2017-03-21 ()

주 제 : 주간 업무 계획 공유

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

기록자 : GH


0. Agenda


1) 연구실 주간 업무 공유

2) Members 주간 업무 공유

3) MK’s server problem

4) MK 업무 일정 공유


* 금주 변동된 업무 *


[Added]

- Wasn’t decided exact code number, will be shared at upcoming Weekly:Do


[17-049-RC-19][MK,YB] MACMESE, Berlin, Germany - Conference Trip

[17-050-RC-20][MK,YB] Proposal - NSR/MMU




[Completed]

- [17-043-PP-05][MK,YB] MACMESE 논문

- [17-009-RC-02][ALL] ADONIS/BOC

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


1. 연구실 주간 업무 공유




[17-003-PP-03][YB,MK] IPL/d 논문

- YB이 리뷰를 한 뒤 MK에게 전달하기로 금주 계획


[17-043-PP-05][MK,YB] MACMESE 논문

- 논문 작성을 마친 뒤 업로드까지 마친 상태로, 출장 뒤 마무리 되어짐

 

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

- YBSH이 개발에 대한 계획을 주간 업무 공유에서 다룸

 

[17-009-RC-02][ALL] ADONIS/BOC

- 업무 1단계 종료 처리하고 세분화 하여 계속 진행하기로 함

 

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

- 연구실 일정 조율하는 과정에서 무효 종결토록 함

 

[17-031-RC-10][ALL] NEMO 2017 Participation

- 419일이 등록 마무리 기한이므로 금일 회의 마친 뒤 준비 및 신청

 

[17-045-ET-07][GH] Homepage reconstruction

- MK: 심플하면서, 업데이트 되어지는 내용을 알릴 수 있는 형식의 컨셉 설정

- 계획에 대한 내용을 JSGH은 정리하여 공유바람


[17-010-RC-03][ALL] 연구실 세미나

- 금주 YBJS의 세미나가 목요일에 같이 이루어질 것

- SH은 오는 30, MR은 내달 46일에 세미나 발표가 계획 됨

 

 

2. Members 주간 업무 공유


[YB]


1) [17-022-BZ-03][MK] PPI

- KTC 방문 및 업무 과정 조사 ()

 

2) [17-003-PP-03][YB,MK] IPL/D 논문

- 논문 작성

- d-Calculus 정리

- 국문 작성 및 정리

 

3) [17-006-RD-02][YB,SH] SAVE2.0/ADOxx

- M2D 개발 마무리

 

4) [17-049-RC-19][MK,YB] 출장 준비

- 독일 학회 출장 관련 준비

- 출장 신청서 제출

- 신청서 미리 작성 후 다른 연구원(JS or GH)이 제출


5) [17-041-RC-15] [MK, YB] 출장 정리

- 대만 출장 정리 및 처리

 

[SH]


1) [17-022-BZ-03][MK] PPI

- KTC 출장

- 출장 정리

- ADONIS 설계

 

2) [17-006-RD-02][YB,SH] SAVE2.0/ADOxx

- Parser 마무리하기

 

3) [17-047-BZ-14] 그 외 BZEN업무

- 법인세처리

- 서류 준비

- 세무사 방문 후 처리

- 인터넷

- 필요서류요청 및 처리


[JS]


1) [17-006-RD-02][YB,SH] SRE0.1/ADOxx

- 미흡한 부분 수정 및 보완

- 결과 확인에 따른 다음 개발 논의 필요

 

2) [17-010-RC-03][ALL] 연구실 세미나

- Calculus of Communicating Systems (CCS) 발표 준비

- 23일 발표 예정

 

 

[MR]


1) [17-007-RD-03] PRISM0.1/ADOxx  n:2 lattice

- Designing automata from basic level by automata

- Representing whole behavior in abstract level

- Connecting automata and lattice by resonable methode

 

2. MK’s server problem


1) [17-051-RC-21][SH] MK's Server under NCSC


원인 : MKserver가 해커로부터 Hosting 역할을 하여 해킹에 이용되어지고 있다

방안 :

1) 국가기관의 요청대로 C드라이브를 복사하여 전달

2) 전산소 담당자(고봉구)와 로고파일 다운, 검사 및 조사, 진단 하는 작업에 참여

대책 : Safety homepage를 구축하여 첨부된 파일을 포함한 완전한 이전 방안검토


[Included 8] 2--2017-03-21-board1.jpg

  

 

3. MK 업무 일정 공유


[Included 7] MK's agenda

 

 

MK : __________________

YB : __________________

SH : __________________

JS : __________________

MR : __________________

GH : __________________


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


[MK] Included: (8)


1) Minute for overall weekly plan

2) YB's weekly plan

3) SH's weekly plan

4) JS' weekly plan

5) MR's weekly plan

6) GH's weekly plan

7) MK's weekly agenda

8) Board snapshot