情報処理学会プログラミング研究会 – 第142回プログラミング研究発表会 – プログラム
日程：2023年1月12日（木）〜 1月13日（金）
会場：広島市立大学サテライトキャンパス および オンラインのハイブリッド開催
〒730-0051 広島市中区大手町四丁目１番１号 大手町平和ビル９階
開場：1月12日（木）: 13:00〜、1月13日（金）: 8:55〜
- 1件あたり45分（発表25分，質疑・討論20分）（短い発表は発表20分, 質疑・討論10分）
- ◯印が登壇者です．
1月12日(木)
＊セッション1（13:30-15:30）：座長 宋 剛秀 （神戸大学）
- 2022-4-(1)：13:30-14:00（短い発表）
「双側面的自然演繹における余含意の計算的使い道」
○安部 達也 (千葉工業大学人工知能・ソフトウェア技術研究センター), 木村 大輔 (東邦大学理学部情報科学科)
- 2022-4-(2)：14:00-14:45
「Responsibilities of Responses in Functional Reactive Programming」
○森口 草介, 渡部 卓雄 (東京工業大学情報理工学院)
- 2022-4-(3)：14:45-15:30
「A Divide-and-Conquer Approach to Synthesizing Bidirectional Programs from Examples」
○Bach Nguyen Trong (National Institute of Informatics), Kanae Tsushima (National Institute of Informatics), Zhenjiang Hu (Peking University)
＊休憩（15:30-15:45）
＊セッション2（15:45-16:45）：座長 平石 拓（京都橘大学）
- 招待講演
「Fluent API に対する型情報を用いた静的検査」
○中丸 智貴（東京大学）
＊懇親会 18:30-20:30
1月13日(金)
＊セッション3（9:15-11:30）：座長 川端 英之（広島市立大学）
- 2022-4-(4)：9:15-10:00
「Derivatives of Context-Free Grammars with Lookahead」
○宮嵜 貴之, 南出 靖彦 (東京工業大学 情報理工学院)
- 2022-4-(5)：10:00-10:45
「光るキーボードを用いた写経型プログラミング学習の支援」
○平澤 巧望, 篠埜 功 (芝浦工業大学工学部情報工学科)
- 2022-4-(6)：10:45-11:30
「Coq to C Translation with Guaranteed Tail Recursion Elimination」
○田中 哲 (国立研究開発法人産業技術総合研究所デジタルアーキテクチャ研究センター)
＊休憩（11:30-13:45）
＊セッション4（13:45-15:00）：座長 叢 悠悠（東京工業大学）
- 2022-4-(7)：13:45-14:15（短い発表）
「合流性に基づく交差式条件付き項書き換えシステムのアンラベリング変換の健全性条件」
○長橋 謙, 青戸 等人 (新潟大学 大学院自然科学研究科)
- 2022-4-(8)：14:15-15:00
「An S4 exntension of the $\overline\lambda\mu\tilde\mu$-calculus」
○福田 陽介 (京都橘大学工学部情報工学科)
Last update: 2022-12-06
情報処理学会 プログラミング研究会 