Tue, Sep 19 PM 12:30 - 14:50 |
|
12:30-12:35 |
Opening Address ( 5 min. ) |
(1) |
12:35-13:20 |
A load balancing mechanism using shared state for tree processing in actor model |
Kouhei Sakurai (Kanazawa Univ.) |
(2) |
13:20-14:05 |
Practical AI Project Analysis using Assurance Case |
Hironori Takeuchi, Shiki Akihara (IBM Japan), Shuichiro Yamamoto (Nagoya Univ.) |
(3) |
14:05-14:50 |
A Proposal on Eliciting System Safety Requirements |
Shuichiro Yamamoto (Nagoya Univ.) |
|
14:50-15:00 |
Break ( 10 min. ) |
Tue, Sep 19 PM 15:00 - 16:30 |
(4) |
15:00-15:45 |
A System to Guide the Discussion for Understanding and Validity Check of Software Requirements
-- A Proposal of a Framework to Structuralize and Record the Contents of the Discussion -- |
Seiichi Komiya (NII) |
(5) |
15:45-16:30 |
Analysis of AlphaGo from a Point of View of AI-Informatics
-- Significance of Go Becoming Science -- |
Haruki Ueno (NII) |