第124回PRO研究発表会
第124回プログラミング研究発表会
プログラム
会 場 ： 名古屋大学 東山キャンパス ES総合館1階 ES会議室
（〒464-0814 名古屋市千種区不老町 交通案内）
6月6日（木）
■セッション1（14:00-15:15）
（1）14:00-14:30（短い発表）
「ワンショット代数的効果から非対称コルーチンへの変換」
○河原 悟, 亀山 幸義 (筑波大学)
（2）14:30-15:15
「コエフェクト計算に基づく量化型の再形式化」
○田辺 裕大, Luthfan Anshar Lubis, 青谷 知幸,
増原 英彦 (東京工業大学 大学院情報理工学院 数理・計算科学系)
-- 休憩（15:15-15:30）--
■セッション2（15:30-16:15）
（3）15:30-16:15
「Solving String Constraints with Streaming String Transducers」
○朱 啓禎, 赤間 仁志, 南出 靖彦 (東京工業大学情報理工学院数理・計算科学系)
□懇親会（19:00-21:00）
6月7日（金）
■セッション3（9:30-11:00）
（4）9:30-10:00（短い発表）
「条件付き項書き換えシステムの十分完全性の自動証明」
○東和田 直輝, 青戸 等人 (新潟大学大学院 自然科学研究科)
（5）10:00-10:30（短い発表）
「項書き換えシステムにおける局所十分完全性の証明法の提案」
○白石 智輝, 青戸 等人 (新潟大学大学院自然科学研究科)
（6）10:30-11:00（短い発表）
「条件付き項書き換えシステムの階層合流性証明法」
○加賀谷 有輝, 青戸 等人 (新潟大学大学院 自然科学研究科)
-- 休憩（11:00-11:15）--
■セッション4（11:15-12:00）
（7）11:15-12:00
「An extended SECD machine with a first-class macro mechanism」
○福田 陽介 (京都大学情報学研究科)
※1件あたり45分（発表25分，質疑・討論20分）（短い発表は発表20分, 質疑・討論10分）
※◯印が登壇者です．
※その他詳細はプログラミング研究会Webページをご参照ください。