Yasunao TAKANO

https://orcid.org/0000-0001-9150-0411

Research Topics

Fields:

Programming, Programming language implementation, Programming environment, Lazy evaluation

Projects and Papers:

SMT Solvers

• Execution Strategy of SMT Solvers with Repetitive Trials
  Yasunao Takano, Eiichiro Chishiro
  IPSJ Transactions on Programming, Vol.11，No.2，pp.9-19, 2018，(in Japanese)

Functional Programming Language Implementation

• Toward a Framework of Constructing Functional Programming Language Environment for Research and Teachning
  Yasunao Takano, Eiichiro Chishiro
  the 58th Programming Symposium, 2017

Lazy evaluation

• Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness
  Yasunao Takano, Hideya Iwasaki
  SAC2015
  
• Design and Implementation of Thunk Recycling in the Glasgow Haskell Compiler
  Yasunao Takano, Hideya Iwasaki, Shigeyuki Sato
  Computer Software, Vol.32 (2015), No.2, pp.253-287, 2015 (in Japanese)
  
• Reusing Thunks for Recursive Data Structures in Glasgow Haskell Compiler
  Yasunao Takano, Hideya Iwasaki, Tomoharu Ugawa
  IPSJ Transactions on Programming, Vol.5, No.2, pp.67-78, 2012, (in Japanese)
• Reducing Thunks for Recursive Data Structures in Lazy Functional Programs
  Yasunao Takano, Hideya Iwasaki, Tomoharu Ugawa
  Haskell Implementors Workshop 2011

Improving Sequence --- A Functional Language Mechanism for Pruning

• A Scheme System with First-class Improving Sequences
  Yasunao Takano, Hideya Iwasaki
  JSSST PPL2006, (in Japanese)

Programming Environment, Comment System

• Programming Environment for Better Comment Description
  Exploratory Software Project 2006 from IPA (Information-technology Promotion Agency, Japan)
  Link1, Link2

Others

• Improving Document Similarity Calculation Using Cosine-Similarity Graphs
  Yasunao Takano, Yusuke Iijima, Kou Kobayashi, Hiroshi Sakuta, Hiroki Sakaji, Masaki Kohana, Akio Kobayashi
  AINA-2019, pp.512-522, Matsue Japan, March 2019
• A DSL for JavaScript Virtual Machine Description
  Yasunao Takano, Tomoharu Ugawa, Hideya Iwasaki
  JSSST PPL2019, (in Japanese)
• Design and Implementation of a Format-Independent Document Processing System
  Yasunao Takano, Hideya Iwasaki, Kenji Kono
  PRO-2003-4, (in Japanese)

Publications