研究者
J-GLOBAL ID:201801021009266580   更新日: 2020年07月02日

浅田 和之

Asada Kazuyuki
所属機関・部署:
研究分野 (1件): 計算科学
論文 (18件):
  • Yuta Takahashi, Kazuyuki Asada, Keisuke Nakano. Streaming Ranked-Tree-to-String Transducers. 24th International Conference on Implementation and Application of Automata, CIAA 2019. 2019. 11601. 235-247
  • Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada. Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence. 2019. 15. 1. 1-16
  • Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong. Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs. Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018. 2018. 889-898
  • Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada. The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics. Mathematical Structures in Computer Science. 2018. 28. 2. 287-337
  • Kazuyuki Asada, Naoki Kobayashi. Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered. 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India. 2018. 14:1-14:15
もっと見る
学位 (1件):
  • 博士 (京都大学)
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る