---------------------------------------------------------------------
Category-3 Short Presentation
---------------------------------------------------------------------
夕方の部 (3/6 水 16:45-17:45) ４件
---------------------------------------------------------------------
氏名: 小林 聡
所属: 京都産業大学理学部計算機科学科
題目: 「値についての知識」の論理
---------------------------------------------------------------------
氏名: 西澤 弘毅
所属: 東京大学萩谷研究室
題目: Tableau型演繹系の検証のための LLF と M2+ の拡張
---------------------------------------------------------------------
氏名: 南出 靖彦
所属: 筑波大学
題目: Isabelle/HOLによるCPS変換の検証
---------------------------------------------------------------------
氏名: 向井 国昭
所属: 慶應義塾大学
題目: Coalgebraに基づく有限オートマトン理論の再構成
---------------------------------------------------------------------
夜間の部 (3/6 水 20:30-22:30) ６件
---------------------------------------------------------------------
氏名: 上田 和紀
所属: 早稲田大学
題目: Linear Types with Controlled Aliasing
---------------------------------------------------------------------
氏名: 小林　義徳
所属: 東京大学大学院 情報理工学系研究科コンピュータ科学専攻 
分野: Garbage Collection
---------------------------------------------------------------------
氏名: 吉川隆英
所属: 東京大学工学系研究科情報工学専攻近山・田浦研究室
題目: 世代方式GCにおける新世代サイズの調節
---------------------------------------------------------------------
氏名: 横山 大作
所属: 東京大学工学系研究科
題目: 計算連続体: 局所性を考慮した並列計算モデル
---------------------------------------------------------------------
氏名: 八杉 昌宏 
所属: 京都大学/JST
題目: 並行協調機能を持つ手続き型言語とその利用
---------------------------------------------------------------------
氏名: 橋本 政朋
所属: 産業技術総合研究所 & 科学技術振興事業団
題目: プログラムの実行時更新を支援するプログラミング言語系の構築に向けて
---------------------------------------------------------------------