|
Chair |
|
Yoshiki Higo (Osaka Univ.) |
Vice Chair |
|
Yoshiaki Takata (Kochi University of Tech.) |
Secretary |
|
Shinpei Ogata (Shinshu Univ.), Shinsuke Matsumoto (Osaka Univ.) |
Assistant |
|
Kenji Hashimoto (Kagawa Univ.) |
|
|
Chair |
|
Toshinori Hosokawa (Nihon Univ.) |
Vice Chair |
|
Masayuki Arai (Nihon Univ.) |
Secretary |
|
Hideyuki Ichihara (Hiroshima City Univ.), Mamoru Ohara (TIRI) |
|
Conference Date |
Thu, Oct 17, 2024 13:30 - 16:45 |
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) |
Registration Fee |
This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on DC, SS. |
Thu, Oct 17 PM 13:30 - 16:45 |
(1) |
13:30-13:55 |
SS2024-14 DC2024-42 |
Naoki Uchida, Satoshi Fukumoto (Tokyo Metropolitan Univ.) |
(2) |
13:55-14:20 |
SS2024-15 DC2024-43 |
|
|
14:20-14:30 |
Break ( 10 min. ) |
(3) |
14:30-14:55 |
Finding Functionally Equivalent Methods in Python Using Automated Test Generation Techniques SS2024-16 DC2024-44 |
Yusheng Guo, Shiyu Yang, Akihiro Tabata, Yoshiki Higo (Osaka Univ.) |
(4) |
14:55-15:20 |
Verification with Common Knowledge of Rationality for Graph Games SS2024-17 DC2024-45 |
Rindo Nakanishi (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) |
|
15:20-15:30 |
Break ( 10 min. ) |
(5) |
15:30-15:55 |
A Proposal of Forecast Article Generation Method Using LLM in Bicycle Racing SS2024-18 DC2024-46 |
Kennosuke Goto (Hokkaido Univ), Yamashita Tomohisa, Yokoyama Soichiro, Kawamura Hidenori () |
(6) |
15:55-16:20 |
* SS2024-19 DC2024-47 |
Takuto Kawamoto, Yoshiki Higo (Osaka Univ.) |
(7) |
16:20-16:45 |
Consideration of sentiment analysis for products in an upstream process in software development as a university exercise task. SS2024-20 DC2024-48 |
Takumi Katsuie, Shinpei Ogata, Kozo Okano (Shinshu Univ.), Yukako Imura, Shinobu Saito (NTT) |
Announcement for Speakers |
General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
Contact Address and Latest Schedule Information |
SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
Contact Address |
Shinsuke Matsumoto (Osaka University)
E-: nist-u |
Announcement |
Latest information will be presented on the homepage:
https://www.ieice.org/iss/ss/ |
DC |
Technical Committee on Dependable Computing (DC) [Latest Schedule]
|
Contact Address |
Masayuki Arai (College of Industrial Technology, Nihon Univ.)
E-: ain-u |
Last modified: 2024-08-18 23:39:15
|