情報処理学会プログラミング研究会 – 第132回プログラミング研究発表会 – プログラム
日程:2021年01月13日(水)〜 01月14日(木)
会場:オンライン開催
開場:01月13日(水): 10:45〜、01月14日(木): 10:45〜
- 1件あたり45分(発表25分,質疑・討論20分)(短い発表は発表20分, 質疑・討論10分)
- ◯印が登壇者です.
01月13日(水)
*セッション1(11:00-12:15):座長 鵜川 始陽(東京大学)
- 2020-4-(1):11:00-11:30(短い発表)
「手続きを含む命令型プログラムを検証するための証明戦術の提案」
○小島 裕登 (三重大学), 山田 俊行 (三重大学) - 2020-4-(2):11:30-12:15
「混合選択とタイムアウトで拡張されたマルチパーティセッション型の軽量検査」
○今井 敬吾 (岐阜大学)
*休憩(12:15-13:30)
*セッション2(13:30-15:00):座長 松田 一孝 (東北大学)
- 2020-4-(3):13:30-14:15
「A Proposal for an Interactive Shell Based on a Typed Lambda Calculus」○松井 幸治 (放送大学) - 2020-4-(4):14:15-15:00
「The Synchronized Ambient Calculus」
○加藤 暢 (近畿大学), 平嶋 洋一 (大阪工業大学)
01月14日(木)
*セッション3(11:00-12:30):座長 宋 剛秀 (神戸大学)
- 2020-4-(5):11:00-11:45
「Integrated Shrinkingによる高階関数の自動生成」
○藤浪大弥 (日本大学) - 2020-4-(6):11:45-12:30
「プログラム実行の複雑性を克服するデバッグの新しい枠組の確立に向けて」
○久米 出 (奈良先端科学技術大学院大学), 新田 直也 (甲南大学), 中村 匡秀 (神戸大学)
*休憩(12:30-13:45)
*セッション4(13:45-15:15):座長 中尾 昌広 (理化学研究所)
- 2020-4-(7):13:45-14:30
「Work-Stealing Strategies That Consider Work Amount and Hierarchy」
○中嶋 隆介 (九州工業大学), 八杉 昌宏 (九州工業大学), 寄高 啓司 (九州工業大学, 現在はアドソル日進株式会社), 平石 拓 (京都大学), 馬谷 誠二 (神奈川大学) - 2020-4-(8):14:30-15:15
「マルチスレッドを学習するためのメモリアクセス可視化ツールの提案および実装」
○吉塚 大浩 (芝浦工業大学), 篠埜 功 (芝浦工業大学)
*オンライン懇親会 18:00-19:30
Last update: 2020-12-22