ＴＴ－ｌｉｆｔｉｎｇによる計算効果の分析

• 研究課題/領域番号: 24700012
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: 情報学基礎
• 研究機関: 京都大学
• 研究代表者: 勝股 審也 京都大学, 数理解析研究所, 助教 (30378963)
• 研究協力者: 佐藤 哲也
• 研究期間 (年度): 2012-04-01 – 2015-03-31
• 研究課題ステータス: 完了 (2014年度)
• 配分額: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円); 2014年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2013年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2012年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
• キーワード: モナド / 論理関係 / 表示的意味論 / エフェクトシステム / ファイブレーション / 余代数 / 計算効果 / TT-lifting / 国際研究者交流

研究成果の概要

表示的意味論ではプログラムの多様な振る舞いを統一的に扱うためにモナドがしばしば用いられる。そのような表示的意味論の持つ性質を調べる数学的道具として、研究代表者は以前、意味論的TT-liftingを導入した。本研究ではこれを応用し、1. エフェクトシステムの表示的意味論におけるエフェクト健全性の一般的な証明と、2. モナド上の前順序の構成と特徴づけを与えた。また、TT-liftingをより一般的な圏論的状況で用いることができるよう拡張した。

研究成果

• [雑誌論文] Parametric effect monads and semantics of effect systems (2014)
  • 著者名/発表者名: Shin-ya Katsumata
  • 雑誌名: ACM SIGPLAN Notices - POPL '14 巻: 49-1 号: 1 ページ: 633-645
  • DOI: 10.1145/2578855.2535846
  • 査読あり
• [雑誌論文] Relating computational effects by TT-lifting (2013)
  • 著者名/発表者名: Shin-ya Katsumata
  • 雑誌名: Information and Computation 巻: 222 ページ: 228-246
  • DOI: 10.1016/j.ic.2012.10.014
  • 査読あり
• [雑誌論文] Preorders on Monads and Coalgebraic Simulations (2013)
  • 著者名/発表者名: Shin-ya Katsumata and Tetsuya Sato
  • 雑誌名: Lecture Notes in Computer Science 巻: 7794 ページ: 145-160
  • DOI: 10.1007/978-3-642-37075-5_10
  • ISBN: 9783642370748, 9783642370755
  • 査読あり
• [学会発表] ファイブレーションと余稠密モナドによるモナドの持ち上げ (2015)
  • 著者名/発表者名: 勝股審也
  • 学会等名: 理論計算機科学と圏論ワークショップ CSCAT 2015
  • 発表場所: 鹿児島大学
  • 年月日: 2015-03-15
• [学会発表] Parametric effect monads and semantics of effect systems (2014)
  • 著者名/発表者名: Shin-ya Katsumata
  • 学会等名: Principles of Programming Languages, POPL 2014
  • 発表場所: US grant, San Diego, USA
• [学会発表] Relating Computational Effects by TT-Lifting (2013)
  • 著者名/発表者名: Shin-ya Katsumata
  • 学会等名: Nordic Workshop on Programming Theory, NWPT '13
  • 発表場所: Mustpeade maja, Tallinn, Estonia
  • 招待講演
• [学会発表] Preorders on Monads and Coalgebraic Simulations (2013)
  • 著者名/発表者名: Tetsuya Sato (Shin-ya Katsumata)
  • 学会等名: The 16th International Conference on Foundations of Software Science and Computation Structures
  • 発表場所: Sapienza Universita di Rome, Italy
• [学会発表] A Generic Soundness Result for Effect Systems (2012)
  • 著者名/発表者名: Shin-ya Katsumata
  • 学会等名: The 10th Asian Symposium on Programming Languages and Systems
  • 発表場所: 京都市国際交流会館, 京都
• [備考] 研究業績一覧
  • URL: http://www.kurims.kyoto-u.ac.jp/~sinya/research.html
• [備考] 研究業績一覧
  • URL: http://www.kurims.kyoto-u.ac.jp/~sinya/research.html