大学院における研究教育

学術を展望したり研究動向を評価して, 学術上の個別テーマを設定した. これを遂行することにより問題解決能力の養成をはかった. 研究能力の３つの要素である問題設定能力, 問題解決能力, 研究成果評価能力のうち, 大学院の課程では問題解決能力を是非とも高めなければならないと考えた(それは将来の仕事を遂行してゆく能力の基礎として必須のものであると見た). 博士後期課程においては，問題設定能力の形成もめざした．
(社会人のための課程) 現場の仕事から抽象化され独立化した題目や，原理の展開題目に関する遂行能力を通して，コンピュータ科学の素養獲得，あるいは職業能力の再教育をめざした．

単著論文

• Yamasaki,S., A network of communicating logic programs and its semantics, Proc. of 10th IJCAI-87, Milan, 1, pp,24-29, 1987.
• Yamasaki,S., Semantics of logic programs over sequence domains, Proc. of FGCS '88, Tokyo, 2, pp.382-388, 1988.
• Yamasaki,S., Equational dataflow programs computing logic programs, Trans. of IEICEJ, E71, pp.1134-1139, 1988.
• Yamasaki,S., Dataflow programs for parallel computations of logic programs and their semantics, Proc. of Parle '89, Eindhoven, Lecture Notes in Computer Science, 366, pp.104-114, 1989.
• Yamasaki,S., Recursion equation sets computing logic programs, Theoretical Computer Science, 76, pp.309-322, 1990.
• Yamasaki,S., Dataflow for logic program as substitution manipulator, Proc. of Int. Symp. on Symbolic and Algebraic Computation, Tokyo, pp.45-51, 1990.
• Yamasaki,S., A network of communicating logic programs as an extension of Kahn's model, IEICE Trans., E74, pp.965-974, 1991.
• Yamasaki,S., Extraction of functional from logic program, Proc. of PLILP '91, Passau, Lecture Notes in Computer Science, 528, pp.27-38, 1991.
• Yamasaki,S., Dataflow computing mechanism for logic program and extraction of functional from it, Software Science and Engineering (Nakata,I. and Hagiya,M., eds.), World Scientific, pp.78-97, 1991.
• Yamasaki,S., A denotational semantics and dataflow construction for logic programs, Theoretical Computer Science, 124, pp.71-91, 1994.
• Yamasaki,S., Refinement of SLDNF resolution and semantics for logic programming, Computational Logic Report, Logic and Computation Division, Okayama University, Printed, 1994.
• Yamasaki,S., Control problem of a class of pushdown automata based on posets and its application to resolution deduction, IEICE Trans. on Information and Systems, E78-D, 11, pp.1488-1497, 1995.
• Yamasaki,S., SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs, Theoretical Computer Science, 160, pp.283-303, 1996.
• Yamasaki,S., An abstraction of fixpoint semantics for normal logic programs, IEICE Trans. on Information and Systems, E79-D, 3, pp.196-208, 1996.
• Yamasaki,S., Sequence domains and fixpoint semantics for logic programs, IEICE Trans. on Information and Systems, E79-D, 6, pp.840-854, 1996.
• Yamasaki,S., Negation as inconsistency in first-order logic and double negation problem, in: Yamasaki,S., Reports of Kaken (06452404), pp.130-145, 1997.
• Yamasaki,S., Semantics of normal goals as acquisitors caused by negation as failure, IEICE Trans. on Information and Systems, E86-D, 6, pp.993-1000, 2003.
• Yamasaki,S., Procedural correctness for distributed knowledge processing, Proc. of International Conference on Advances in the Internet, Processing, Systems and Interdisciplinary Research, IPSI-2004 Stockholm (CD-ROM), 2004.
• Yamasaki,S., Automated consultant to acquire knowledge for human interface, Proc. of International Conference on Advances in the Internet, Processing, Systems and Interdisciplinary Research, IPSI-2005 Amsterdam (CD-ROM), 2005.
• Yamasaki,S., Logic programming with default, weak and strict negations, Theory and Practice of Logic Programming, 6, pp.737-749, 2006.
• Yamasaki,S., An interactive constraint system and its relation to logic in AI, Proc. of 19th Belgium/Netherlands Artificial Intelligence Conference, Utrecht, pp.299-306, 2007.
• Yamasaki,S., A fixed point representation of references, FTP 2009 Workshops Proceedings, pp.120-129, Oslo, 2009.
• Yamasaki,S., Nonmonotonic functions caused by distributed negatives, UniLog 2010 Book of Abstracts, p.38, presented at Universal Logic 2010, Monte Estoril.
• Yamasaki,S., A construction of logic-constrained functions with respect to awareness, Workshop 4: LRBA, MALLOW 2010 Proceedings (ISSN 1613-0073), pp.84-98, Lyon, 2010.
• Yamasaki,S., Sequential knowledge structure in distributed system with awareness, Proc. of KEOD 2011, pp.293-298, Paris.
• Yamasaki,S., Distributed function constraints with action construction and implementation, Proc. WSEAS ECC 12, pp.53-58, Prague.
• Yamasaki,S., Permission, prohibition and default in action structures, Proc. WSEAS ECC 12, pp.275-280, Prague.
• Yamasaki,S., Specification of distributed actions with communications for software technologies, Proc. NAUN AICT 12, pp.243-248, Barcelona.

共著論文

• Yamasaki,S. and Hiro,T., Semantics for logic program with FP functions equality based on dataflow, in: Yamasaki,S., Reports of Kaken (02680028), pp.94-108, 1992.
• Yamasaki,S. and Iida,K., Transformation of logic programs to FP programs based on dataflows, J. of Symbolic Computation, 18, pp.157-182, 1994.
• Yamasaki,S. and Ishiba,N., General stable model semantics and SLDNF resolution with non-safe rule for abduction, J. of Japanese Society for Artificial Intelligence, 12, 2, pp.245-257, 1997.
• Yamasaki,S. and Kurose,Y., Soundness of abductive proof procedure with respect to constraint for non-ground abducibles, Theoretical Computer Science, 206, pp.257-281, 1998.
• Yamasaki, S. and Iriya, K., A combination of SLDNF resolution with narrowing for general logic programs with equations with respect to extended well-founded model, IEICE Trans. on Information and Systems, E82-D, 10, pp.1303-1315, 1999.
• Yamasaki, S. and Kurose, Y., Abductive proof procedure with adjusting derivations for general logic programs, Memoirs of the Fac. of Eng., Okayama Univ., 35, 1-2, pp. 97-135, 2001.
• Yamasaki, S. and Kurose, Y., A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics, Theoretical Computer Sciece, 266, pp.489-512, 2001.
• Yamasaki,S. and Sasakura,M., Towards distributed programming systems with visualizations based on nonmonotonic reasoning, Proc. of International Conference on Advances in Infrastructure for Electronic Business, Science and Education on the Internet, SSGRR 2001 (CD-ROM), 76, L'Aquila, 2001.
• Yamasaki,S. and Sasakura,M., Contradiction-free proof procedure with visualization for extended logic programs, Proc. of International Conference on Advances in Infrastructure for Electronic Business, Science, Education, and Medicine on the Internet, SSGRR 2002s (CD-ROM), 4, L'Aquila, 2002.
• Sasakura,M. and Yamasaki,S., An application of Nara View to reasonings for distributed logic programs, Proc. of 2003 International Confernce on Distributed Processing Techniques and Applications, Vol. 3, pp.1099-1105, Las Vegas, 2003.
• Sasakura,M. and Yamasaki,S., A three-dimensional visualization of communications in distributed program environments, Proc. of 7th International Confernce on Information Visualization IV03, pp.132-137, London, 2003.
• Sasakura,M. and Yamasaki,S., An explanation reasoning procedure applicable to loop transformation in compiler, Proc. of Workshop on Intelligent Technologies for Software Engineering, WITSE 03, Helsinki, pp.34-39, 2003.
• Yamasaki,S. and Sasakura,M., An automated reasoning for diagnostic knowledge in a distributed environment, Proc. of International Symposium on Information and Communication Technologies ISICT03, pp.547-552, Dublin, 2003.
• Iriya,K. and Yamasaki,S., Negation as failure through a network, IEICE Trans. on Information and Systems, E87-D, 5, pp.1200-1207, 2004.
• Yamasaki,S., Sasakura,M. and Iwata,K., Nonmonotonic reasoning to extract demand as e-infrastructure for e-business, in: Sasakura,M., Reports of Kaken (13680447), pp.21-28, 2004.
• Sasakura,M. and Yamasaki,S., Visualization with hierarchically structured trees for an explanation reasoning system, Proc. of 8th International Conference on Information Visualisation IV04, pp.893-898, London, 2004.
• Yamasaki,S., Iwata,K. and Sasakura,M., Reasoning procedure and implementation for logic programs as managing schemes to extract demand, IPSI Trans. on Advanced Research, 1, 1, pp.83-90, 2005.
• Iwata,K., Sasakura,M. and Yamasaki,S., Visualization for management of electronics product composition, Proc. of 9th International Conference on Information Visualization IV05, pp.194-199, London, 2005.
• Sasakura,M., Iwata,K. and Yamasaki,S., Picture script: visualization user interface commands for recycling, IPSI Trans. on Advanced Research, 2, 1, pp.16-21, 2006.
• Sasakura,M., Iwata,K. and Yamasaki,S., An interactive system for generating sequential information, Proc. of 10th International Confernce on Information Visualization IV06, pp.441-446, London, 2006.
• Sasakura,M. and Yamasaki,S., A framework for adaptive e-learning systems in higher education with information visualization, Proc. of 11th International Confernce on Information Visualization of IV07, pp.819-824, Zurich, 2007.
• Sasakura,M. and Yamasaki,S., A graph manipulation visual interface for construction of e-learning systems, Proc. of IV08, pp.644-649, London, 2008.
• Yamasaki,S. and Sasakura,M., A calculus effectively performing event formation with visualization, Lecture Notes in Computer Science 4759, pp.287-294, 2008.
• Yamasaki,S. and Sasakura,M., Sequential structure of objective knowledge with an application to learning system, IPSI Trans. on Internet Research, 4, 1, pp.12-16, 2008.
• Yamasaki,S. and Yokono,H., An analytic method of seasonal reference in Japanese haiku-poem, IPSI Trans. on Advanced Research, 4, 1 (with Pearls of Wisdom by Friedman,J.), pp.27-33, 2008.
• Yamasaki,S. and Sasakura,M., Knowledge: Procedural and objective aspects, Proc. of International Conferences on Advances in the Internet, Processing, Systems and Interdisciplinary Research, VIPSI-2008 (CD-ROM), Santa Margherita Ligure, 2008.
• Yamasaki,S. and Sasakura,M., Objective Knowledge and Reasoning, Lecture Notes at Semantics and Artificial Intelligence Programming (Section), Printed, 2009.
• Sasakura,M., Iwata,K. and Yamasaki,S., A design of diagnosis system for mental disorders, Proc. of International Conference on Knowledge Engineering and Ontology Development (KEOD 2009), pp. 368-371, Madeira, 2009.
• Sasakura,M., Fujioka,S. and Yamasaki,S., Using mobile devices as input and output devices of computers, Proc. of IV 2010, pp.122--127, London, 2010.
• Yamasaki,S., Sasakura,M. and Iwata,K., Object knowledge for retrieval and diagnosis, IPSI Trans. on Advanced Research, 7, 1 (with Pearls of Wisdom by Arrow,K.), pp.9-14, 2011.
• Yamasaki,S. and Sasakura,M., A graph manipulation system abstracted from e-Learning, Proc. of KEOD 2011, pp.466-469, Paris.

スラヴック/スカンジナビアン会議/セミナー/講義

• Yamasaki,S., Semantics of logic programs over sequence domains based on substitutions, Proceedings of the Japanese-Czechoslovak Seminar on Theoretical Foundations of Knowledge Infomation Processing, Prague, pp.117-125, 1989.
• Yamasaki,S., Generalized stable model semantics and SLDNF resolution with nonsafe rule for abduction, Seminar at Logic Programming Section, Dept. of Computing, Imperial College, July, 1996.
• Yamasaki,S., An abductive procedure with adjusting derivation, Talk at Kowalski Group, Dept. of Computing, Imperial College, July, 1997.
• Yamasaki,S., Semantics of negations in 3-valued logic and related programming theory, Lecture at Faculty of Mathematics and Computer Science, University of Adam Mickiewicz, Poznan, June, 2005.
• Yamasaki,S. and Yokono,H., An analytic method of seasonal reference in Japanese haiku-poem, Proc. of International Conferences on Advances in the Internet, Processing, Systems and Interdisciplinary Research, VIPSI-2006 Italy/Belgrade/London (CD-ROM), London, 2006.
• Yamasaki,S. and Sasakura,M., Knowledge structure of chart sequences and its application to learning system, Proc. of International Conference on Advances in the Internet, Processing, Systems and Interdisciplinary Research, VIPSI-2007 Japan/Croatia/Florence (CD-ROM), San Miniato, 2007.
• Yamasaki,S., Monotone and nonmonotone functions associated with programs, Lecture at Department of Algorithms and Programming, Faculty of Mathematics and Computer Science, University of Adam Mickiewicz, Poznan, June, 2008.
• Yamasaki,S. and Sasakura,M., Objective knowledge and reasoning for automated diagnosis, presented at VIPSI-2009 Venice, 2009.
• Yamasaki,S., Sasakura,M. and Iwata,K., Objective knowledge as method, presented at VIPSI-2009 Slovenia, Bled, 2009.
• Yamasaki,S., Preface in: Gofuku,A. (ed.), Proc. of 1st International Seminar on Information for Mechatronics Systems, Graduate School of Natural Science and Technology, Okayama University, March 15, 2011.
• Yamasaki,S., Action structure specification and its implementability complexity, In: Talks, PCC 2012--Proof, Computation, Complexity, Copenhagen, 2012.
• Yamasaki,S., Action structure specification and algebraic aspect, Lecture at Department of Mathematics and Computer Science, University of Adam Mickiewicz, Poznan, March, 2013.