矢口 和也　(Kazuya Yaguchi)

OBOG

博士課程前期 2013年度

Publications / 研究業績

英語 journal (1件)

最新順

  1. Functional programs as compressed data
    Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi
    High. Order Symb. Comput., Vol.25, pp.39-84 (2012) , [peer-reviewed]

英語 conference, workshop 論文 (2件)

最新順

  1. Compact bit encoding schemes for simply-typed lambda-terms
    Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara
    Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), pp.146-157 (2016) , [peer-reviewed]
    Event Date: September 18-22, 2016 @ Nara, Japan
  2. Efficient Algorithm and Coding for Higher-Order Compression
    Kazuya Yaguchi, Naoki Kobayashi, Ayumi Shinohara
    Data Compression Conference (DCC 2014), pp.434 (2014) , [peer-reviewed]
    Event Date: March 26-28, 2014 @ Snowbird, UT, USA

和文 conference, workshop 論文 (1件)

最新順

  1. 高階圧縮の高速化と効率の良い符号化
    矢口和也, 小林直樹, 篠原　歩
    電子情報通信学会コンピュテーション研究会，COMP, (2013)
    開催日: 2013年10月18-18日 @ 名古屋工業大学
← メンバー一覧に戻る