論文リスト

1. Hiroshi Watanabe, A criterion for the existence of subobject classifiers ,
   Hokkaido Mathematical Journal Vol. 28 (1999) p.117-132[ ps ].
   (北海道大学 博士(理学) 学位論文 1998年6月)[ ps ]

2. John Power and Hiroshi Watanabe, An axiomatics for categories of coalgebras,
   Electronic Notes in Theoretical Computer Science, Vol. 11 (1998), http://www.elsevier.nl/locate/entcs/volume11.html [ ps ]

3. Hiroshi Watanabe, The subobject classifier of the category of functional bisimulations,
   Hokkaido Mathematical Journal Vol. 28 (1999) p.301-314 [ ps ]
   

4. Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe and James Worrell, An Axiomatics for Categories of Transition Systems as Coalgebras,
   Proceedings of LICS'98 , 21-24 June 1998 in Indianapolis, Indiana (1998) [ ps ]

5. John Power and Hiroshi Watanabe, Distributivity for a monad and a comonad,
   Electronic Notes in Theoretical Computer Science, Vol. 19 (1999), http://www.elsevier.nl/locate/entcs/volume19.html [ ps ]

6. Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe and James Worrell, On the Structure of categories of coalgebras,
   Theoretical Computer Science, Vol 260 (2001), 87-117

7. Marina Lenisa, John Power and Hiroshi Watanabe, Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads
   Electronic Notes in Theoretical Computer Science, Vol. 33 (2000), http://www.elsevier.nl/locate/entcs/

8. John Power and Hiroshi Watanabe, Combining a monad and a comonad , ETL Technical Report TR-99-33,
   Theoretical Computer Science にて出版予定
   

9. Yoshiki Kinoshita and Hiroshi Watanabe, A Functorial Approach to Refinement, Post-Proceedings of WRA'99
   ETL-TR-2001-3/AIST-PS-2001-001
   ENTCSにて出版予定 [ ps ]

講演

1. 渡邊 宏： 「The subobject classifier of the category of labeled transition systems and simulation maps」,
   記号論理学と情報科学の研究集会 ９７ 九州大学留学生会館国際ホールにて, １９９７年１０月

2. John Power, 渡邊 宏： 「An axiomatics for categories of coalgebras」,
   Workshop on Coalgebraic Methods in Computer Science '98 リスボン大学にて,１９９８年３月

3. Peter Johnstone, John Power, 辻下 徹, 渡邊 宏, James Worrell： 「An Axiomatics for Categories of Transition Systems as Coalgebras」,
   LICS'98 , インディアナ大学にて、 １９９８年６月

4. 渡邊 宏： 「遷移系と双模倣準同型の圏の構造」,
   記号論理学と情報科学の研究集会 ９８ 東北大学理学部数学教室川井ホールにて, １９９８年１０月

5. John Power, 渡邊 宏： 「モナドとコモナドの分配則」,
   第２回プログラミングおよびプログラミング言語ワークショップ PPL2000, 静岡県・浜名湖舘山寺温泉, ２０００年３月

6. Marina Lenisa, John Power, 渡邊 宏：「Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads」,
   Workshop on Coalgebraic Methods in Computer Science '2000 ベルリン工科大学にて,２０００年３月

その他