研究課題
挑戦的萌芽研究
小宇宙原理(システムのモジュラーな構成の数学的モデル)とストーン双対性(様相論理の数学的モデル)の組み合わせとその応用を当初目標として挙げたが,より広汎な視野で圏論・数学のシステム検証への貢献を志向した結果,ファイブレーション(圏論的論理で用いられる論理のモデル)における不動点論理の定式化とモデル検査への応用について新しい知見が得られたので,この新しい方向性の研究に注力し,最大不動点述語の圏論的構成に関する成果を得た.この成果を最小不動点を含む形に拡張すべく,研究を続行中である.
すべて 2013 2012 2011 その他
すべて 雑誌論文 (7件) (うち査読あり 7件) 学会発表 (8件) 図書 (1件) 備考 (1件)
MFPS XXIX. Electr. Notes in Theoretical Computer Science
Proc. POPL
ページ: 417-430
doi:10.1145/2429069.2429120
Lecture Notes in Computer Science
巻: vol.7358 ページ: 462-478
doi:10.1007/978-3-642-31424-7_34
Mathematical Structures in Computer Science
巻: 21 ページ: 267-320
doi:10.1017/S0960129510000551
巻: vol.6859 ページ: 222-236
doi:10.1007/978-3-642-22944-2_16
Proc. Track B. Lecture Notes in Computer Science
巻: vol.6756 ページ: 392-403
doi:10.1007/978-3-642-22012-8_31
IEEE Computer Society
ページ: 237-246
doi:10.1109/LICS.2011.26
http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/