Session Details

[D-3]ソフトウェアサイエンス

Wed. Mar 6, 2024 9:00 AM - 12:15 PM JST
Wed. Mar 6, 2024 12:00 AM - 3:15 AM UTC
School of Integrated Arts and Sciences K308(HIROSHIMA UNIVERSITY Higashi-Hiroshima campus)
Chair:Shima Kazuyuki

[D-3-01]Research on efficient development methods for multi-agent simulation using GPGPUs

○Soshi Komori1, Akira Sasaki1 (1. Hosei Univ.)
PDF DownloadDownload PDF

[D-3-02]An Application of ChatGPT in Software Development Tasks during a Corporate Internship

○Takahiro Kinoshita1, Mai Taguchi2, Yoshitake Hirabayashi3, Tota Yamada4, Hideyuki Kanuka1 (1. Hitachi Ltd., 2. Hokkaido Univ., 3. Nanzan Univ., 4. Nagoya Institute of Technology)
PDF DownloadDownload PDF

[D-3-03]A Study of Inspection Automation to Reduce the Cost for AI OCR Service.

○Tomoya Yamada1, Akihiro Murase1, Takayuki Sakita1, Akiyuki Tanizawa1, Yuuji Fujiwara1, Katsuhiko Takachio1 (1. Toshiba Corporation)
PDF DownloadDownload PDF

[D-3-04]Bidirectional Conversion between Text Language and Block Language of Programs by Reusing Parsers

○Kenji Harada1, Akira Sasaki1 (1. Hosei University)
PDF DownloadDownload PDF

[D-3-05]A Proposal for an Environment to Develop Interactive Systems Focusing on Liveness

○Masaki Saito1, Akira Sasaki1 (1. Hosei University)
PDF DownloadDownload PDF

[D-3-06]企画・開発型デジタルツインの構築方法の確立のためのロボットダンスデザインシステムの試作

○Tomoaki Ishikawa1, Tsuyoshi Nakajima2 (1. Shibaura Institute of Technology Graduate School, 2. Shibaura Institute of Technology Univ)
PDF DownloadDownload PDF

Break time

[D-3-07]A Web application providing explanatory documents for the Mizar Mathematical Library

○Yuta Teruya1, Kazuhisa Nakasho1 (1. Yamaguchi University)
PDF DownloadDownload PDF

[D-3-08]Research on Learning Environments for General-Purpose Programming Language Based on Restriction of Language Functionalies

○Takuro Takamatsu1, Sasaki Akira1 (1. Hosei University)
PDF DownloadDownload PDF

[D-3-09]Prototyping of Live Programming Environment to Support 2D Game Development

○Shin Fukazawa1, Akira Sasaki1 (1. Hosei University)
PDF DownloadDownload PDF

[D-3-10]Prototyping of a reservoir bathymetric boat to investigate a method fordeveloping a prediction and planning type of digital twin

○Kota Oshima1, Tsuyoshi Nakajima2, Sho Nobumoto2 (1. Graduate School of Engineering and Science, Shibaura Institute of Technology, 2. Department of information Science and Engineering, Shibaura Institute of Technology)
PDF DownloadDownload PDF

[D-3-11]Construction of the Remote Verification System for Mizar

○Toshiki Kai1, Kazuhisa Nakasho1 (1. Yamaguchi Univ.)
PDF DownloadDownload PDF

[D-3-12]A study of software testing with packet manipulation in eBPF

○Tomoki Nakashima1, Kyohei Yamada1, Takehiro Kitano1, Akinori Shiraga1 (1. Nippon Telegraph and Telephone Corporation)
PDF DownloadDownload PDF