If you made any changes in Pure these will be visible here soon.

Research Output 1985 2019

Filter
Article

A lambda proof of the P-W theorem

Hirokawa, S., Komori, Y. & Nagayama, M., Jan 1 2000, In : Journal of Symbolic Logic. 65, 4, p. 1841-1849 9 p.

Research output: Contribution to journalArticle

Theorem
Natural Deduction
P Systems
Intuitionistic Logic
Term
3 Citations (Scopus)

An automated method to generate e-learning quizzes from online language learner writing

Flanagan, B., Yin, C., Hirokawa, S., Hashimoto, K. & Tabata, Y., Jan 1 2013, In : International Journal of Distance Education Technologies. 11, 4, p. 63-80 18 p.

Research output: Contribution to journalArticle

quiz
electronic learning
language
foreign language
learning
2 Citations (Scopus)

An automatic method to extract online foreign language learner writing error characteristics

Flanagan, B. & Hirokawa, S., Oct 1 2018, In : International Journal of Distance Education Technologies. 16, 4, p. 15-30 16 p.

Research output: Contribution to journalArticle

foreign language
Feedback
language
language group
learning process
12 Citations (Scopus)

A predictive model to evaluate student performance

Sorour, S. E., Mine, T., Goda, K. & Hirokawa, S., Jan 1 2015, In : Journal of information processing. 23, 2, p. 192-201 10 p.

Research output: Contribution to journalArticle

Students
Semantics
Experiments

A Reduction Rule for Peirce Formula

Hirokawa, S., Komori, Y. & Takeuti, I., Jan 1 1996, In : Studia Logica. 56, 3, p. 419-426 8 p.

Research output: Contribution to journalArticle

Figure
Strong Normalization
Classical Logic
Term
Normalization

A trichotomic approach to concept capture and representation: With its application to library data mining

Minami, T., Hirokawa, S., Baba, K. & Amano, E., Jan 1 2014, In : Studies in Computational Intelligence. 553, p. 61-75 15 p.

Research output: Contribution to journalArticle

Data mining
Visualization

Attribute-based quality classification of academic papers

Nakatoh, T., Hirokawa, S., Minami, T., Nanri, T. & Funamori, M., Jun 1 2018, In : Artificial Life and Robotics. 23, 2, p. 235-240 6 p.

Research output: Contribution to journalArticle

Publications
Classifiers
Research Personnel
Databases
Research
7 Citations (Scopus)

Automated duplicate bug report detection using multi-factor analysis

Zou, J., Xu, L., Yang, M., Zhang, X., Zeng, J. & Hirokawa, S., Jul 2016, In : IEICE Transactions on Information and Systems. E99D, 7, p. 1762-1775 14 p.

Research output: Contribution to journalArticle

Factor analysis
Semantics
Experiments
4 Citations (Scopus)

Automatic generation of tourism quiz using blogs

Zeng, J., Sakai, T., Yin, C., Suzuki, T. & Hirokawa, S., Jan 1 2013, In : Artificial Life and Robotics. 17, 3-4, p. 412-416 5 p.

Research output: Contribution to journalArticle

Blogging
Blogs
Communication
1 Citation (Scopus)

A web page segmentation approach using seam degree and content similarity

Zeng, J., Flanagan, B., Xiong, Q., Wen, J. & Hirokawa, S., Jan 1 2014, In : Studies in Computational Intelligence. 553, p. 91-103 13 p.

Research output: Contribution to journalArticle

Websites
Semantics
Experiments
2 Citations (Scopus)

A web page segmentation approach using visual semantics

Zeng, J., Flanagan, B., Hirokawa, S. & Ito, E., Jan 1 2014, In : IEICE Transactions on Information and Systems. E97-D, 2, p. 223-230 8 p.

Research output: Contribution to journalArticle

Websites
Semantics
World Wide Web
Learning algorithms
Learning systems
6 Citations (Scopus)

Characteristic grammatical context of tourism information

Nakatoh, T., Yin, C. & Hirokawa, S., Mar 1 2012, In : ICIC Express Letters. 6, 3, p. 753-758 6 p.

Research output: Contribution to journalArticle

Blogs
World Wide Web
Ontology
Statistical methods
1 Citation (Scopus)

Complexity of the combinator reduction machine

Hirokawa, S., 1985, In : Theoretical Computer Science. 41, C, p. 289-303 15 p.

Research output: Contribution to journalArticle

Models of Computation
Linearity
Coefficient
Theorem
2 Citations (Scopus)

Component search engine based on html path and word weight

Zeng, J. & Hirokawa, S., Feb 2012, In : ICIC Express Letters. 6, 2, p. 563-568 6 p.

Research output: Contribution to journalArticle

Search engines
HTML
Websites
1 Citation (Scopus)

Discovery of implicit featurewords of place name

Hirokawa, S., Nakatoh, T., Nakae, H. & Suzuki, T., Jan 1 2015, In : Intelligent Systems Reference Library. 90, p. 31-42 12 p.

Research output: Contribution to journalArticle

Blogs
weblog
tourist
Concretes
experience
2 Citations (Scopus)

Dynamic macro-based heuristic planning through action relationship analysis

Jiang, Z., Wen, J., Zeng, J., Zhang, Y., Wang, X. & Hirokawa, S., Feb 1 2015, In : IEICE Transactions on Information and Systems. E98D, 2, p. 363-371 9 p.

Research output: Contribution to journalArticle

Macros
Planning
Dynamical systems
Economics
Experiments
1 Citation (Scopus)

Extraction of subjective context-sensitive evaluation of Japanese onomatopoeic expressions and its applications

Hashimoto, K., Takeuchi, K., Yin, C. & Hirokawa, S., Oct 2011, In : ICIC Express Letters. 5, 10, p. 3755-3760 6 p.

Research output: Contribution to journalArticle

Experiments
1 Citation (Scopus)

Extraction of tourism objects from blogs

Nakatoh, T. & Hirokawa, S., Jan 1 2015, In : Intelligent Systems Reference Library. 90, p. 43-58 16 p.

Research output: Contribution to journalArticle

Blogs
weblog
tourist
Tourism
Tourists

Graph Clustering System for Text-Based Records in a Clinical Pathway

Yamashita, T., Onimura, N., Soejima, H., Nakashima, N. & Hirokawa, S., Jan 2018, In : Studies in Health Technology and Informatics. 245, p. 649-652 4 p.

Research output: Contribution to journalArticle

Electronic medical equipment
Critical Pathways
Analog to digital conversion
Standardization
Medical Records
5 Citations (Scopus)

Infiniteness of proof(α) is polynomial-space complete

Hirokawa, S., Oct 6 1998, In : Theoretical Computer Science. 206, 1-2, p. 331-339 9 p.

Research output: Contribution to journalArticle

Polynomials
Polynomial
Normal Form
Natural Deduction
Sequent Calculus
19 Citations (Scopus)

Learning by searching: A learning environment that provides searching and analysis facilities for supporting trend analysis activities

Yin, C., Sung, H. Y., Hwang, G. J., Hirokawa, S., Chu, H. C., Flanagan, B. & Tabata, Y., 2013, In : Educational Technology and Society. 16, 3, p. 286-300 15 p.

Research output: Contribution to journalArticle

Search engines
learning environment
search engine
trend
Online searching
3 Citations (Scopus)

Living with ZK - an approach towards communication with analogue messages

Minami, T., Sazuka, H., Hirokawa, S. & Ohtani, T., 1998, In : Unknown Journal. 1, p. 369-374 6 p.

Research output: Contribution to journalArticle

communication
Color
Communication
electronics

LTDE: A layout tree based approach for deep page data extraction

Zeng, J., Li, F., Flanagan, B. & Hirokawa, S., May 2017, In : IEICE Transactions on Information and Systems. E100D, 5, p. 1067-1078 12 p.

Research output: Contribution to journalArticle

HTML
Websites
World Wide Web
Experiments
11 Citations (Scopus)

Normal Proofs and Their Grammar

Takahashi, M., Akama, Y. & Hirokawa, S., Mar 15 1996, In : Information and Computation. 125, 2, p. 144-153 10 p.

Research output: Contribution to journalArticle

Grammar
1 Citation (Scopus)

One-step recurrent terms in λ-β-calculus

Sekimoto, S. & Hirokawa, S., Feb 1988, In : Theoretical Computer Science. 56, 2, p. 223-231 9 p.

Research output: Contribution to journalArticle

Calculus
Term
Necessary Conditions
Sufficient Conditions
Cycling
5 Citations (Scopus)

Personalized movie recommendation system based on support vector machine and improved particle swarm optimization

Wang, X., Luo, F., Sang, C., Zeng, J. & Hirokawa, S., Feb 2017, In : IEICE Transactions on Information and Systems. E100D, 2, p. 285-293 9 p.

Research output: Contribution to journalArticle

Recommender systems
Particle swarm optimization (PSO)
Support vector machines
Collaborative filtering
Information technology
14 Citations (Scopus)

Principal types of BCK-lambda-terms

Hirokawa, S., Jan 18 1993, In : Theoretical Computer Science. 107, 2, p. 253-276 24 p.

Research output: Contribution to journalArticle

Substitution reactions
Term
Assignment
Normal Form
Figure

Real time text-based feedback systems: From frequency-based feedback to mindmap feedback in foreign language teaching

Ono, Y., Hirokawa, S., Ishihara, M. & Yamashiro, M., 2014, In : Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics. 2014-January, January, p. 2150-2153 4 p., 6974240.

Research output: Contribution to journalArticle

Teaching
Feedback
Bulletin boards
Glossaries
14 Citations (Scopus)

Research trends with cross tabulation search engine

Yin, C., Hirokawa, S., Yau, J. Y. K., Hashimoto, K., Tabata, Y. & Nakatoh, T., Jan 1 2013, In : International Journal of Distance Education Technologies. 11, 1, p. 31-44 14 p.

Research output: Contribution to journalArticle

Search engines
search engine
survey research
trend
field research
6 Citations (Scopus)

Search and analysis of gourmet blogs with a particular reference to onomatopoeia

Hirokawa, S., Yin, C., Hashimoto, K. & Takeuchi, K., Aug 2011, In : ICIC Express Letters. 5, 8 B, p. 2971-2976 6 p.

Research output: Contribution to journalArticle

Blogs
Hotels
Search engines
6 Citations (Scopus)

Shilling attack detection in recommender systems via selecting patterns analysis

Li, W., Gao, M., Li, H., Zeng, J., Xiong, Q. & Hirokawa, S., Oct 2016, In : IEICE Transactions on Information and Systems. E99D, 10, p. 2600-2611 12 p.

Research output: Contribution to journalArticle

Recommender systems
Collaborative filtering
Learning systems
Feature extraction
Experiments

Text mining of tourism preference in a multilingual site

Zeng, C., Nakatoh, T., Hirokawa, S. & Eguchi, M., Apr 2019, In : IEEJ Transactions on Electrical and Electronic Engineering. 14, 4, p. 590-596 7 p.

Research output: Contribution to journalArticle

Hotels
Learning systems
Visualization
2 Citations (Scopus)

The converse principal type-scheme theorem in lambda calculus

Hirokawa, S., Mar 1 1992, In : Studia Logica. 51, 1, p. 83-95 13 p.

Research output: Contribution to journalArticle

Lambda Calculus
Converse
Term
Theorem
Assignment
2 Citations (Scopus)

The proofs of α → α in P - W

Hirokawa, S., Mar 1 1996, In : Journal of Symbolic Logic. 61, 1, p. 195-211 17 p.

Research output: Contribution to journalArticle

Term
Natural Deduction
Axiom
Axioms
Normal Form
2 Citations (Scopus)

The relevance graph of a BCK-formula

Hirokawa, S., Jun 1 1993, In : Journal of Logic and Computation. 3, 3, p. 269-285 17 p.

Research output: Contribution to journalArticle

Directed graphs
Graph in graph theory
Relevance
Graph
Term