| 研究概要 |
■ 研究概要
|
計算機科学の一分野にプログラミング言語の意味論があります。これはプログラミング言語が供える様々な機構を数学的および論理学的にモデル化して調べ、得られた知見を実際の言語の設計や改良に還元する研究分野です。私は主に圏論を用い、プログラムやプログラミング言語の数学的モデルを研究してきました。近年は状態遷移系の理論やプログラム・システム検証の数学的モデルも研究しています。 |
|
|
|
|
|
|
|
| 業績 |
■ 学会発表
|
■ 著書・論文歴
|
1. |
2024 |
論文 |
Composing Codensity Bisimulations Proceedings of LICS pp.2.167361111111111-2.1756944444444444 （共著） |
|
2. |
2024 |
論文 |
Control-data separation and logical condition propagation for efficient inference on probabilistic programs Journal of Logical and Algebraic Methods in Programming 136,pp.100922 （共著） |
|
3. |
2023 |
論文 |
A Categorical Framework for Program Semantics and Semantic Abstraction Proceedings of MFPS, ENTICS 3 （共著） |
|
4. |
2023 |
論文 |
Divergences on Monads for Relational Program Logics Mathematical Structures in Computer Science 33(45387),pp.427-485 （共著） |
|
5. |
2022 |
論文 |
Codensity Games for Bisimilarity New Generation Computing 40(2),pp.403-465 （共著） |
|
6. |
2022 |
論文 |
Flexible presentations of graded monads Proceedings of ICFP, PACMPL 6(ICFP),pp.902-930 （共著） |
|
7. |
2022 |
論文 |
Fully abstract models for effectful λ-calculi via category-theoretic logical relations Proceedings of POPL, PACMPL 6(POPL),pp.1-28 （共著） |
|
8. |
2022 |
論文 |
On Inverse Operators in Dynamic Epistemic Logic Proceedings of LFCS, LNCS 13137,pp.217-235 （共著） |
|
9. |
2022 |
論文 |
Stone dualities from opfibrations Journal of Logical and Algebraic Methods in Programming 127 （共著） |
|
10. |
2022 |
論文 |
The Lattice-Theoretic Essence of Property Directed Reachability Analysis Proceedings of CAV, LNCS 13371,pp.235-256 （共著） |
|
11. |
2022 |
論文 |
Weakest preconditions in fibrations Mathematical Structures in Computer Science 32(4),pp.472-510 （共著） |
|
12. |
2021 |
論文 |
Architecture-Guided Test Resource Allocation via Logic Proceedings of TAP, LNCS 12740,pp.22-38 （共著） |
|
13. |
2021 |
論文 |
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation Proceedings of LICS pp.1-14 （共著） |
|
14. |
2021 |
論文 |
Fibrational bisimulations and quantitative reasoning: Extended version Journal of Logic and Computation 31(6),pp.1526-1559 （共著） |
|
15. |
2021 |
論文 |
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras Proceedings of CONCUR, LIPIcs 203,pp.0.8756944444444444-0.8902777777777777 （共著） |
|
16. |
2021 |
論文 |
Generalized Bounded Linear Logic and its Categorical Semantics Proceedings of FoSSaCS, LNCS 23650,pp.226-246 （共著） |
|
17. |
2021 |
論文 |
Graded Hoare Logic and its Categorical Semantics Proceedings of ESOP, LNCS 12648,pp.234-263 （共著） |
|
18. |
2021 |
論文 |
Higher-order probabilistic adversarial computations: categorical semantics and program logics Proceedings of ICFP, PACMPL 5(ICFP),pp.1-30 （共著） |
|
19. |
2021 |
論文 |
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty Proceedings of NFM, LNCS 12673,pp.198-213 （共著） |
|
20. |
2020 |
論文 |
Interaction Laws of Monads and Comonads Proceedings of LICS pp.604-618 （共著） |
|
21. |
2020 |
論文 |
Relational Differential Dynamic Logic Proceedings of TACAS, LNCS 12078,pp.191-208 （共著） |
|
22. |
2020 |
論文 |
Stone Dualities from Opfibrations Proceedings of RAMiCS, LNCS 12062,pp.221-236 （共著） |
|
23. |
2020 |
論文 |
Weakest Preconditions in Fibrations Proceedings of MFPS, ENTCS 352,pp.5-27 （共著） |
|
24. |
2019 |
論文 |
A coalgebraic view on reachability Commentationes Mathematicae Universitatis Carolinae 604(4),pp.605-638 （共著） |
|
25. |
2019 |
論文 |
Codensity Games for Bisimilarity Proceedings of LICS （共著） |
|
26. |
2019 |
論文 |
Compositional Semantics for Relaxations of Differential Privacy Proceedings of LICS （共著） |
|
27. |
2019 |
論文 |
Differentiable Causal Computations via Delayed Trace Proceedings of LICS （共著） |
|
28. |
2019 |
論文 |
Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching Proceedings of FoSSaCS, LNCS 11425,pp.523-540 （共著） |
|
29. |
2019 |
論文 |
Probabilistic Relational Reasoning via Metrics Proceedings of LICS （共著） |
|
30. |
2018 |
論文 |
A Double Category Theoretic Analysis of Graded Linear Exponential Comonads Proceedings of FoSSaCS, LNCS 10803,pp.110-127 （単著） |
|
31. |
2018 |
論文 |
Codensity Lifting of Monads and its Dual Logical Methods in Computer Science 14(4) （共著） |
|
32. |
2018 |
論文 |
Fibrational Bisimulations and Quantitative Reasoning Proceedings of CMCS, LNCS 11202,pp.190-213 （共著） |
|
33. |
2017 |
論文 |
A Semantic Account of Metric Preservation Proceedings of POPL pp.545-556 （共著） |
|
34. |
2016 |
論文 |
Combining Effects and Coeffects via Grading Proceedings of ICFP pp.476-489 （共著） |
|
35. |
2016 |
論文 |
Towards a Formal Theory of Graded Monads Proceedings of FoSSaCS, LNCS 9634,pp.513-530 （共著） |
|
36. |
2015 |
論文 |
Codensity Liftings of Monads Proceedings of CALCO （共著） |
|
37. |
2014 |
論文 |
Parametric Effect Monads and Semantics of Effect Systems Proceedings of POPL pp.633-645 （単著） |
|
38. |
2013 |
論文 |
Preorders on Monads and Coalgebraic Simulations Proceedings of FoSSaCS, LNCS 7794,pp.145-160 （共著） |
|
39. |
2013 |
論文 |
Relating Computational Effects by $\top\top$-lifting Information and Computation 222,pp.228-246 （単著） |
|
40. |
2012 |
論文 |
Extensional Models of Untyped Lambda-Mu Calculus Proceedings of CL&C, EPTCS 97,pp.35-47 （共著） |
|
41. |
2011 |
論文 |
Relating Computational Effects by $\top\top$-Lifting Proceedings of ICALP, LNCS 6756,pp.174-185 （単著） |
|
42. |
2010 |
論文 |
A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories Mathematical Proceedings of Cambridge Philosophical Society 148,pp.107-109 （共著） |
|
43. |
2010 |
論文 |
Categorical Descriptional Composition Proceedings of APLAS, LNCS 6461,pp.222-238 （単著） |
|
44. |
2009 |
論文 |
Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement Journal of Functional Programming 18(45418),pp.781-819 （共著） |
|
45. |
2008 |
論文 |
A Characterisation of Lambda Definability with Sums via $\top\top$-Closure Operators Proceedings of CSL, LNCS 5213,pp.278-292 （単著） |
|
46. |
2008 |
論文 |
Attribute Grammars and Categorical Semantics Proceedings of ICALP, LNCS 5126,pp.271-282 （単著） |
|
47. |
2006 |
論文 |
Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement Proceedings of ICFP pp.227-238 （共著） |
|
48. |
2005 |
論文 |
A Semantic Formulation of $\top\top$-lifting and Logical Predicates for Computational Metalanguage Proceedings of CSL, LNCS 3634,pp.87-102 （単著） |
|
49. |
2004 |
論文 |
A Generalisation of Prelogical Predicates to Simply Typed Formal Systems Proceedings of ICALP, LNCS 3142,pp.831-845 （単著） |
|
50. |
2001 |
論文 |
Comparing Type-Based and Proof-Directed Decompilation. Proceedings of WCRE pp.362-367 （共著） |
|
51. |
2001 |
論文 |
Proof-Directed De-compilation of Low-Level Code Proceedings of ESOP, LNCS 2028,pp.352-366 （共著） |
|
5件表示
|
|
全件表示(51件)
|
|
| 経歴 |
■ 学歴
|
■ 職歴
|
■ 所属学会
|
■ researchmap研究者コード
|
■ 授業科目
|
| その他 |
■ 研究課題・受託研究・科研費
|
■ 講師・講演
|
■ 委員会・協会等
|
■ ホームページ
|
■ 受賞学術賞
|
■ 現在の専門分野
| 情報学基礎論, 数理情報学, ソフトウェア （キーワード：理論計算機科学、プログラミング言語理論）
|
|
■ 科研費研究者番号
|
■ 担当経験のある科目
| 1. |
アルゴリズム入門（東京大学） |
| 2. |
コンピュータサイエンス入門（京都大学） |
| 3. |
コンピュータサイエンス基礎（京都大学） |
| 4. |
プログラミングI（同志社大学文化情報学部） |
| 5. |
プログラミング入門（同志社大学文化情報学部） |
| 6. |
数理解析・計算機数学特別講義I（名古屋大学多元数理科学研究科） |
| 7. |
数理解析・計算機数学特別講義I（名古屋大学多元数理科学研究科） |
| 8. |
現代の数学と数理解析（京都大学） |
|
5件表示
|
|
全件表示(8件)
|
|
■ 外部研究者ID
| orcID |
0000-0001-7529-5489 |
|
