Details of Database of Faculty members and Researchers

Papers - NITTA Naoya

Division display 21 - 40 of about 49 ／ All the affair displays >>

Change of Students' Motivation in an Introductory Programming Course for Non-computing Majors Reviewed

Hidekuni Tsukamoto, Hideo Nagumo, Yasuhiro Takemura, Naoya Nitta

The IEEE 12th International Conference on Advanced Learning Technologies (ICALT) 124 - 125 2012.7

Joint Work

Abstract:
In this research, the motivational aspects of the students while learning introductory programming was monitored and analyzed. The students were in the social welfare department, and the programming language used was Java and Processing. Monitoring students' motivation throughout the course was found to be important because, by doing so, the weak points in the syllabus could be found and modified. It was also found to be important to devise topics relevant to the students, and to adjust the level of difficulty of the assignments so that the students can feel confident studying.

DOI： 10.1109/ICALT.2012.38

Development of a 3D game engine Radish and its application to architecture comparisons Reviewed

4 ( 1 ) 1 - 12 2010.3

Joint Work

Authorship：Lead author

Development of a 3D game engine Radish and its application to architecture comparisons

新田直也, 久野剛司, 久米出

Journal of digital games research 4 ( 1 ) 1 - 12 2010

Joint Work

Publisher：日本デジタルゲーム学会

CiNii Article

researchmap

3Dゲーム開発プロジェクト演習の実践とその評価

新田直也, 久野剛司

甲南大学紀要知能情報学部編 2 ( 2 ) 225 - 232 2009.11

Joint Work

Authorship：Lead author

A Practice of Collaborative Project-Based Learning for Mutual Edification between Programming Skill and Artistic Craftsmanship Reviewed

Naoya Nitta, Izuru Kume, Yasuhiro Takemura

Proceedings of the 39th ASEE/IEEE Frontiers in Education Conference 2009.10

Joint Work

Authorship：Lead author

エンピリカルなソフトウェア工学教育を目的とした3Dゲーム用アプリケーションフレームワークの開発

新田直也, 久米出, 武村泰宏

甲南大学紀要知能情報学部編 1 ( 2 ) 181 - 195 2008.11

Joint Work

Authorship：Lead author

An Extension of Object Oriented Programming for Structural Changes in System Design

Naoya Nitta, Izuru Kume, Yasuhiro Takemura

日本情報経営学会誌 28 ( 2 ) 43 - 53 2007.12

Joint Work

Authorship：Lead author

An Experiment to Explore Practical Training for Object-Oriented Design Novices

Izuru Kume, Naoya Nitta, Yasuhiro Takemura

Technical Report NAIST-IS-TR2007009, Nara Institute of Science and Technology 2007.5

Joint Work

A Method for Creating Teaching Materials of Practical Object-Oriented Methods Education Reviewed

Izuru Kume, Naoya Nitta,Yoshiaki Takemura

Proceedings of the 14th International Conference on Computers in Education 75 - 78 2006.12

Joint Work

A Method for Creating Teaching Materials of Practical Object-Oriented Methods Education.

Izuru Kume, Naoya Nitta, Yasuhiro Takemura

Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding, Proceeding of the 14th International Conference on Computers in Education, ICCE 2006, November 30 - December 4, 2006, Beijing, China 75 - 78 2006

Joint Work

Publisher：IOS Press

researchmap

Other Link： http://dblp.uni-trier.de/db/conf/icce/icce2006.html#conf/icce/KumeNT06

An Efficient Method for Optimal Probe Deployment of Distributed IDS Reviewed

Jing Wang, Naoya Nitta, Hiroyuki Seki

IEICE Transactions on Information and Systems E88-D ( 8 ) 1948 - 1957 2005.8

Joint Work

An efficient method for optimal probe deployment of distributed IDS

J Wang, N Nitta, H Seki

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E88D ( 8 ) 1948 - 1957 2005.8

Joint Work

Publisher：IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG

A distributed network-oriented Intrusion Detection System (IDS) is a mechanism which detects misuse accesses to an intranetwork by distributed IDSs on the network with decomposed attack scenarios. However, there are only ad hoc algorithms for determining a deployment of distributed IDSs and a partition of the attack scenarios. In this paper, we formally define this problem as the IDS partition deployment problem and design an efficient algorithm for a simplified version of the problem by graph theoretical techniques.

DOI： 10.1093/ietisy/e88-d.8.1948

researchmap

LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations Reviewed

Naoya Nitta, Hiroyuki Seki

コンピュータソフトウェア 22 ( 3 ) 58 - 75 2005.7

Joint Work

Authorship：Lead author

Policy Controlled System and Its Model Checking Reviewed

Sigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Sek

IEICE Transactions on Information and Systems E88-D ( 7 ) 1685 - 1696 2005.7

Joint Work

Policy controlled system and its model checking

S Kuninobu, Y Takata, N Nitta, H Seki

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E88D ( 7 ) 1685 - 1696 2005.7

Joint Work

Publisher：IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG

A policy is an execution rule (or constraint) for objects in a system to retain security and integrity of the system. We introduce a simple policy specification language and define its operational semantics. A new NFA construction algorithm that works in linear time is proposed and a model checking method for policy controlled system (PCS) is presented. We conducted verification of a sample PCS for hotel reservation by our automatic verification tool and the experimental results showed the efficiency of the proposed method.

DOI： 10.1093/ietisy/e88-d.7.1685

researchmap

LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations

Naoya Nitta, Hiroyuki Seki

Computer Software 22 ( 3 ) 58 - 75 2005

Joint Work

Publisher：日本ソフトウェア科学会

In this paper, we show an algorithm of LTL (linear temporal logic) model checking for LL-GG-TRS with regular tree valuation. The class LL-GG-TRS is defined as a subclass of term rewriting systems, and extends the class of pushdown systems (PDS) in the sence that pushdown stack of PDS is extended to tree structure. By this extension, we can model recursive programs with exception handling. © 2005, Japan Society for Software Science and Technology. All rights reserved.

DOI： 10.11309/jssst.22.3_58

CiNii Article

researchmap

An Extension of Pushdown System and Its Model Checking Method Reviewed

Naoya Nitta, Hiroyuki Seki

Proceedings of the 14th International Conference on Concurrency Theory 281 - 295 2003.9

Joint Work

Authorship：Lead author

An Extension of Pushdown System and Its Model Checking Method

Naoya Nitta, Hiroyuki Seki

Technical Report NAIST-IS-TR2003007, Nara Institute of Science and Technology 2003.6

Single Work