Rchr
J-GLOBAL ID:200901098040098419   Update date: Mar. 18, 2010

SATO Masahiko

サトウ マサヒコ | SATO Masahiko
Affiliation and department:
Job title: Professor,Professor
Research field  (1): Fundamental theory of informatics
Research keywords  (1): Constructive Programming
Research theme for competitive and other funds  (2):
  • Constructive Programming
  • 2001 - 2004 Theoretical study on new software with dynamic binding of variables
MISC (49):
  • Grundy Functions and Linear Games. Publ. RIMS, Kyoto Univ. 1972. 7. 645-658
  • Characterization of Pseudo-Boolean Models by Boolean Models and Its Applications to Intermediate Logics. Publ. RIMS, Kyoto Univ. 1973. 9. 141-155
  • Numerical Experiments on a Conjecture of B. C. Mortimer and K. S. Williams (jointly worked). Proc. Japan Acad. 1973. 49. 791-794
  • On the Periods of Certain Pseudorandom Sequences. Publ. RIMS, Kyoto Univ. 1974. 10. 77-89
  • On Formal Fractions Associated with the Symmetric Groups. J. Combinatorial Theory (A). 1976. 20. 1. 124-130
more...
Books (1):
  • Logic, Language and Computation, Festschrift in Honor of Satoru Takasu
    Lecture Notes in Computer Science 1994
Education (2):
  • - 1971 The University of Tokyo Faculty of Science
  • - 1973 The University of Tokyo Graduate School, Division of Science
Professional career (1):
  • Doctor of Science
Committee career (1):
  • 2003 - 2005 IPSJ, Mathematical Society of Japan, JSSST, JSAI
Association Membership(s) (4):
IPSJ ,  Mathematical Society of Japan ,  JSSST ,  JSAI
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page