日火セッション
オープニング[A会場] 9:30 招待講演 9:35-10:35
スポンサー全体プレゼンテーション
スポンサー交流会
PPL・一般 [C会場]
12:00 - 14:15

座長/司会

番号住井 英二郎（東北大学）

八杉 昌宏（九州工業大）オンライン授業 これまでの教訓と今後へ向けて

1-L
2-L
3-L
4-L
5-S
6-L
7-S

rePiT [A会場]
13:00 - 14:45

名倉正剛（南山大学）

8-S
9-S
10-L

FOSE [B会場]
13:00 - 14:40

門田 暁人（岡山大学）

11-L
12-L

PPL [C会場]
14:30 - 16:15

13-S
14-L
星野 直彦（崇城大）

15-L
16-L

rePiT企画セッション[A会場]
14:45 - 16:25

ソフトウェア論文 [B会場]
14:45 - 15:45
MLSE [B会場]
15:55 - 16:25
トップカンファレンス特別講演(MLSE, PPL)[B会場]
16:30 - 18:10

タイトル

大場みち子
（はこだて未来大学）

発表者

田浦 健次朗 （東京大学 情報基盤センター長）

対話的手法により最適化コードを生成する科学技術計算用DSL
西田 秀之, 千葉 滋
型付きDSLに対するプログラム変換の型安全なフレームワーク
高木 尚, 亀山 幸義
解集合プログラミングを用いた配電網問題の解法に関する一考察
山田 健太郎, 湊 真一, 番原 睦則
WSAN向けマクロプログラミング言語の提案
後藤 司, 森口 草介, 渡部 卓雄
C#におけるAlgebraic Effectsの実装の試み
野口 龍, 松本 倫子, 吉田 紀彦
グローバルProject-based Learningにおける組込みソフトウェアのモデル駆 大江 信宏, 久住 憲嗣, 三輪 昌史, 佐藤 未来子, 渡辺 晴美
動開発と適用評価
LMSを用いたプログラミング授業における機械学習による得点率予測
松尾 龍磨, 伊藤 恵
スマートフォンアプリケーション開発初心者向けユーザビリティ評価手法の提 岸川 竜也, 伊藤 恵案
ビデオ会議システムにおけるリモートモブプログラミングのための役割ごと支 寺中 靖幸, 高山 裕暉, 濱田 優弥, 井垣 宏
援機能の検討全体討議
教師ラベルなし単言語学習データのみでのcross-languageコードクローン
劉 宇澤, 千葉 滋
検出の試み
Simultaneously Searching and Solving Multiple Avoidable Collisions for Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki
Testing Autonomous Driving Systems - Extended abstract
Ishikawa
Attempts on applying graph neural network on cross-language codeXuyang Yao, Shigeru Chibaclone detection
Trees in Partial Higher Dimensional Automata
Jérémy Dubut
より清浄なStream Fusion
小林 友明, Oleg Kiselyov
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro
Codensity Games for Bisimilarity
Hasuo
Graded Algebraic Theories
内藏 理史
渡辺 知恵美 （筑波技術大学産業技術学部）
enPiT BizSysD (ビジネスシステムデザイン分野）： オンラインPBLで見え
パネル討論参加：小林 真也 （愛媛大学工学部） 大場 みち子 （公立はこだた、受講生・TA・教員を巻き込んだ知識創造のサイクルて未来大学システム情報科学部）
enPiT Emb （組込みシステム分野）： CAD ツールを用いた組込みシステム 王 森レイ （愛媛大学工学部）
開発のバーチャル演習実践
enPiT Security（セキュリティ分野）： セキュリティ技術系演習におけるオンラ 大久保 隆夫 （情報セキュリティ大学院大学情報セキュリティ研究科 ）イン化の挑戦
enPiT AiBiC（ビッグデータ・AI 分野）：大規模プログラミング演習のオンライ 小林 克志 （東京大学大学院情報理工学系研究科）
ン化
enPiT-Pro Emb（社会人向け組込みシステム分野）：社会人組込み技術者 福島 泰子 （名古屋大学大学院情報学研究科）
向けのオンライン教育
enPiT-Pro SmartSE（社会人向けスマートシステム＆サービス技術の産学連携イノベーティブ人材育成）：enPiT-Proスマートエスイー：社会人AI・IoT教 岡崎 正一 （スマートエスイー事務局）
育のオンラインファーストに向けた展望
Fluent API 生成の現実世界での利用に向けて
中丸 智貴, 千葉 滋

河合 栄治
（情報通信研究機構）

17-L

18-L ある論文誌のための査読支援システム

千葉 滋

石川冬樹
（国立情報学研究所）

19-L とらえるべき特徴に着目した深層学習モデルの構築

浅野 正義, 川越 佑太, 吉岡 信和

石川冬樹（国立情報学研究所）
八杉 昌宏（九州工業大）Towards Characterizing Adversarial Defects of Deep Learning Software Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu,from the Lens of Uncertainty (ICSE 2020)
Jianjun Zhao, Meng Sun
Modular Inference of Linear Types for Multiplicity-Annotated Arrows
Kazutaka Matsuda(ESOP 2020)
Space-Efficient Gradual Typing in Coercion-Passing Style (ECOOP
Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi2020)日
水セッション
招待講演 [A会場]
9:30 - 10:35

座長/司会
住井 英二郎（東北大学）

中澤 巧爾（名古屋大）

PPL・一般 [A会場]
13:00 - 14:30

平石 拓（京都大）

FOSE [B会場]
13:00 - 14:40

野田 夏子（芝浦工業大学）

スーパーコンピュータ「富岳」の概要と開発史

30-P
31-P
32-P
33-L
34-L
35-L
36-L
37-L
38-L
39-L
40-L
41-S
42-S
43-L
44-L
46-L

一般 [A会場]
15:15 - 16:45
ソフトウェア論文 [B会場]
14:45 - 15:45

亀井 靖高（九州大学）

47-L
48-L
49-L

宋 剛秀（神戸大）

PPL [C会場]
14:45 - 16:45

中尾 昌広（理研）

一般 [B会場]
15:55 - 16:55

鵜林 尚靖（九州大学）

トップカンファレンス特別講演（PPL）[A会場]
17:05 - 18:10

タイトル

発表者
石川 裕 （理化学研究所 フラッグシップ2020プロジェクトリーダー）

20-P Weakest Preconditions in Fibrations
Alejandro Aguirre, Shin-Ya Katsumata
パッケージマネージャにおけるパッケージの依存関係の事前計算によるパッ21-P
笠井 信宏, 篠埜 功
ケージ取得時間の短縮
22-P 終余代数と圏論にもとづく正則項単一化の一般化について
宮前 海里, 青戸 等人
23-P グラフ書き換え言語 LMNtal による時間オートマトンのゾーングラフ構築
橋本 彩美, 恒川 雄太郎, 上田 和紀
24-P ライブプログラミング環境は多言語化/多開発環境化の夢を見るか
高橋 修祐, 伊澤 侑祐, 増原 英彦
25-P ソフトウェア開発工数予測へのAutoMLの適用
田中 和也, 門田 暁人
26-P Graded modalityを用いた型ベースの互換性解析
田辺 裕大, Luthfan Anshar Lubis, 青谷 知幸, 増原 英彦
27-P ソフトウェア開発実績データセットへのデータスムージングの適用
伊永 健人, 門田 暁人
28-P SATソルバーを用いた一層平面配置配線問題の解法に関する考察
三嶋 哲平, 宋 剛秀, 田村 直之
29-P Event-Bによるリファインメントのパターン最適化
荒井 滉平，本位田 真一，鄭 顕志

ポスター・デモスポンサー展示
10:40 - 12:55

PPL [C会場]
12:00 - 14:30

番号

松崎 公紀
（高知工科大学）

50-L
51-L
52-L
53-L
54-L
55-L
56-LBatakJava: A Java Extension with Versions
Luthfan Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
デザインレシピに基づいたプログラミング環境の実装に向けて
能勢 純弥, 叢 悠悠, 増原 英彦
池守 和槻, 叢 悠悠, 増原 英彦
パラメタライズドモナドによる依存アップデートの形式化に向けてType-check Python Programs with a Union Type System
Senxi Li, Tetsuro Yamazaki, Shigeru Chiba
外部データの解釈を文脈ごとに与える動的型付け機構
大堀 淳, 上野 雄大, 高城 光平
量子ビット連結性制約検査のための依存型システム
脇坂 遼, 五十嵐 淳
Polymorphic Gradual Typing with Holes
Jaebyeog Kim, Eijiro Sumii
グラフ書換え言語における数値制約を伴う型の静的型検査
山本 直輝, 上田 和紀
不揮発性メモリの併用に特化したIOT向けプログラム言語ランタイム
井上 曜, 千葉 滋
関係代数を基礎とするプログラムに現れる名前解析システム
大堀 淳, 上野 雄大
SML#の並列処理機能とその性能
上野 雄大, 大堀 淳
観光者の路面電車利用を支援する観光アプリケーション開発
宮下 翔伍, 伊藤 恵
ICTを用いた北海道新幹線内での新たな楽しみの提供に関する研究
石川 空人, 伊藤 恵
観光地に関する風評被害を軽減するためのSNSを活用したデマ情報判別シ 櫛部 健汰, 伊藤 恵
ステムの提案
Identifying the Hazard-causing Parameters for Automotive Driving
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
Systems
BGP経路情報の地図上への投影におけるAS位置推定
黒澤 直史, 藤本 衡
ErrorSpotter: A Visual Analytics System for Spotting Errors in AI
Zhehao Yang, Ken Wakita
Generated Sports Summaries
データの可視化・文章化技術を複合させた大規模表データ探索システム
細川 夏生, 有本 昂平, 脇田 建
車両装備仕様問題に対する解集合プログラミングの適用
竹内 頼人, 田村 直之, 番原 睦則
動的OS切り替えを目的としたFreeBSDにおけるLinux互換プロセスのマイ 松原 克弥, 髙川 雄平
グレーション機構
ブラックボックステストによる軽量なリダクションループ自動並列化
森畑 明昌, 佐藤 重幸
分散メモリ環境における階層性と仕事量を考慮したワークスティール戦略
中嶋 隆介, 八杉 昌宏, 平石 拓, 馬谷 誠二
HOPE: 階層的計算省略に基づく耐障害性を備えた並列実行モデル
八杉 昌宏, 村岡 大輔, 平石 拓, 馬谷 誠二, 江本 健斗
Sanajeh: A DSL for GPGPU programming with Python objects
Jizhe Chenxin, Hidehiko Masuhara, Matthias Springer, Youyou Cong
人狼ゲームにおける最適な発言のゲーム理論による分析
清水 大輔, 長谷部 浩二
モデル検査法によるドローン物流システムの近似スケジューリング
清水 圭太, 長谷部 浩二Is Stateful Packrat Parsing Really Linear in Practice? — A CounterNariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi,Example, An Improved Grammar and Its Parsing Algorithms — (CCKoushik Sen2020)
AN5D: Automated Stencil Framework for High-Degree Temporal
Kazuaki Matsumura, Hamid Reza Zohouri, Mohamed Wahib, Toshio
Blocking on GPUs (CGO 2020)
Endo, Satoshi Matsuoka

日（木）

セッション
トップカンファレンス特別講演（PPL）[A会場]
9:30 - 11:10
一般 [A会場]
11:15 - 12:15
PPL [C会場]
11:15 - 13:15

一般 [A会場]
13:00 - 14:30

座長/司会番号松田 一孝（東北大学）
石井 大輔（北陸先端科学 57-L
技術大学院大学）
58-L
59-L
60-L
西田 直樹（名古屋大）
61-L
62-L
63-L
64-L
沢田 篤史
（南山大学）
65-L

FOSE・一般[B会場]
13:00 - 13:50

伊藤 恵（はこだて未来大）

PPL [C会場]
13:40 - 16:15

佐藤 重幸（東京大）一般 [A会場]
14:45 - 16:15

前田 俊行（千葉工業大学）

66-L
67-S
68-L
69-L
70-L
71-L
72-L
73-L
74-L
75-L

基礎研究賞特別講演
表彰式
クロージング[A会場]
16:30 - 18:10

石橋 圭介（国際基督教大学）
増原 英彦（東京工業大学）
鵜林 尚靖（九州大学）

タイトル
Compiling with Continuations, or without? Whatever (ICFP 2019)
RustHorn: CHC-based Verification for Rust Programs (ESOP 2020)
Symbolic Monitoring against Specifications Parametric in Time andData (CAV 2019)
SATソルバを用いたライフゲームにおける物体の合成手法
膜計算とセルオートマトンによる階層的人工生命モデル
Proof Normalization for Classical Truth-Table Natural Deduction
名目書き換えにおける強可換性を用いた合流性証明型システムを用いたロックフリースタックの検証
書換え系の変換を用いたZ性の証明
リアクティブシステム実現可能性必要条件の判定手続き
ビザンチン将軍問題におけるメッセージ内容に基づく故障プロセスの特定
Multi-Armed Bandits for Boolean Connectives in Hybrid System
Falsification
統計的な部分オラクルによるテスティング方法
プログラミングQAサイトにおける閲覧者の視点に着目した回答の予備調査
実環境向け並列言語実装技法の仮想環境における有効性の調査
他言語関数呼び出しにおける遠慮のかたまり問題の解決に向けたオブジェ
クトグラフの解析
自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式
YAML で記述された設定ファイルの静的検査器の開発
不揮発性メモリを用いたJavaオブジェクト永続化のオーバヘッドの調査
互いに独立した複数の巡回路を構築するアントコロニー最適化手法
Widest Paths and Global Propagation in Bounded Value Iteration for
Stochastic Games
前順序とべき集合クオンテールの間の関係性について
授賞業績：オブジェクト指向言語の基礎理論および先進的なプログラミング機構の研究
授賞業績：実証的手法を用いたソフトウェア信頼性に関する研究ならびにソフトウェアプロテクションに関する研究

発表者
Youyou Cong, Leo Osvald, Gregory Essertel, Tiark Rompf
Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
Masaki Waga, Étienne André, Ichiro Hasuo
西村 春輝, 長谷部 浩二
鈴木 遥介, 長谷部 浩二
Kousuke Fukui, Saori Ishii, Koji Nakazawa, Takeshi Tsukada
菊池 健太郎佐藤 駿太朗, 住井 英二郎
本多 雄樹, 中澤 巧爾冨田 尭
藤代 康誠, 長谷部 浩二
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
中島 震
三野 晃季, 福安 直樹, 満田 成紀, 鯵坂 恒夫
與田 拓磨, 八杉 昌宏, 平石 拓, 光来 健一
山崎 徹郎, 千葉 滋
上野 雄大
中丸 智貴, 千葉 滋
松本 康太郎, 高田 喜朗, 鵜川 始陽
岩崎 悠, 長谷部 浩二
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
安田 康史, 西澤 弘毅 ,古澤 仁
五十嵐 淳 （京都大学）
門田 暁人 （岡山大学）