（プログラム編成の都合上、プログラムが変更になる可能性があります。）
講演論文集はこちらです．
各発表には以下のルールに従って番号を振ってあります。（nは自然数、XはR,P,T,Iのいずれかです。）
- n-R は登壇発表トラックの発表です。
- n-P はデモ・ポスタートラックの発表です。
- n-T はトップカンファレンス・トップ論文誌特別講演の発表です。
- n-I はその他の招待発表です。
- さらにn-X-Sは学生による発表であり、学生が対象の発表賞の選考対象となります。
タイムテーブル
併設イベント
表中の「#XXX」はSlackの対応するチャネル名を表しています．
2日目（9月13日）
表中の「#XXX」はSlackの対応するチャネル名を表しています．
3日目（9月14日）
表中の「#XXX」はSlackの対応するチャネル名を表しています．
1日目 (9月12日)
基調講演 (1) (9:20〜10:30)
丸山宏（花王株式会社）「コンピュータサイエンスはどこへ向かうか」
概要: 機械学習や生成モデルの技術が広く使われるようにつれて、今までの「ノイマン型アーキテクチャの計算機で、人が書いたプログラムを走らせる」という計算のやり方が大きく変化しつつある。この講演では、世の中で「計算」とみなせる様々な事象に触れながら、それらを「計算の仕様をどのように与えるか」という観点で分類することを提唱する。その上で、本学会を含むコンピュータサイエンスの研究・実務コミュニティが今後どのような課題にチャレンジすべきかを議論する。
座長：末永幸平（京都大学）
口頭発表セッション (1) (10:50〜12:20)
機械学習 (1) (213会場)
座長: 丸山宏 (花王)
| 1-R |
深層ニューラルネットワークに対するリスク・優先度に応じた分散型修正技術DistrRep |
| ○石川 冬樹 (National Institute of Informatics), Paolo Arcaini (National Institute of Informatics) |
| 1-T |
PAFL: Probabilistic Automaton-based Fault Localization for Recurrent Neural Networks
(トップカンファレンス・トップ論文誌特別講演: Inf. Softw. Technol. 155: 107117 (2023)) |
| ○Yuta Ishimoto (九州大学), Masanari Kondo (九州大学), Naoyasu Ubayashi (九州大学), Yasutaka Kamei (九州大学) |
| 2-T |
ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks
(トップカンファレンス・トップ論文誌特別講演: ACM Transactions on Software Engineering and Methodology (2023)) |
| Hua Qi (Kyushu University), Zhijie Wang (University of Alberta), Qing Guo (Centre for Frontier AI Research (CFAR), A*STAR, and Institute of High Performance Computing (IHPC), A*STAR), Jianlang Chen (Kyushu University), Felix Juefei-Xu (Meta AI), ◯Fuyuan Zhang (Kyushu University), Lei Ma (University of Alberta and The University of Tokyo), Jianjun Zhao (Kyushu University) |
教育 (1) (211会場)
座長: 本田澄 (大阪工業大学)
| 2-R-S |
CTの思考育成を促進するプログラミング協働学習の提供 |
| ◯外崎 健介 (公立はこだて未来大学), 伊藤 恵 (公立はこだて未来大学) |
| 3-R |
Web GUIを対象としたOJSプロトタイプの実装と評価 |
| ◯岡嶋 隆人 (日本工業大学大学院), 橋浦 弘明 (日本工業大学大学院) |
| 4-R-S |
EDINET APIを用いたデジタルフォレンジック学習教材向け資料生成プログラムの開発 |
| ◯松浦 芽生 (日本大学理工学部応用情報工学科), 五味 悠一郎 (日本大学理工学部) |
アプリケーション (1) (212会場)
座長: 沢田篤史 (南山大学)
| 5-R-S |
消費期限お知らせシステムの開発 |
| ◯宇都野 勇斗 (群馬大学 理工学府), 安藤 崇央 (群馬大学 理工学府 電子情報部門) |
| 6-R-S |
複合現実デバイスを用いた模様替え補助システムの開発 |
| ◯松元 香樹 (群馬大学 理工学府 理工学専攻 電子情報・数理教育プログラム), 安藤 崇央 (群馬大学 理工学府 電子情報部門) |
| 7-R-S |
道幅における個人の嗜好を考慮した 道案内システムの開発 |
| ◯岩城 翔也 (群馬大学 理工学府), 安藤 崇央 (群馬大学 理工学府 電子情報部門) |
口頭発表セッション (2) (13:20〜14:50)
教育 (2) (213会場)
座長: 福安直樹 (大阪工業大学)
| 8-R-S |
e-Learningを用いたプログラミング学習に対する高い動機づけ維持のための取り組み |
| ◯中野 瑛斗 (公立はこだて未来大学 システム情報科学部 情報アーキテクチャ学科), 伊藤 恵 (公立はこだて未来大学) |
| 3-T |
Envisioning software engineer training needs in the digital era through the SWEBOK V4 prism
(トップカンファレンス・トップ論文誌特別講演: CSEE&T 2023) |
| ◯Hironori Washizaki (Waseda University), Maria-Isabel Sanchez-Segura (University Carlos III of Madrid), Juan Garbajosa (Universidad Politecnica de Madrid), Steve Tockey (Construx Software), Kenneth E Nidiffer (George Mason University) |
| 4-T |
A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams
(トップカンファレンス・トップ論文誌特別講演: CSEE&T 2023) |
| ◯Takuma Kimura (Shinshu University), Shinpei Ogata (Shinshu University), Erina Makihara (Ritsumeikan University), Kozo Okano (Shinshu University) |
圏論とその応用 (211会場)
座長: 中野圭介 (東北大学)
| 9-R |
A Categorical Framework for Program Semantics and Semantic Abstraction |
| ◯Shin-Ya Katsumata (National Institute of Informatics), Xavier Rival (INRIA / ENS Paris), Jérémy Dubut (National Institute of Advanced Industrial Science and Technology) |
| 10-R-S |
べき集合クオンテールの別表現の発見 |
| ◯高林 俊規 (神奈川大学大学院工学研究科工学専攻情報システム創成領域), 西澤 弘毅 (神奈川大学情報学部システム数理学科) |
| 11-R-S |
アローに対する代数的エフェクトとエフェクトハンドラ |
| ◯眞田 嵩大 (京都大学) |
プログラミング言語処理系 (1) (212会場)
座長: 上野雄大 (新潟大学)
| 12-R-S |
Processing-in-Memory上の探索木に対するバッチクエリの負荷分散に向けて |
| ◯奥田 光 (東京大学情報理工学系研究科), 鵜川 始陽 (東京大学情報理工学系研究科) |
| 13-R-S |
ソフトリアルタイムシステムにおける CPU 使用率の向上を目指した DEADLINE スケジューラの拡張 |
| ◯山本 武蔵 (電気通信大学), 岩崎 英哉 (明治大学) |
| 14-R-S |
再帰的なグラフパターンに基づく反復パターンマッチングの効率化手法 |
| ◯白井 涼也 (早稲田大学), 今川 連 (早稲田大学), 山本 直輝 (早稲田大学), 上田 和紀 (早稲田大学) |
基調講演 (2) (213会場) (15:05〜16:15)
原田康徳（合同会社デジタルポケット）「手作りプログラミング〜プログラミング言語ビスケットの20年と、それより前の20年」
概要: プログラミングの可能性と楽しさをすべての人に伝えたい、という想いでプログラミング言語ビスケットを開発して20年になります。小学生にとても人気のツールに成長しました。なぜ作ることになったのか、ビスケットを通じどのようなメッセージを子供達に伝えてきたか、どのような影響を子供達から受けたか、さらにAIの登場を受けて、これからどう変わるのか。実例とエピソードを交えてお話します。
座長: 五十嵐悠紀 (お茶の水女子大学)
口頭発表セッション (3) (16:30〜18:30)
プログラミング言語処理系 (2) (213会場)
座長: 上野雄大 (新潟大学)
| 15-R-S |
同期的データフロープログラミングにおける逆計算の構成方式 |
| ◯白井 瑞貴 (東京工業大学), 森口 草介 (東京工業大学), 渡部 卓雄 (東京工業大学) |
| 16-R |
An Adaptation Framework for View-based Data Sharing in Bipartite Network of Bidirectional Transformations |
| ◯Soichiro Hidaka (Hosei University), Hiroyuki Kato (National Institute of Informatics), Masato Takeichi (University of Tokyo) |
| 5-T |
A Sound and Complete Algorithm for Code Generation in Distance-Based
ISA
(トップカンファレンス・トップ論文誌特別講演: CC 2023) |
| ◯Shu Sugita (The University of Tokyo), Toru Koizumi (The University of Tokyo), Ryota Shioya (The University of Tokyo), Hidetsugu Irie (The University of Tokyo), Shuichi
Sakai |
| 6-T |
Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
(トップカンファレンス・トップ論文誌特別講演: PLDI 2023) |
| ◯Tetsuro Yamazaki (The University of Tokyo), Tomoki Nakamaru (The University of Tokyo), Ryota Shioya (The University of Tokyo), Tomoharu Ugawa (The University of Tokyo), Shigeru Chiba (The University of Tokyo) |
論理とその応用 (211会場)
座長: 中野圭介 (東北大学)
| 17-R |
様相論理による統計的因果の形式化 |
| ◯川本 裕輔 (産業技術総合研究所), 佐藤 哲也 (東京工業大学), 末永 幸平 (京都大学) |
| 18-R |
Formal Verification of Automated Driving: RSS and Safety Architectures |
| ◯Clovis Eberhart (National Institute of Informatics), Jérémy Dubut (National Institute of Advanced Industrial Science and Technology), James Haydon (National Institute of Informatics), Ichiro Hasuo (National Institute of Informatics) |
| 19-R |
ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性 |
| ◯伊藤 宗平 (長崎大学), 龍田 真 (国立情報学研究所 / 総研大) |
ソフトウェア工学 (1) (212会場)
座長: 名倉正剛 (南山大学)
| 20-R-S |
Page Trendによる記述状況の可視化を用いた要求仕様書の理解手法の提案とtf-idfによる記述状況の比較評価 |
| ◯中村 雄太郎 (工学院大学), 長岡 武志 (株式会社東芝), 北川 貴之 (株式会社東芝), 位野木 万里 (工学院大学), 本位田 真一 (早稲田大学/国立情報学研究所) |
| 21-R-S |
プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計 |
| ◯酒井 大我 (Tokyo Institute of Technology), 増原 英彦 (Tokyo Institute of Technology), 叢 悠悠 (Tokyo Institute of Technology) |
| 22-R |
段階的再構築における依存関係分析を用いた費用対効果の試算 |
| ◯横井 一輝 (株式会社NTTデータグループ), 崔 恩瀞 (京都工芸繊維大学), 吉田 則裕 (立命館大学), 岡田 譲二 (株式会社NTTデータグループ), 肥後 芳樹 (大阪大学) |
2日目 (9月13日)
基礎研究賞授賞式・受賞講演 (1) (213会場) (9:00〜10:10)
- 本位田真一（国立情報学研究所）「MAPE-Kモデルに基づく、生成AIによるゴールモデル生成」
概要: 本発表では、ChatGPTを用いることで、機能要求や非機能要求から所望のゴールモデル生成が可能なのかの初期実験結果を踏まえて、完成度の高い要求仕様書を生成することを支援するゴールモデル生成器の実現可能性を論じる。まずは、エージェントモデリング技術であるMAPE(Monitor-Analyze-Plan-Execute)-Kによって新人の要求分析者の行動をモデル化することで、外界の定義や活躍するLLMの登場場面と役割、さらにはLLM間の活用・連携プロセス、パターンを整理することが可能であることを示し、ゴールモデル生成器の実現に向けての研究課題を整理する。
- 小野寺民也（日本IBM）「オブジェクト指向言語実装余話」
概要: 1988年に職業研究者となって以来、いくつかのオブジェクト指向言語の実装に関わってきた。本講演ではその中から、ごみ集め、同期処理、ベンチマークに関するものを紹介し、特に、ごみ集めについては、オブジェクト指向言語の実装史の文脈でも議論してみたい。
口頭発表セッション (4) (10:30〜12:00)
静的・実行時検証とその要素技術 (1) (213会場)
座長: 渡部卓雄 (東京工業大学)
| 23-R |
Automatic Correctness Checking of Haskell’s Rewrite Rules: Theory and Practice |
| ◯Makoto Hamana (Gunma University) |
| 24-R-S |
Active Learning of Symbolic Mealy Machines |
| ◯Kengo Irie (Graduate School of Informatics, Kyoto University), Masaki Waga (Graduate School of Informatics, Kyoto University), Kohei Suenaga (Graduate School of Informatics, Kyoto University) |
| 7-T |
Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
(トップカンファレンス・トップ論文誌特別講演: IEEE Transactions on Software Engineering (TSE), 2022) |
| Kenji Tei (早稲田大学), ◯Yasuyuki Tahara (電気通信大学), Akihiko Ohsuga (電気通信大学) |
プログラミング言語処理系 (3) (211会場)
座長: 小宮常康 (電気通信大学)
| 25-R-S |
ストレージストラテジーによる JavaScript オブジェクト配列のメモリ使用量削減 |
| ◯永谷 龍彦 (東京大学情報理工学系研究科), 鵜川 始陽 (東京大学情報理工学系研究科) |
| 26-R-S |
不要な場合でもオーバヘッドの小さいawaitのJavaScript言語における実現に向けて |
| ◯川向 聡 (東京大学), 山崎 徹郎 (東京大学), 千葉 滋 (東京大学) |
| 27-R-S |
An Object-Oriented Programming Model for Processing-in-Memory Computing in Java Language |
| ◯Wanhong Huang (The University of Tokyo), Tomoharu Ugawa (The University of Tokyo) |
教育(3) (212会場)
座長: 井垣宏 (大阪工業大学)
| 28-R-S |
アジャイル開発を行うPBLチームの心理的安全性を測定するシステムの提案 |
| ◯近藤 篤 (公立はこだて未来大学 システム情報科学部 情報アーキテクチャ学科), 伊藤 恵 (公立はこだて未来大学) |
| 29-R |
アジャイル開発人材育成のためのPBL型教育におけるプラクティス：2023年度プロジェクトの事例 |
| ◯中鉢 欣秀 (東京都立産業技術大学院大学), 大野 寛人 (東京都立産業技術大学院大学), 鈴木 真希 (東京都立産業技術大学院大学), 中山 建太 (東京都立産業技術大学院大学), 平田 聖 (東京都立産業技術大学院大学), Fabianmarcelo Fernandez (東京都立産業技術大学院大学), 水野 響 (東京都立産業技術大学院大学), 宮原 大滋 (東京都立産業技術大学院大学) |
| 30-R-S |
3DCGを活用したプログラミング教育教材開発の試み |
| ◯相馬 佑哉 (日本工業大学), 粂野 文洋 (日本工業大学) |
口頭発表セッション (5) (13:00〜14:30)
ソフトウェア工学 (2) (213会場)
座長: 槇原絵里奈 (立命館大学)
| 31-R |
時間オートマトンプロセスモデルにおけるコンフォーマンスチェッキング |
| ◯伊藤 宗平 (長崎大学情報データ科学部), 濱江 堅登 (FCCテクノ) |
| 32-R |
実務で使われるコードクローン検出・追跡システムをめざして |
| ◯三木 聡 (株式会社フィックスターズ), 大歳 始 (株式会社 Sider), 浅原 明広 (株式会社 Sider), 大澤 俊晴 (株式会社 Sider), 千葉 滋 (株式会社 Sider) |
| 8-T |
An empirical study of issue-link algorithms: which issue-link algorithms should we use?
(トップカンファレンス・トップ論文誌特別講演: EMSE 27-6, 2022) |
| ◯Masanari Kondo (九州大学), Yutaro Kashiwa (奈良先端科学技術大学院大学), Yasutaka Kamei (九州大学), Osamu Mizuno (京都工芸繊維大学) |
プログラム解析 (211会場)
座長: 稲葉一浩 (Google)
| 33-R-S |
Exploiting Adjoints in Property Directed Reachability Analysis |
| ◯Mayuko Kori (National Institute of Informatics), Flavio Ascari (University of Pisa), Filippo Bonchi (University of Pisa), Roberto Bruni (University of Pisa), Roberta Gori (University of Pisa), Ichiro Hasuo (National Institute of Informatics) |
| 34-R-S |
グラフ書換え言語におけるグラフ操作の軽量かつ静的な型検査 |
| ◯山本 直輝 (早稲田大学), 上田 和紀 (早稲田大学) |
| 35-R-S |
Incorporate Program Analysis into Persistence by Reachability Model |
| ◯Yilin Zhang (University of Tokyo), Omkar Dilip Dhawal (Indian Institute of Technology Madras), V. Krishna Nandivada (Indian Institute of Technology Madras), Shigeru Chiba (University of Tokyo), Tomoharu Ugawa (Graduate School of Information Science and Technology, the University of Tokyo) |
言語モデル (1) (212会場)
座長: 沢田篤史 (南山大学)
| 36-R-S |
慣用句単位のコード翻訳を応用したプログラミング支援の提案 |
| ◯宮原 和也 (東京大学), 山崎 徹郎 (東京大学), 千葉 滋 (東京大学) |
| 37-R |
日本語で記述された大学初年次プログラミング課題に対するChatGPTの回答能力の調査 |
| ◯森畑 明昌 (東京大学大学院総合文化研究科) |
| 38-R |
大規模言語モデルを用いたプログラミングを支援する言語機構 |
| ◯奥田 勝己 (マサチューセッツ工科大学 / 三菱電機), Saman Amarasinghe (マサチューセッツ工科大学) |
口頭発表セッション (6) (14:50〜16:20)
静的・実行時検証とその要素技術 (2) (211会場)
座長: 稲葉一浩 (Google)
| 39-R |
Higher-Order Weakest Precondition Transformers via a CPS Transformation |
| ◯Satoshi Kura (National Institute of Informatics) |
| 40-R-S |
異なる定理証明支援系間の証明の再利用に向けた帰納型の変換 |
| ◯菅野 直孝 (東北大学大学院情報科学研究科), 中野 圭介 (東北大学電気通信研究所), 浅田 和之 (東北大学電気通信研究所), 菊池 健太郎 (東北大学電気通信研究所) |
| 41-R |
Online Causation Monitoring of Signal Temporal Logic |
| Zhenya Zhang (Kyushu University), ◯Jie An (National Institute of Informatics), Paolo Arcaini (National Institute of Informatics), Ichiro Hasuo (National Institute of Informatics) |
機械学習 (2) (212会場)
座長: 吉田則裕 (立命館大学)
| 42-R |
深層学習モデルコンパイラにおけるAIチップ用コード最適化 |
| ◯Yasushi Negishi (IBM Research – Tokyo), Haruki Imai (IBM Research – Tokyo), Tung Le Duc (IBM Research – Tokyo), Kiyokuni Kawachiya (IBM Research – Tokyo) |
| 43-R-S |
解釈が容易な特徴量を用いたFeature Attribution に基づく将棋AIの指し手の解釈可能性向上手法 |
| ◯廣瀬 雄一 (京都大学), 和賀 正樹 (京都大学), 末永 幸平 (京都大学) |
| 1-I |
強化学習における不確実性説明手法の検討
(MLSE招待発表: 第6回機械学習工学ワークショップ最優秀発表賞) |
| ◯松下 康平 (日立), 間瀬 正啓 (日立), 土屋 祐太 (日立), 森 靖英 (日立) |
ポスターセッション (16:30〜18:00) (ポスター会場)
| 1-P |
Formal Verification of Automated Driving: RSS and Safety Architectures |
| ◯Clovis Eberhart (National Institute of Informatics), Jérémy Dubut (National Institute of Advanced Industrial Science and Technology), James Haydon (National Institute of Informatics), Ichiro Hasuo (National Institute of Informatics) |
| 2-P-S |
生体情報に基づくデザイン思考要求獲得手法の提案 |
| ◯北澤 玲央 (工学院大学), 神子 駿 (工学院大学), 淺野 裕俊 (工学院大学), 位野木 万里 (工学院大学), 本位田 真一 (早稲田大学/国立情報学研究所) |
| 3-P-S |
論理制約付き項書き換えシステムにおける末尾再帰変換の正当性証明と実装 |
| ◯井出 政宏 (新潟大学), 青戸 等人 (新潟大学) |
| 4-P-S |
条件付き項書き換えシステムの危険対条件に基づく合流性検証 |
| ◯東 幸輝 (新潟大学), 青戸 等人 (新潟大学) |
| 5-P-S |
VASSからVASへの変換の MathCompによる形式化 |
| ◯脇坂 勝大 (千葉大学 大学院融合理工学府 数学情報科学専攻), 山本 光晴 (千葉大学 大学院理学研究院) |
| 6-P-S |
階層グラフ書換え言語による線形論理のカット除去のエンコーディング |
| ◯田久 健人 (Waseda University), 上田 和紀 (Waseda University) |
| 7-P |
リファクタリングのメリットを提示することによる効果の分析に向けた試み |
| ◯本田 澄 (大阪工業大学), 吉田 晃輔 (大阪工業大学), 井垣 宏 (大阪工業大学), 福安 直樹 (大阪工業大学) |
| 8-P |
後方参照と先読み付き正規表現の所属性判定問題 ∈ NL |
| ◯Yuya Uezato (サイバーエージェント) |
3日目 (9月14日)
40周年企画セッション「若手研究者特別講演」(9:00〜11:00)
- 叢 悠悠 (東京工業大学)「継続と歩んだ10年間」
概要: 継続は「残りの計算」を表す概念であり、さまざまなドメインで有用となることが知られています。本発表では、私がこれまでの研究で扱ってきた継続の応用例と、これからの研究で取り組む予定の課題について紹介します。
- 近藤 将成 (九州大学)「開発者に喜ばれるソフトウェアリポジトリマイニング研究を目指して」
概要: ソフトウェアリポジトリマイニングはソフトウェアの開発履歴などの情報を分析し，ソフトウェア開発者に有用な知見を見つけ出す研究分野である．ここでの知見とは，そのまま開発者が利用可能なものや，機械学習・深層学習を開発履歴などの情報に適用する際に気をつけるべき点のようなものまで，さまざまなものを幅広く含む．そのため，この分野では，多くの研究者がさまざまな観点から研究を進めている．一方で，含む範囲が広すぎることもあり，その魅力や開発者にどのように喜ばれるのかが一見すると分かりにくい．本発表では，発表者の研究を具体例として概説しつつ，ソフトウェアリポジトリマイニングの魅力と，どのような問題を解決して開発者に喜ばれることを目指しているのかについて個人的な考えを紹介する．
- 木塚 あゆみ (大阪芸術大学)「アプリケーション開発者のためのユーザ中心設計 -視点を変えて気づく-」
概要: 「使いたくなる」アプリケーションを開発するためには、ユーザの課題を的確に捉え、解決する方法を考えることが必要である。そのためには確かなユーザの観察と的確な解決策の提案が必要である。しかし人は目の前のものごとを見る際に情報を簡略化して捉えがちであり、ありのままを見ることは難しい。ステレオタイプに囚われず解決策を考えることも難しい。そこでデザイン教育で用いられている手法をもとに、視点を変えてユーザの視点に気づく2つの手法を用いてデザイン演習を行った。目の前の状況を絵に描くことで見逃していたユーザの状況を捉える「スケッチ法」、思い込みに囚われずに解決策を検討する「異世界比較法」である。これによりユーザが「使いたくなる」視点を見極める力を身につける。
- 椎葉 瑠星 (総合研究大学院大学) “Toward reliable network operations using formal verification techniques”
概要: 多くのシステムやサービスがネットワークを介した通信を前提とする中、ネットワーク障害がそれらの通信の阻害や品質の低下をたびたび引き起こしている。世界の様々なネットワーク運用者からの調査の結果、その障害の多くがネットワーク機器の設定間違えや人為的ミスによって発生したことが判明している。それらを防ぐ1つの方法として、形式検証の理論や技術をネットワーク運用に活用し、それらの障害を事前に防いだり、障害発生時に原因をすぐさま突き止めることを目的とする“Network verification”と呼ばれる研究がなされている。本発表では、初めにNetwork verificationの研究背景や動向を簡単に紹介する。次に、大規模ネットワークにおいて高速に、かつ正確にネットワーク障害を発見するために発表者が行った2つの研究を紹介する。ここでは、それら2つの手法を用いて国内最大規模のプライベートクラウドにおけるネットワーク障害の検証を行った結果も紹介する。
- 室屋 晃子 (京都大学)「プログラムを質的かつ量的に比較する」
概要: アブストラクト：プログラミングにおける基本的な作業の一つに、プログラム同士を比較することがある。例えば2つのプログラムの実行結果が等しいことが分かれば、リファクタリングや最適化の正しさを保証することができるし、一方のプログラムが他方のプログラムより早く実行できると分かれば、最適化の効果を保証することもできる。実行結果の等しさを保証するための数理的手法については様々な研究がありよく知られている。しかし、実行結果の（質的な）等しさとコストの（量的な）違いを同時に保証するための数理的手法については、行われてきた研究が限定的である。本発表では、質的・量的両面からプログラム同士を比較するための手法について、時間コストに注目した発表者の最近の研究を紹介する。
口頭発表セッション (7) (11:15〜12:45)
言語モデル (2) (213会場)
座長: 近藤将成 (九州大学)
| 44-R-S |
GPTを用いたデスクトップ・エージェント・システムの開発 |
| ◯坂本 晋太郎 (群馬大学 理工学府 電子情報部門), 安藤 崇央 (群馬大学 理工学府 電子情報部門) |
| 45-R-S |
プロンプト作成の負荷を軽減する生成系AIを用いた学習支援ツールの提案 |
| ◯高野 希澄 (公立はこだて未来大学), 伊藤 恵 (公立はこだて未来大学) |
| 46-R-S |
Few-Shot Promptingを用いた言語系生成AIによるプログラミング演習問題の自動生成手法の検討 |
| ◯田中 英武 (大阪工業大学), 前田 悠翔 (大阪工業大学), 井垣 宏 (大阪工業大学) |
プログラミング言語 (211会場)
座長: 平石拓 (京都橘大学)
| 47-R-S |
組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御 |
| ◯瀧本 哲史 (東京工業大学), 森口 草介 (東京工業大学), 渡部 卓雄 (東京工業大学) |
| 48-R |
Minissg: 小さく軽量で規約のない静的Webサイトジェネレータ |
| ◯上野 雄大 (新潟大学自然科学系) |
| 49-R-S |
機械学習を用いた悪性Pythonパッケージの検出 |
| ◯近藤 徳彦 (筑波大学), 大山 恵弘 (筑波大学) |
理論計算機科学 (212会場)
座長: 末永幸平 (京都大学)
| 50-R |
Connectivity in the presence of an opponent |
| Zihui Liang (University of Electronic Science and Technology of China), Bakh Khoussainov (University of Electronic Science and Technology of China), ◯Toru Takisaka (University of Electronic Science and Technology of China), Mingyu Xiao (University of Electronic Science and Technology of China) |
| 51-R |
いくつかの組合せ子の非停止性 |
| ◯岩見 宗弘 (島根大学) |
| 52-R |
時間的性質類の言語的及び位相的特性 |
| ◯冨田 尭 (北陸先端科学技術大学院大学) |
基礎研究賞授賞式・受賞講演 (2) (213会場) (13:45〜14:55)
- 長谷川真人（京都大学）「プログラム意味論と圏論…と幾何」
概要: プログラミング言語の意味論（特に表示的意味論）と、圏論を介した数学（特に幾何学）との関係について、私が関わってきた事例とそれから学んだ教訓・展望を中心に、ざっくりお話ししたいと思います。
- 伊藤貴之（お茶の水女子大学）「情報可視化の発展に向けて」
概要: 講演者は20年以上にわたって情報可視化の研究に従事してきた。情報可視化は世界的には現在も研究者が増加していて活発な議論がなされているが、日本ではそれに比べてまだコミュニティが小さいのが実情であり、ますますの普及と発展が望ましいと考えられる。本講演で講演者自身の情報可視化の研究を紹介するとともに、これらの研究が今後どのようにソフトウェア科学への貢献を含めた発展につながるのかを議論する。
40周年記念パネル「日本ソフトウェア科学会第一回大会を振り返る」(213会場) (15:15〜16:15)
今回の大会は第40回の節目の大会となりました。そこで1984年の日本ソフトウェア科学会設立当時を知る方々をお招きして、設立へ至る道のりや第一回大会の様子などをうかがいながら、第40回の大会へ至る道筋をふりかえるパネルを企画いたしました。なぜソフトウェアの科学を論ずる学会を設立するに至ったのか、新しく学会を作るということはどういうことだったのか、当時の本会会員の方々の思いを引き出すパネルにしたいと思います。
パネリスト
- 土居 範久
- 慶應義塾大学名誉教授・公益財団法人日本学術協力財団常務理事
- 本会設立時の理事
- 筧 捷彦
- 早稲田大学名誉教授・東京通信大学名誉教授
- 本会設立時の理事・本会評議員
- 柴山 悦哉
- 高田 広章
- 千葉 滋
口頭発表セッション (8) (16:30〜18:00)
機械学習 (3) (213会場)
座長: 石川冬樹 (国立情報学研究所)
| 53-R |
仮想人体生成モデルにおける品質管理 |
| ◯尾藤 宏達 (花王株式会社 デジタル事業創造部), 日比 壮信 (花王株式会社 生物科学研究所), 大野 健太 (株式会社Preferred Networks), 斉藤 友樹 (花王株式会社 デジタル事業創造部), 南 和宏 (統計数理研究所), 丸山 宏 (花王株式会社) |
| 54-R-S |
機械学習を用いたテーマパークのアトラクション待ち時間予測手法の確立 |
| ◯徳岡 美華 (日本大学理学部応用情報工学科), 五味 悠一郎 (日本大学理工学部) |
| 9-T |
A Generalized Backward Compatibility Metric
(トップカンファレンス・トップ論文誌特別講演: KDD 2022) |
| Tomoya Sakai (NEC; 現所属は IBM Research – Tokyo) (発表者: 松野竜太 (NEC)) |
プログラミング環境 (211会場)
座長: 平石拓 (京都橘大学)
| 55-R-S |
SATySFi におけるドメイン固有型エラー診断 |
| ◯小林 亮太 (東京大学), 佐藤 重幸 (東京大学), 田浦 健次朗 (東京大学) |
| 56-R-S |
対話性と十分な実行速度を両立した組み込みマイコン向け開発環境の提案 |
| ◯前島 文香 (東京大学), 山崎 徹郎 (東京大学), 千葉 滋 (東京大学) |
| 57-R-S |
学習者自身が物理現象をモデル化するシミュレータ SimSym の提案 |
| ◯木内 康介 (東京工業大学), 増原 英彦 (東京工業大学), 叢 悠悠 (東京工業大学) |
アプリケーション (2) (212会場)
座長: 伊藤恵 (公立はこだて未来大学)
| 58-R-S |
エージェントベース統合交通流シミュレーションにおけるメンタルモデルの開発環境構築に関する研究 |
| ◯品川 輝 (群馬大学 理工学府 理工学専攻 電子情報・数理教育プログラム), 安藤 崇央 (群馬大学 理工学府 電子情報部門) |
| 59-R-S |
あがり症のためのプレゼンテーション補助システムの開発 |
| ◯北村 美雄 (群馬大学 理工学府), 安藤 崇央 (群馬大学 理工学府 電子情報部門) |
クロージング (213会場) (18:10〜18:30)
日本ソフトウェア科学会第40回大会 