날 짜 : 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 사례를 통해 업무 관리의 효율성 제시
- 17년 1월을 목표로 각각 진행 또는 마감된 task의 worklist 작성해 보자
( 체계적 관리방법의 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
[JS] 1) [Completed] Server/OMiLab Portal: 16-11-RC-06
2) [On-going] Timed d-Calculus
[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)
