日本ソフトウェア科学会は1983年の設立から本年で40周年を迎えます。これを記念し、第40回大会の学生の参加費を無料とすることを決定しました。大学生だけでなく中高生まで幅広い参加をお待ちしております。
プログラムを公開しました。参加をご検討ください。
開催時期
大会：9月12日(火)〜9月14日(木)
関連イベント：9月11日(月)
受賞発表
優秀発表賞
- 9-R: Shin-Ya Katsumata (National Institute of Informatics)「A Categorical Framework for Program Semantics and Semantic Abstraction」
- 11-R-S: 眞田 嵩大 (京都大学)「アローに対する代数的エフェクトとエフェクトハンドラ」
- 23-R: Makoto Hamana (Gunma University)「Automatic Correctness Checking of Haskell’s Rewrite Rules: Theory and Practice」
- 24-R-S: Kengo Irie (Graduate School of Informatics, Kyoto University)「Active Learning of Symbolic Mealy Machines」
- 44-R-S: 坂本 晋太郎 (群馬大学 理工学府 電子情報部門)「GPTを用いたデスクトップ・エージェント・システムの開発」
- 48-R: 上野 雄大 (新潟大学自然科学系)「Minissg: 小さく軽量で規約のない静的Webサイトジェネレータ」
- 55-R-S: 小林 亮太 (東京大学)「SATySFi におけるドメイン固有型エラー診断」
- 56-R-S: 前島 文香 (東京大学)「対話性と十分な実行速度を両立した組み込みマイコン向け開発環境の提案」
学生奨励賞
- 11-R-S: 眞田 嵩大 (京都大学)「アローに対する代数的エフェクトとエフェクトハンドラ」
- 21-R-S: 酒井 大我 (Tokyo Institute of Technology)「プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計」
- 24-R-S: Kengo Irie (Graduate School of Informatics, Kyoto University)「Active Learning of Symbolic Mealy Machines」
- 43-R-S: 廣瀬 雄一 (京都大学)「解釈が容易な特徴量を用いたFeature Attribution に基づく将棋AIの指し手の解釈可能性向上手法」
- 44-R-S: 坂本 晋太郎 (群馬大学 理工学府 電子情報部門)「GPTを用いたデスクトップ・エージェント・システムの開発」
- 46-R-S: 田中 英武 (大阪工業大学)「Few-Shot Promptingを用いた言語系生成AIによるプログラミング演習問題の自動生成手法の検討」
- 55-R-S: 小林 亮太 (東京大学)「SATySFi におけるドメイン固有型エラー診断」
- 56-R-S: 前島 文香 (東京大学)「対話性と十分な実行速度を両立した組み込みマイコン向け開発環境の提案」
優秀デモ・ポスター賞
- 1-P: Clovis Eberhart (National Institute of Informatics)「Formal Verification of Automated Driving: RSS and Safety Architectures」
- 2-P-S: 北澤 玲央 (工学院大学)「生体情報に基づくデザイン思考要求獲得手法の提案」
- 7-P: 本田 澄 (大阪工業大学)「リファクタリングのメリットを提示することによる効果の分析に向けた試み」
会場
東京大学本郷キャンパス（工学部2号館1階）とオンラインのハイブリッド開催（予定）
イベント情報
基調講演(1)
丸山 宏（花王）
「コンピュータサイエンスはどこへ向かうか」
基調講演(2)
原田 康徳（合同会社デジタルポケット）
「手作りプログラミング プログラミング言語ビスケットの20年と、それより前の20年」
トップカンファレンス・トップ論文誌特別講演
Tomoya Sakai.
A Generalized Backward Compatibility Metric.
(In KDD2022; MLSE 推薦; 発表者: 松野竜太)
Hironori Washizaki, Maria-Isabel Sanchez-Segura, Juan Garbajosa, Steve Tockey, Kenneth E Nidiffer.
Envisioning software engineer training needs in the digital era through the SWEBOK V4 prism.
(In CSEE&T 2023; rePiT 推薦)
Kenji Tei, Yasuyuki Tahara, Akihiko Ohsuga.
Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems.
(In TSE 2023; FOSE 推薦)
Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Fuyuan Zhang, Lei Ma, Jianjun Zhao.
ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks.
(In ACM Transactions on Software Engineering and Methodology, 2023; MLSE 推薦)
Tetsuro Yamazaki, Tomoki Nakamaru, Ryota Shioya, Tomoharu Ugawa, Shigeru Chiba.
Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
(In PLDI 2023; PPL 推薦)
Shu Sugita, Toru Koizumi, Ryota Shioya, Hidetsugu Irie, Shuichi Sakai.
A Sound and Complete Algorithm for Code Generation in Distance-Based ISA.
(In CC 2023; PPL 推薦)
Takuma Kimura, Shinpei Ogata, Erina Makihara, Kozo Okano.
A Method to Semi-Automatically Identify and Measure Requirements Unsatisfied in Learner-Created State Machine Diagrams.
(In CSEE&T 2023; rePiT 推薦)
Masanari Kondo, Yutaro Kashiwa, Yasutaka Kamei & Osamu Mizuno.
An empirical study of issue-link algorithms: which issue-link algorithms should we use?
(In EMSE 2022; FOSE 推薦)
Yuta Ishimoto, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei.
PAFL: Probabilistic Automaton-based Fault Localization for Recurrent Neural Networks.
(In Information and Software Technology, 2023; MLSE 推薦)
チュートリアル
加藤 淳（産業技術総合研究所），橋本 麦（産業技術総合研究所）
「試して作って知る ライブプログラミング入門」
PPLサマースクール
千田 忠賢（NTT社会情報研究所），南出 靖彦（東京工業大学）
「正規表現研究の最先端」
40周年企画セッション「若手研究者特別講演」
叢 悠悠（東京工業大学）
近藤 将成（九州大学）
木塚 あゆみ（大阪芸術大学）
椎葉 瑠星（総合研究大学院大学）
室屋 晃子（京都大学）
日本ソフトウェア科学会第40回大会 