第124回プログラミング研究発表会

プログラム

日 程 : 2019年6月6日(木)~ 7日(金)
会 場
 : 名古屋大学 東山キャンパス 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ページをご参照ください。
 

調査研究担当への問い合わせフォーム