Rchr
J-GLOBAL ID:200901030600492742   Update date: Apr. 17, 2019

YAMAGUCHI Fumihiko

ヤマグチ フミヒコ | YAMAGUCHI Fumihiko
Affiliation and department:
Job title: Lecturer
Research field  (2): Intelligent informatics ,  Library and information science/Humanistic social informatics
Research keywords  (4): Intelligent Informatics ,  Computer Science ,  Natural Language Processing ,  unification algorithm
Research theme for competitive and other funds  (2):
  • 2004 - alpha-mu unification algorithm
  • 2006 - Inference engine on connexive logic
Papers (4):
  • YAMAGUCHI Fumihiko. A Set Theoretical Semantics for a Subset of Linear Logic. Josai Mathematical Monograph. 2014. 7
  • YAMAGUCHI Fumihiko. Comparison between Rongorongo and the syllable sequence of ancient chants from the Easter Island. Reseach in Computing Science. 2013. 70. 9-18
  • YAMAGUCHI Fumihiko. Induction in Linear Logic. Keio University. 2001
  • YAMAGUCHI Fumihiko. Automated Inductive Program Synthesis using Difference between parts of fragments. Keio University. 1995
MISC (13):
more...
Lectures and oral presentations  (26):
  • 線形論理上の帰納推論
    (第38回プログラミング・シンポジウム報告集 1997)
  • Abduction using Linear Logic
    (Proceedings of the 15th IASTED International Conference Applied Informatics 1997)
  • 機械語教育システム-PDP-11 教育のハードウェアとソフトウェア-
    (情報処理学会 夏のプログラミングシンポジウム 1998)
  • Inductive Process Synthesis using Linear Logic
    (Proceedings of the 16th IASTED International Conference Applied Informatics 1998)
  • 区間確率密度を用いた不確かさを含む推論法
    (人工知能学会研究会,SIG-KBS 2000)
more...
Education (2):
  • - 1993 Keio University Faculty of Science and Engineering Department of Mathematics
  • - 2001 Keio University Graduate School, Division of Science and Engineering Department of Computer Science
Professional career (2):
  • Master of Engineering (Keio University)
  • Ph.D (Keio University)
Work history (6):
  • 2001 - 2006 Research Associate, Faculty of Science and Technology, Tokyo University of Science
  • 2007/04 - 2010/03 Graduate School of Tokyo University of Science Lecturer
  • 2011/05 - 2012/03 Tokyo University of Agriculture and Technology Project Lecturer
  • 2014/02 - 2015/03 Tokyo University of Agriculture and Technology Project Associate Professor
  • 2010/04 - 2015/03 Keio University Reseacher
Show all
Committee career (2):
  • 2008 - 2011 Information Processing Society of Japan Programming Symposium Comittee
  • 2007 - 2010 Association for Computing Machinery ICPC regional judge
Association Membership(s) (6):
THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE ,  JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY ,  THE ROBOTICS SOCIETY OF JAPAN ,  Japan Society for Archaeological Information ,  Information Processing Society of Japan ,  Association for Computing Machinery
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page