蓮尾一郎
論文
| 著者・発表者 | Kohei Suenaga, Hiroyoshi Sekine, and Ichiro Hasuo. |
|---|---|
| 表題 | Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals |
| 発表先 | Proc. POPL 2013, p. 417-430. ACM. |
| 著者・発表者 | Kohei Suenaga (Kyoto Univ.) and Ichiro Hasuo (Kyoto University, JST PRESTO) |
|---|---|
| 表題 | Programming with Infinitesimals: A While-Language for Hybrid System Modeling |
| 発表先 | Proc. ICALP 2011, Track B. Lecture Notes in Computer Science, vol. 6756, p. 392-403. Springer-Verlag. |
| 著者・発表者 | Ichiro Hasuo (Kyoto University, JST PRESTO) and Naohiko Hoshino (Kyoto Univ.) |
|---|---|
| 表題 | Semantics of Higher-Order Quantum Computation via Geometry of Interaction |
| 発表先 | Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2011) 21–24 June 2011, Toronto, Ontario, Canada |
| 著者・発表者 | Ichiro Hasuo (Kyoto University, JST PRESTO) |
|---|---|
| 表題 | Generic Forward and Backward Simulations II: Probabilistic Simulation |
| 発表先 | Proc. CONCUR 2010, 21st International Conference on Concurrency Theory, Lect. Notes Comp. Sci., Springer (2010/9) |
| 著者・発表者 | ○Hasuo(Kyoto Univ. and JST PRESTO), Bart Jacobs (Radboud Univ. Nijmegen), Milad Niqui (CWI Amsterdam) |
|---|---|
| 表題 | Coalgebraic Representation Theory of Fractals |
| 発表先 | Proceedings of Twenty-sixth Conference on the Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science, Elsevier (2010/9/3) |
| 著者・発表者 | Kazuyuki Asada(Kyoto Univ., さきがけ研究補助者）, ○Ichiro Hasuo(Kyoto Univ. and JST PRESTO) |
|---|---|
| 表題 | Categorifying Computations into Components via Arrows as Profunctors |
| 発表先 | Proceedings of 10th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), Electronic Notes in Theoretical Computer Science, Elsevier (2010/8/12) |
| 著者・発表者 | ○Ichiro Hasuo (Kyoto Univ. and JST PRESTO), Yoshinobu Kawabe(Aichi Institute of Technology), Hideki Sakurada(NTT Research Laboratory) |
|---|---|
| 表題 | Probabilistic Anonymity via Coalgebraic Simulations |
| 発表先 | Theoretical Computer Science, Volume 411, Issues 22-24, Pages 2239-2259 (2010/3/17) |
| 著者・発表者 | ○Ichiro Hasuo (Radboud Univ. Nijmegen, Kyoto Univ. and JST PRESTO), Chris Heunen (Radboud Univ. Nijmegen), Bart Jacobs (Radboud Univ. Nijmegen) Ana Sokolova (Univ. Salzburg) |
|---|---|
| 表題 | Coalgebraic Components in a Many-sorted Microcosm |
| 発表先 | Proceedings of 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), Lecture Notes in Computer Science vol. 5728（2009/9/下旬） |
| 著者・発表者 | ○Ichiro Hasuo (Radboud Univ. Nijmegen, Kyoto Univ. and JST PRESTO) Bart Jacobs (Radboud Univ. Nijmegen and TU Eindhoven) Ana Sokolova (Univ. Salzburg) |
|---|---|
| 表題 | The Microcosm Principle and Concurrency in Coalgebra |
| 発表先 | Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS 2008), Lecture Notes in Computer, LNCS 4962, p. 246-260. Springer-Verlag.（2008/3） |
| 著者・発表者 | Ichiro Hasuo (Radboud Univ. Nijmegen, Kyoto Univ. and JST PRESTO) Bart Jacobs (Radboud Univ. Nijmegen and TU Eindhoven) Ana Sokolova (Univ. Salzburg) |
|---|---|
| 表題 | Generic Trace Semantics via Coinduction |
| 発表先 | Logical Methods in Computer Science, Vol.3(4:11)2007, pp1-36（2007/11/19） |
口頭発表
出版物
受賞
| 受賞者 | 蓮尾一郎 |
|---|---|
| 賞の吊称 | 第1回藤原洋数理科学賞 奨励賞 |
| 発行機関 | 藤原洋数理科学賞審査委員会（2012/9/3） |
