Noriko H. Arai

According to our database, Noriko H. Arai authored at least 29 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Designing Researchmap: A Revolutionary Scholar Support Platform Achieved Through Human-AI Collaboration.

Noriko H. Arai, Ryuji Masukawa, Hiroshi Miyashita

Proceedings of the 6th IEEE International Conference on Knowledge Innovation and Invention, 2023

2020

Large-Scale Survey of Students' Skills in Reading Math Definitions.

Naoya Todo, Noriko H. Arai, Shingo Sugawara

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

2018

Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems.

Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai

AI Commun., 2018

2017

Reading Skill Test to Diagnose Basic Language Skills in Comparison to Machines.

Noriko H. Arai, Naoya Todo, Teiko Arai, Kyosuke Bunji, Shingo Sugawara, Miwa Inuzuka, Takuya Matsuzaki, Koken Ozaki

Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

Semantic Parsing of Pre-university Math Problems.

Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai

Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, 2017

2016

Development of a Reading Skill Test to Measure Basic Language Skills.

Akira Fujita, Naoya Todo, Shingo Sugawara, Kyo Kageura, Noriko H. Arai

Proceedings of the Eighth IEEE International Conference on Technology for Education, 2016

Translation Errors and Incomprehensibility: a Case Study using Machine-Translated Second Language Proficiency Tests.

Takuya Matsuzaki, Akira Fujita, Naoya Todo, Noriko H. Arai

Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, 2016

An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination.

Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai

Proceedings of the Mathematical Software - ICMS 2016, 2016

An Information-Processing Account of Representation Change: International Mathematical Olympiad Problems are Hard not only for Humans.

Takuya Matsuzaki, Munehiro Kobayashi, Noriko H. Arai

Proceedings of the 38th Annual Meeting of the Cognitive Science Society, 2016

Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems.

Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Evaluating Machine Translation Systems with Second Language Proficiency Tests.

Takuya Matsuzaki, Akira Fujita, Naoya Todo, Noriko H. Arai

Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing, 2015

2014

Mathematics by machine.

Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

Cognitive Model of Generic Skill: Cognitive Processes in Search and Editing.

Akira Fujita, Masayuki Suzuki, Noriko H. Arai

Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving.

Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

World History Ontology for Reasoning Truth/Falsehood of Sentences: Event Classification to Fill in the Gaps Between Knowledge Resources and Natural Language Texts.

Ai Kawazoe, Yusuke Miyao, Takuya Matsuzaki, Hikaru Yokono, Noriko H. Arai

Proceedings of the New Frontiers in Artificial Intelligence, 2013

The Complexity of Math Problems - Linguistic, or Computational?

Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai

Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013

2008

Evaluation of Logical Thinking Ability through Contributions in a Learning Community.

Kayo Kawamoto, Noriko H. Arai

Proceedings of the Large-Scale Knowledge Resources. Construction and Application, 2008

2006

The complexity of analytic tableaux.

Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart

J. Symb. Log., 2006

2005

TelMeA - Expressive avatars in asynchronous communications.

Toru Takahashi, Christoph Bartneck, Yasuhiro Katagiri, Noriko H. Arai

Int. J. Hum. Comput. Stud., 2005

Designing Collaborative Learning Environment for Advanced Math.

Noriko H. Arai, Kayo Kawamoto

Proceedings of the Ninth IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2005), 2005

Creating a Virtual Space for Child-Rearing with IT Beginners.

Noriko H. Arai, Chimako Hiratsuka

Proceedings of the Ninth IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2005), 2005

2004

Social Summarization for Semantic Society.

Yasuhiro Katagiri, Toru Takahashi, Noriko H. Arai

Proceedings of the New Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31, 2004

CSCL Environment for Bilingual Deaf Education.

Noriko H. Arai, Toru Takahashi, Yasuhiro Katagiri

Proceedings of the 7th IASTED International Conference on Computers and Advanced Technology in Education, 2004

2000

Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II.

Noriko H. Arai

Theor. Comput. Sci., 2000

No feasible monotone interpolation for simple combinatorial reasoning.

Noriko H. Arai

Theor. Comput. Sci., 2000

Relative efficency of propositional proof systems: resolution vs. cut-free LK.

Noriko H. Arai

Ann. Pure Appl. Log., 2000

Local Symmetries in Propositional Logic.

Noriko H. Arai, Alasdair Urquhart

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

1996

Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference.

Noriko H. Arai

Theor. Comput. Sci., 1996

A Proper Hierarchy of Propositional Sequent Calculi.

Noriko H. Arai

Theor. Comput. Sci., 1996