ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Software Science (SS)
Chair: Kozo Okano (Shinshu Univ.) Vice Chair: Yoshiki Higo (Osaka Univ.)
Secretary: Shinpei Ogata (Shinshu Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.)
Assistant: Shinsuke Matsumoto (Osaka Univ.)

===============================================
Technical Committee on Dependable Computing (DC)
Chair: Tatsuhiro Tsuchiya (Osaka Univ.) Vice Chair: Toshinori Hosokawa (Nihon Univ.)
Secretary: Masayuki Arai (Nihon Univ.), Kazuteru Namba (Chiba Univ.)

DATE:
Wed, Oct 11, 2023 14:30 - 17:15
Thu, Oct 12, 2023 10:00 - 11:55

PLACE:

TOPICS:

----------------------------------------
Wed, Oct 11 PM (14:30 - 15:45)
----------------------------------------

(1) 14:30 - 14:55
Automatic Generation of Class Diagrams by Directing the Class Design Process to ChatGPT
Shogo Kanzaki, Taku Okuno (FUN)

(2) 14:55 - 15:20
Comparison of Automatic Extraction Methods for Generating Causal Component Models from Software Requirement Specifications
Takeki Ninomiya, Masanosuke Ohto, Toshiki Takaoka, Shinpei Ogata, Kozo Okano (Shinshu Univ)

(3) 15:20 - 15:45
Efficient Automatic Classification of Non-Functional Requirements in Information Systems Using Deep Learning
-- A Comparative Accuracy Analysis between BERT and GPT-2 --
Kazuhiro Mukaida (Shinshu Univ.), Seiji Fukui, Takeshi Nagaoka, Takayuki Kitagawa (TOSHIBA), Shinpei Ogata, Kozo Okano (Shinshu Univ.)

----- Break ( 15 min. ) -----

----------------------------------------
Wed, Oct 11 PM (16:00 - 17:15)
----------------------------------------

(4) 16:00 - 16:25
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion
Naoki Nishiguchi, Tatsuhiro Tsuchiya (Osaka Univ.)

(5) 16:25 - 16:50
Shortening Block Approval Intervals with Skip Graph Using VRNT in Blockchain
Nobuho Inamura, Masato Kitakami (Chiba Univ.)

(6) 16:50 - 17:15
Low power consumption of neural networks using memory bit reduction and sampling
Hirokazu Kodachi, Masato Kitakami (Chiba Univ.)

----------------------------------------
Thu, Oct 12 AM (10:00 - 10:50)
----------------------------------------

(7) 10:00 - 10:25
A game-theoretic approach to indistinguishability of winning objectives as user privacy
Rindo Nakanishi (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.)

(8) 10:25 - 10:50
Robustness trends of DP-SGD, a machine learning with differential privacy
Takahiro Kanki, Shinpei Ogata, Kozo Okano (Sinshu Univ), Shin Nakajima (NII)

----- Break ( 15 min. ) -----

----------------------------------------
Thu, Oct 12 AM (11:05 - 11:55)
----------------------------------------

(9) 11:05 - 11:30
Consistency checking of bidirectional transformations corresponding to selection and projection operations under functional dependencies
Jun Ishida, Sota Sakai, Yasunori Ishihara (Nanzan University)

(10) 11:30 - 11:55
(See Japanese page.)

# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.

=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:

Wed, Jan 17, 2024 - Thu, Jan 18, 2024: [Fri, Nov 10]

# SECRETARY:
Shinpei Ogata (Shinshu University)
TEL: +81-26-269-5468
E-mail: o

nshu-u

# ANNOUNCEMENT:
# Latest information will be presented on the homepage:
https://www.ieice.org/iss/ss/

=== Technical Committee on Dependable Computing (DC) ===
# FUTURE SCHEDULE:

Wed, Nov 15, 2023 - Fri, Nov 17, 2023: Civic Auditorium Sears Home Yume Hall [Fri, Sep 8], Topics: Design Gaia 2023 -New Field of VLSI Design-
Fri, Dec 8, 2023: ARKAS SASEBO [Fri, Oct 6], Topics: Winter Workshop on Safety

# SECRETARY:
Masayuki Arai (College of Industrial Technology, Nihon Univ.)
E-mail: a