날 짜 : 2016-11-25 ()

주 제 : 개발 회의

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

기록자 : GH

 

0. Agenda


1) Logic Summary : 16-20-ET-01

2) Seminar [YB] : 16-15-RC-09

3) ADONIS Korean Version Cloud Installation : 16-21-RC-12

4) SRL/D: 16-18-RD-03

5) 기타 ( TASK, Communication )

자료참고 : 5--2016-11-25-회의내용기록-board1.jpg

 

1. Logic Summary [MR]


- MR give a presentation about LOGiC summary (Chapter 8~10)

Chapter 8 : traditional syllogistic logic

Chapter 9 : predicate logic

Chapter 10 : IO- Axioms

자료참고 : 5--2016-11-25-fundamentals of Logic.pptx

 

2. Seminar [YB]


- YB gives a presantation regarding of “Petri net”

자료참고 : 4--2016-11-24-Petrinet.docx

 

3. ADONIS 번역


- 반영작업이 완료 되었습니다

- MK : “동의를 얻은 뒤 배포를 진행하겠다

- YB : 배포 전에 이루어져야 할 계정 생성준비 완료

 

4. SRL/D


- YB : branch를 세부적으로 찾을 계획

- MK : message 부분의 send or receive 부분을 찾아보면 좋을 것

( 월요일까지 같이 찾아보고 공유 )

 

5.


1) TASK


- MK : 프로잭트에 접근하는 방법과 공급하는 과정을 이해하길 바란다

- Ada 사례를 통해 업무 관리의 효율성 제시

- 171월을 목표로 각각 진행 또는 마감된 taskworklist 작성해 보자

( 체계적 관리방법의 Archive 필요 )


[YB]  1) [Completed] ADOxx Training : 16-13-LC-01

2) [On-going] ADONIS Korea Version 

- Translation: 16-02-RC-02

- Installation: 16-21-RC-12

- Distribution: 16-21-RC-12


[SH] 1) [Completed] IoT Kit: 16-09-RC-04

2) [On-going] SRL/ADOxx

SRL/ADOxx: 16-06-RD-01

SRL Parser: 16-07-RD-02

d-Cal Text: 16-18-RD-03


[JS] 1)  [Completed] Server/OMiLab Portal: 16-11-RC-06

2) [On-going] Timed d-Calculus

- tCARDMI Study: 16-20-RD-04


[MK] 1) [Completed] ICServ2016: 16-04-PP-01

2) [On-going] Lab Seminar: 16-15-RC-09


 


2) Communication


- 발생한 문제에 대한 원일을 해결할 수 있는 방법을 고민해보는 시간을 갖자

- 작은 문제도 때로는 중요한 위험 요소로서 많은 것을 좌우 할 수 있다

- 연구실 연결매체로써 ‘SKYPE’ 사용 하도록 하자

 

MK : ------------------

YB : __________________

SH : __________________

JS : __________________

MR : __________________

GH : __________________


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


[MK] Included : (3)


1) Board snapshots (2)

2) FoL PPT (pp. 30)

3) Seminar - LN 1 : Petri Net (pp. 8)