YAMAGUCHI Fumihiko

J-GLOBAL         Last updated: Apr 17, 2019 at 16:20
 
Avatar
Name
YAMAGUCHI Fumihiko
Affiliation
University of Nagasaki
Section
Faculty of Science and Technology Department of Information and Computer Science
Job title
Lecturer
Degree
Master of Engineering(Keio University), Ph.D(Keio University)

Research Areas

 
 

Academic & Professional Experience

 
Apr 2015
 - 
Today
Professor, University of Nagasaki
 
Feb 2014
 - 
Mar 2015
Project Associate Professor, Faculty of Engineering, Tokyo University of Agriculture and Technology
 
Apr 2010
 - 
Mar 2015
Reseacher, Keio University
 
May 2011
 - 
Mar 2012
Project Lecturer, Tokyo University of Agriculture and Technology
 
Apr 2007
 - 
Mar 2010
Lecturer, Graduate School of Tokyo University of Science
 
2001
 - 
2006
Research Associate, Faculty of Science and Technology, Tokyo University of Science
 

Education

 
 
 - 
2001
Department of Computer Science, Graduate School, Division of Science and Engineering, Keio University
 
 
 - 
1993
Department of Mathematics, Faculty of Science and Engineering, Keio University
 

Committee Memberships

 
2008
 - 
2011
Information Processing Society of Japan  Programming Symposium Comittee
 
2007
 - 
2010
Association for Computing Machinery  ICPC regional judge
 

Published Papers

 
A Set Theoretical Semantics for a Subset of Linear Logic
YAMAGUCHI Fumihiko
Josai Mathematical Monograph   7    Mar 2014
Comparison between Rongorongo and the syllable sequence of ancient chants from the Easter Island
YAMAGUCHI Fumihiko
Reseach in Computing Science   70 9-18   Nov 2013   [Refereed]
Induction in Linear Logic
YAMAGUCHI Fumihiko
Keio University      Jun 2001
Automated Inductive Program Synthesis using Difference between parts of fragments
YAMAGUCHI Fumihiko
Keio University      Mar 1995

Misc

 
Analysing Undeciphered Languages
YAMAGUCHI Fumihiko
Journal of Japanese Society for Artificial Intelligence   31(6) 775-779   Nov 2016
An instruction in Standard ML programming
YAMAGUCHI Fumihiko, ENOMOTO Susumu
51(11) 1489-1491   Nov 2010
Introduction to ICPC
YAMAGUCHI Fumihiko, YAMAGUCHI Rie
50(10) 967-969   Oct 2009
F.Yamaguchi, M.Nakanishi
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS   35(10) 2107-2116   1996
Abduction using Linear Logic
F.Yamaguchi, M.Nakanishi
Proceedings of the 15th IASTED International Conference Applied Informatics   318-321   1997

Conference Activities & Talks

 
Fixed-point Programming on Queue Machine
YAMAGUCHI Fumihiko
18 Sep 2017   
A Criterion for Automated Symbol Image Classification Methods
YAMAGUCHI Fumihiko
27 Mar 2016   
Rongorongo Symbol's Similarity via Handwriting Recognition Method
YAMAGUCHI Fumihiko
28 Sep 2014   
N-grams on Rongorongo and Chants in the Easter Island
YAMAGUCHI Fumihiko
PACLING   Sep 2013   
Alpha unification with explicit alpha conversion
YAMAGUCHI Fumihiko
14 Jun 2010   

Research Grants & Projects

 
alpha-mu unification algorithm
Project Year: 2004   
unification algorithm under alpha equivalence and mu equivalence
Inference engine on connexive logic
Project Year: 2006   
Automated Inference on connexive logic in which some kind of irrevance on classical logic is removed.