Travelled to:
2 × USA
Collaborated with:
∅ H.Kimura S.Kobayashi
Talks about:
function (2) program (2) unintend (1) univers (1) general (1) tempor (1) system (1) induct (1) differ (1) analyt (1)
Person: Susumu Katayama
DBLP: Katayama:Susumu
Contributed to:
Wrote 2 papers:
- PEPM-2012-Katayama #functional #induction #programming #source code
- An analytical inductive functional programming system that avoids unintended programs (SK), pp. 43–52.
- ICML-2000-KatayamaKK #learning #using
- A Universal Generalization for Temporal-Difference Learning Using Haar Basis Functions (SK, HK, SK), pp. 447–454.