Search Results1-20 of  20

  • Hidehiko Kita ID: 9000394048735

    Articles in CiNii:1

    • Algebraic Approach to Program Verification (1987)
  • KITA Hidehiko ID: 9000006562369

    Department of Electrical Engineering, Faculty of Engineering, Nagoya University (1985 from CiNii)

    Articles in CiNii:1

    • Algebraic Specification Method of Programming Languages(Software Science and Engineering) (1985)
  • KITA Hidehiko ID: 9000020044164

    Articles in CiNii:1

    • On the Tool Wear in the Intermittent Cutting of the Reinforced Plastics : 3rd Report, Effect of Cutting Fluid on the Tool Wear (1968)
  • KITA Hidehiko ID: 9000020185053

    Articles in CiNii:1

    • On the Tool Wear in the Intermittent Cutting of the Reinforced Plastics : 3rd Report, Effect of the Cutting Fluid on the Tool Wear (1969)
  • KITA Hidehiko ID: 9000399374242

    MIE UNIVERSITY (2018 from CiNii)

    Articles in CiNii:1

    • Improve Response to Successive Input Patterns in SpikeProp - Discussion on Training Method and Response Function - (2018)
  • KITA Hidehiko ID: 9000399768711

    Graduate School of Engineering, Mie University (2019 from CiNii)

    Articles in CiNii:1

    • Response Function and Training Method to Improve Response to Successive Input Patterns in SpikeProp (2019)
  • Kita Hidehiko ID: 9000002243760

    Articles in CiNii:5

    • プログラミング言語の代数的仕様記述法 (1987)
    • Pascal風言語PL/0+の代数的仕様記述 (1987)
    • プログラミング言語の代数的意味論に対する公理的検証体系の健全性 (1989)
  • Kita Hidehiko ID: 9000014290664

    三重大学大学院工学研究科 (2007 from CiNii)

    Articles in CiNii:51

    • A Collaborative Learning System for Problem Creating, Mutual Annotation and Mutual Judgment (2002)
    • A Method of Grasping Difficult Points to Understand in Realtime (2002)
    • A method of grasping difficult points to understand in realtime (2002)
  • Kita Hidehiko ID: 9000022837976

    Articles in CiNii:1

    • Training Software of Input Device Operation of Personal Computers for The children with physical and intellectual disabilities (2011)
  • Kita Hidehiko ID: 9000022839170

    Articles in CiNii:1

    • A Programming Practice System with Function of Grasping Progress of Students' Program Writing and Its Experimental Use (2011)
  • Kita Hidehiko ID: 9000022853631

    Articles in CiNii:1

    • Algebraic Specification Method of Programming Languages (1986)
  • Kita Hidehiko ID: 9000258698661

    The graduate school of engineering, Mie university (2008 from CiNii)

    Articles in CiNii:1

    • Influence of the discrete time computation in SpikeProp (2008)
  • Kita Hidehiko ID: 9000258698842

    The graduate school of engineering, Mie university (2008 from CiNii)

    Articles in CiNii:1

    • Assist Teachers with Immediate Comment from Descriptive Answers using SOM (2008)
  • Kita Hidehiko ID: 9000273011823

    三重大学 工学部電気電子工学科助教授 (2004 from CiNii)

    Articles in CiNii:1

    • A Practical Method of Multiple−Choice Questions in Formative Tests (2004)
  • Kita Hidehiko ID: 9000273011953

    三重大学大学院 工学研究科 (2007 from CiNii)

    Articles in CiNii:1

    • Extracting features from answers of quizzes for automatic classification (2007)
  • Kita Hidehiko ID: 9000283913061

    三重大学 工学部電気電子工学科助教授 (2001 from CiNii)

    Articles in CiNii:1

    • Web-Based Question and Answer System for Smooth Communication (2001)
  • Kita Hidehiko ID: 9000283913095

    三重大学 工学部電気電子工学科助教授 (2002 from CiNii)

    Articles in CiNii:1

    • A Practice System of Choosing a Proper Answer Step for Encouraging Self-Feedback in Learners (2002)
  • Kita Hidehiko ID: 9000283913100

    三重大学 工学部電気電子工学科助教授 (2002 from CiNii)

    Articles in CiNii:1

    • A Method of Classifying Description Answers of Mass Lecture in Realtime (2002)
  • Kita Hidehiko ID: 9000399374388

    Mie University (2018 from CiNii)

    Articles in CiNii:1

    • Extraction Frequent 2-Tuples from Sequence Using Neural Network (2018)
  • Kita Hidehiko ID: 9000402797032

    三重大学 工学研究科 (2018 from CiNii)

    Articles in CiNii:1

    • Practicing Collaborative Learning by Looking for Errors in Chinese Japanese Translation (2018)
Page Top