Budget Amount *help |
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2018: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2016: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
Outline of Final Research Achievements |
Lucassen and Gifford introduced a type-theoretic approach, called effect system, to statically estimate computational effects of programs. Based on the categorical semantics of effect systems using graded monads, this research pursues various mathematical structures around effect systems. The obtained results are: 1) formal categorical properties of graded monads (especially the decomposition of graded monads into adjunctions) 2) introducing a distributive law between graded monads and graded linear exponential comonads 3) a double-category theoretic analysis of the linear exponential comonad, 4) introduing graded !-lifting of monads, with application to the differential privacy.
|