セッション詳細

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

2024年3月6日(水) 9:00 〜 12:15
総合科学部 3階 K308(広島大学 東広島キャンパス)
座長:島 和之(広島市立大学)

[D-3-01]GPGPUを利用したマルチエージェントシミュレーションの効率的な開発手法の研究

○小森 奏詩1、佐々木 晃1 (1. 法政大)
PDFダウンロードPDFダウンロード

[D-3-02]企業インターンシップにおけるソフトウェア開発作業へのChatGPTの応用

○木下 崇央1、田口 真衣2、平林 義健3、山田 塔太4、鹿糠 秀行1 (1. 日立製作所、2. 北海道大学、3. 南山大学、4. 名古屋工業大学)
PDFダウンロードPDFダウンロード

[D-3-03]文字認識サービスのコスト削減に向けた検査自動化の検討

○山田 智也1、村瀬 晃弘1、崎田 隆行1、谷沢 昭行1、藤原 勇治1、高知尾 勝彦1 (1. 株式会社東芝)
PDFダウンロードPDFダウンロード

[D-3-04]既存の構文解析器を再利用したプログラムのテキスト表現とブロック表現の相互変換の研究

○原田 健司1、佐々木 晃1 (1. 法政大学)
PDFダウンロードPDFダウンロード

[D-3-05]ライブ性に注目したインタラクティブシステム開発環境の提案

○斉藤 雅騎1、佐々木 晃1 (1. 法政大学)
PDFダウンロードPDFダウンロード

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

○石川 公彬1、中島 毅2 (1. 芝浦工業大学大学院、2. 芝浦工業大学)
PDFダウンロードPDFダウンロード

休憩時間

[D-3-07]Mizar数学ライブラリの解説記事を提供するWebアプリケーション

○照屋 勇太1、中正 和久1 (1. 山口大学)
PDFダウンロードPDFダウンロード

[D-3-08]言語機能制限下での汎用プログラミング言語学習環境の研究

○高松 琢朗1、佐々木 晃1 (1. 法政大学)
PDFダウンロードPDFダウンロード

[D-3-09]2Dゲーム開発の支援を目的としたライブプログラミング環境の試作

○深澤 心1、佐々木 晃1 (1. 法政大学)
PDFダウンロードPDFダウンロード

[D-3-10]予測・立案型デジタルツインの構築法確立のための溜池測深ボートの試作

○大島 孝太1、中島 毅2、延本 翔 2 (1. 芝浦工業大学大学院理工学研究科、2. 芝浦工業大学工学部情報工学科)
PDFダウンロードPDFダウンロード

[D-3-11]定理証明支援系Mizarのリモート検証システムの構築

○甲斐 俊紀1、中正 和久1 (1. 山口大)
PDFダウンロードPDFダウンロード

[D-3-12]eBPF を用いたパケット操作ソフトウェア試験の一検討

○中嶋 智樹1、山田 恭平1、北野 雄大 1、白神 彰則1 (1. 日本電信電話株式会社)
PDFダウンロードPDFダウンロード