Yuki HIRAI


Learners' Self Checking and Its Effectiveness in Conceptual Data Modeling Exercises
Takafumi TANAKA Hiroaki HASHIURA Atsuo HAZEYAMA Seiichi KOMIYA Yuki HIRAI Keiichi KANEKO 
Publication:   
Publication Date: 2018/07/01
Vol. E101-D  No. 7  pp. 1801-1810
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
Conceptual data modelingself checkingartifact-making processUML
 Summary | Full Text:PDF(1.8MB)

A Support System for Solving Problems of Two-Triangle Congruence Using ‘Backward Chaining’
Ryosuke ONDA Yuki HIRAI Kay PENNY Bipin INDURKHYA Keiichi KANEKO 
Publication:   
Publication Date: 2017/10/01
Vol. E100-D  No. 10  pp. 2567-2577
Type of Manuscript:  PAPER
Category: Educational Technology
Keyword: 
secondary educationinteractive learning environmentslearning support systemproblem-solvingbackward chaining
 Summary | Full Text:PDF(1MB)

An Algorithm to Evaluate Appropriateness of Still Images for Learning Concrete Nouns of a New Foreign Language
Mohammad Nehal HASNINE Masatoshi ISHIKAWA Yuki HIRAI Haruko MIYAKODA Keiichi KANEKO 
Publication:   
Publication Date: 2017/09/01
Vol. E100-D  No. 9  pp. 2156-2164
Type of Manuscript:  PAPER
Category: Educational Technology
Keyword: 
appropriate imageconcrete nounon-demand learning systemAIVASAIVAS-IRA
 Summary | Full Text:PDF(788.9KB)

Node-to-Set Disjoint Paths Problem in a Möbius Cube
David KOCIK Yuki HIRAI Keiichi KANEKO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/03/01
Vol. E99-D  No. 3  pp. 708-713
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
hypercubemulticomputerinterconnection networkparallel processingdependable computing
 Summary | Full Text:PDF(443.8KB)