| Technical Committee on Mathematical Systems Science and its applications (MSS) |
[schedule] [select]
|
|
| Chair |
|
Morikazu Nakamura (Univ. of Ryukyus) |
| Vice Chair |
|
Shigemasa Takai (Osaka Univ.) |
| Secretary |
|
Ichiro Toyoshima (Toshiba), Takahumi Kanazawa (Osaka Univ.) |
| Assistant |
|
Hideki Kinjo (Okinawa Univ.) |
|
|
|
| Chair |
|
Kazuhiro Ogata (JAIST) |
| Vice Chair |
|
Akio Nakata (Hiroshima City Univ.) |
| Secretary |
|
Takashi Kobayashi (Tokyo Inst. of Tech.), Yoshiki Higo (Osaka Univ.) |
| Assistant |
|
Kazuyuki Shima (Hiroshima City Univ.) |
|
| Conference Date |
Thu, Jan 18, 2018 09:50 - 18:00
Fri, Jan 19, 2018 09:50 - 17:50 |
| Topics |
|
| Conference Place |
|
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Jan 18 AM
09:50 - 11:30 |
| (1) |
09:50-10:15 |
 MSS2017-47 SS2017-34 |
|
| (2) |
10:15-10:40 |
MSS2017-49 SS2017-36 |
|
| (3) |
10:40-11:05 |
MSS2017-48 SS2017-35 |
Kento Shimonaka, Yoshiki Higo, Junnosuke Matsumoto, Keigo Naito, Shinji Kusumoto (Osaka Univ.) |
| (4) |
11:05-11:30 |
MSS2017-50 SS2017-37 |
Masayuki Doi, Yoshiki Higo, Ryo Arima, Kento Shimonaka, Shinji Kusumoto (Osaka Univ.) |
| |
11:30-12:45 |
( 75 min. ) |
Thu, Jan 18 PM
12:45 - 14:00 |
| (5) |
12:45-13:10 |
Verification of an Approach to Find Determiner Set of Graphs MSS2017-51 SS2017-38 |
Koki Tanaka, Takafumi Goto, Mituru Nakata (Yamaguchi Univ.), Chiranut Sa-ngiamsak (Khon Kaen Univ.), Qi-Wei Ge (Yamaguchi Univ.) |
| (6) |
13:10-13:35 |
Weighted Potential for Multipopulation Access Point Selection Games MSS2017-52 SS2017-39 |
Yuki Kodera, Takafumi Kanazawa (Osaka Univ.) |
| (7) |
13:35-14:00 |
Stack queue mixed layout of graphs using stack number MSS2017-53 SS2017-40 |
Miki Miyauchi (NTT) |
| |
14:00-14:15 |
( 15 min. ) |
Thu, Jan 18 PM
14:15 - 15:30 |
| (8) |
14:15-14:40 |
Computational Complexity of Membership and Emptiness Problems for Register Context-Free Grammars MSS2017-54 SS2017-41 |
Ryoma Senda, Hiroyuki Seki (Nagoya Univ.) |
| (9) |
14:40-15:05 |
Design of concurrent processing by an interpreter for the functional programming language in continuation passing style MSS2017-55 SS2017-42 |
Nagisa Kojima, Kazuyuki Shima (HCU) |
| (10) |
15:05-15:30 |
Deadline Assignment Optimization Method Using Extended Time Petri Nets for Real-Time Multitask Distributed Systems Sharing Processors with EDF Scheduling MSS2017-56 SS2017-43 |
Reon Matsuoka, Akio Nakata (Hiroshima City Univ.) |
| |
15:30-15:45 |
( 15 min. ) |
Thu, Jan 18 PM
15:45 - 17:25 |
| (11) |
15:45-16:10 |
Study on Deployment of a Computer Algebra System for Generating Random Test Patterns for Combinational Circuits MSS2017-57 SS2017-44 |
Tsutomu Inamoto, Yoshinobu Higami (Ehime Univ.) |
| (12) |
16:10-16:35 |
A Proposal of Generating Paths of Program Net and Its Application to Software Testing MSS2017-58 SS2017-45 |
Biao Wu (Yamaguchi Univ.), Xiaoan Bao, Na Zhang (ZSTU), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
| (13) |
16:35-17:00 |
Construction of a Petri Net Model of Internal Organs and Twelve Principal Meridians Based on Traditional Chinese Medicine MSS2017-59 SS2017-46 |
Quan Gan, Yuu Takahashi (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
| (14) |
17:00-17:25 |
Construction of a Universal Petri Net Model of Human Body and Meridian System and Its Simulation Data Aggregation MSS2017-60 SS2017-47 |
Thi-Thuy Nguyen, Yuu Takahashi (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
| |
17:25-17:35 |
( 10 min. ) |
Thu, Jan 18 PM
17:35 - 18:00 |
| (15) |
17:35-18:00 |
[Invited Talk]
Recent Trends in the Development of Programming Language Ruby
-- An Improvement of Code Coverage Feature as a Case Study, and the Goals of Ruby 3 -- MSS2017-61 SS2017-48 |
Yusuke Endoh (Cookpad) |
| |
- |
|
Fri, Jan 19 AM
09:50 - 11:30 |
| (16) |
09:50-10:15 |
Data-Aware Service Orchestration of IoT Service with Data Workflow Net MSS2017-62 SS2017-49 |
Mohd Anuaruddin Bin Ahmadon, Naofumi Yamaguchi, Shingo Yamaguchi (Yamaguchi Univ.) |
| (17) |
10:15-10:40 |
On Modeling of Infection Phenomenon and Evaluation of Countermeasure for IoT Malware Mirai by Agent-Oriented Petri Net PN2 MSS2017-63 SS2017-50 |
Shingo Yamaguchi, Hiroaki Tanaka (Yamaguchi Univ.) |
| (18) |
10:40-11:05 |
On Extraction of Gap Service between Design and Operation by Process Mining MSS2017-64 SS2017-51 |
Ryosuke Wada, Mohd Anuaruddin Bin Ahmadon (Yamaguchi Univ.), Mohd Anuaruddin Bin Ahmadon (TOSHIBA Energy Systems & Solutions Corporation), Yamaguchi Shingo (Yamaguchi Univ.) |
| (19) |
11:05-11:30 |
An Analysis of Prosumers' Benefit on Peer-to-Peer Energy Trading MSS2017-65 SS2017-52 |
Mitsue Imahori, Ryo Hase, Norihiko Shinomiya (Soka Univ.) |
| |
11:30-12:45 |
( 75 min. ) |
Fri, Jan 19 PM
12:45 - 14:25 |
| (20) |
12:45-13:10 |
Classification of problem detection for incomplete software requirements using the development standard process MSS2017-66 SS2017-53 |
Toma Miyamura (NAIST), Shinji Kawaguchi, Naoki Ishihama, Kazuki Kakimoto (JAXA), Hajimu Iida (NAIST), Masafumi Katahira (JAXA) |
| (21) |
13:10-13:35 |
MSS2017-67 SS2017-54 |
|
| (22) |
13:35-14:00 |
A Visualization Method of Compliance Status of Software Development Flow when using Version Control System MSS2017-68 SS2017-55 |
Takumi Inoue, Yoichiro Kojima (OIT), Kenji Fujiwara (NITTC), Hiroshi Igaki (OIT) |
| (23) |
14:00-14:25 |
An Extension of Test Code Generation Support Tool Using Test Log to Java Method with Returning Value MSS2017-69 SS2017-56 |
Ryota Kusaka, Nobuo Funabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ.) |
| |
14:25-14:40 |
( 15 min. ) |
Fri, Jan 19 PM
14:40 - 16:20 |
| (24) |
14:40-15:05 |
Decentralized Similarity Control of Nondeterministic Discrete Event Systems using Observers MSS2017-70 SS2017-57 |
Itsuki Okubo, Shigemasa Takai (Osaka Univ.) |
| (25) |
15:05-15:30 |
Application of M-Matrices to Stabilization of Composite Systems via Decentralized Event-Triggered Control MSS2017-71 SS2017-58 |
Kenichi Fukuda, Toshimitsu Ushio (Osaka Univ.) |
| (26) |
15:30-15:55 |
Mathematical Analysis of Phase Resetting Control Mechanism during Rhythmic Movements MSS2017-72 SS2017-59 |
Kazuki Nakada (Hiroshima City Univ.), Keiji Miura (Kwansei Gakuin Univ.) |
| (27) |
15:55-16:20 |
Common Sub-Graph Extraction from Idiom Networks of Amino Acid Short Constituent Sequences MSS2017-73 SS2017-60 |
Kentaro Maeshiro (Ryukyu Univ), Takeshi Tengan (Meio Univ), Morikazu Nakamura (Ryukyu Univ) |
| |
16:20-16:35 |
( 15 min. ) |
Fri, Jan 19 PM
16:35 - 17:50 |
| (28) |
16:35-17:00 |
Consideration of User Behavior History Collection System for Server Management Exercise MSS2017-74 SS2017-61 |
Kazuki Nisimura, Hirosi Igaki (OIT) |
| (29) |
17:00-17:25 |
A Proposal of Code Correction Problem for Test Code Study in Java Programming Learning Assistant System MSS2017-75 SS2017-62 |
He Sai, Nobuo Funabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ) |
| (30) |
17:25-17:50 |
An Introduction of Source Code Management System for Java Programming Learning Assistant System: JPLAS MSS2017-76 SS2017-63 |
Shimpei Matsumoto, Nobuo Hunabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 17 minutes for presentation and 8 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| MSS |
Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
|
| Contact Address |
Ichiro Toyoshima (Toshiba Corp.)
Tel: +81-42-333-2843
E- : i        ba |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-:   ist -u |
| Announcement |
Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/ |
Last modified: 2018-01-18 13:39:07
|