写真a

NITTA Naoya

Position

Professor

Research Field

Informatics / Software, Informatics / Theory of informatics, Others / Others, 情報学

Homepage URL

http://silverbullet.is.konan-u.ac.jp/

Mail Address

E-mail address

External Link

Graduating School 【 display / non-display

  • Osaka University   Faculty of Engineering   Graduated

    - 1991.3

Graduate School 【 display / non-display

  • Nara Institute of Science and Technology   Graduate School, Division of Information Science   Doctor's Course   Completed

    - 2002.3

Campus Career 【 display / non-display

  • KONAN UNIVERSITY   Faculty of Intelligence and Informatics   Faculty of Intelligence and Informatics Department of Intelligence and Informatics   Professor

    2023.4

  • KONAN UNIVERSITY   Faculty of Intelligence and Informatics   Faculty of Intelligence and Informatics Department of Intelligence and Informatics   Associate Professor

    2010.4 - 2023.3

  • KONAN UNIVERSITY   Faculty of Science and Engineering   Lecturer

    2005.4 - 2010.3

External Career 【 display / non-display

  • 奈良先端科学技術大学院大学 情報科学研究科

    2002.4 - 2005.3

      More details

    Country:Japan

 

Research Career 【 display / non-display

  • Dynamic analysis for architecture comprehension

    (not selected)  

    Project Year: 2011.4  -   

  • Two stages vvisual modeling based on data-flow and control-flow

    Project Year: 2022.9  -   

  • An Approach for Guiding Architecture Design with Data Constraints

    (not selected)  

    Project Year: 2013.8  -   

  • Composite Refactoring for Decoupling Multiple Classes

    (not selected)  

    Project Year: 2014.8  -   

  • Interactive Feature Location Based on Constraints Regarding Feature Additions

    (not selected)  

    Project Year: 2016.8  -   

Papers 【 display / non-display

  • A Method to Comprehend Feature Dependencies Based on Semi-Static Structures Reviewed International journal

    Narumasa Kande and Naoya Nitta

    Proceedings of IEEE 37th International Conference on Software Maintenance and Evolution (ICSME 2021)   2021.10

     More details

    Joint Work

    Authorship:Last author, Corresponding author  

    To understand why features of existing software can depend on each other is important for correct addition of a new feature to the software. Although some work has been done to detect feature dependency, it is not clear how effective such existing approaches are when they are applied to feature dependency comprehension because they are aimed at detection of runtime dependency between features. Therefore in this paper, we present an extraction method of source code that can be used to comprehend feature dependency. The method can extract a wider range of source code than existing techniques of feature dependency detection by using delta extraction. We conducted a controlled experiment with 20 professional programmers and confirmed that the difference of the extracted range has a positive effect on feature dependency comprehension. To figure out an internal mechanism to enable feature dependency, we also defined semi-static parts of object graphs that can be used to make features depend on each other. Finally, we confirmed that semistatic structures are actually used in feature dependencies in three open source programs and can be effectively extracted by
    our method.

  • Delta extraction: An abstraction technique to comprehend why two objects could be related Reviewed International journal

    IEEE 31st International Conference on Software Maintenance and Evolution (ICSME 2015)   61 - 70   2015.9

     More details

    Joint Work

    Authorship:Lead author  

    DOI: 10.1109/ICSM.2015.7332452

  • Identifying Mandatory Code for Framework Use via a Single Application Trace Reviewed

    Naoya Nitta, Izuru Kume, Yasuhiro Takemura

    The 28th European Conference on Object-Oriented Programming (ECOOP 2014)   593 - 617   2014.8

     More details

    Joint Work

    Authorship:Lead author  

    Application frameworks allow application developers to effectively reuse both designs and implementations which frequently appear in their intended domains. However, when using a framework with large scale APIs, its usage to implement an application-specific behavior tends to be complicated. Thus, in practice, application developers use existing sample application code as references for their development, but the task to locate the parts which are related to their application usually becomes a burden. To address this problem, in this paper, we characterize the problem as a kind of dynamic flow analysis problem, and based on the characterization, we present a method to automatically identify the mandatory code for the framework use using only a single sample application's trace. We have conducted case studies with several real-world frameworks to validate our method and the results indicate that the method is suitable to extract the mandatory framework usage.

    DOI: 10.1007/978-3-662-44202-9_24

  • Towards a Dynamic Visualization of Complex Reverse-Engineered Object Collaboration Reviewed

    Aki Hongo and Naoya Nitta

    2021.12

     More details

    Authorship:Last author  

  • Revealing Implicit Correspondence between Bytecode Instructions and Expressions Determined by Java Compilers Reviewed

    Izuru Kume, Masahide Nakamura, Naoya Nitta

    Proc. of the 25th Australasian Software Engineering Conference (ASWEC)   126 - 130   2018.11

     More details

    Joint Work

display all >>

Presentations 【 display / non-display

  • A Method to Comprehend Feature Dependencies Based on Semi-Static Structures (オブジェクトグラフの準静的構造とその機能依存理解への応用) Invited

    神出稔正, 新田直也

    ソフトウェアエンジニアリングシンポジウム2022  (東京)  2022.9  情報処理学会 ソフトウェア工学研究会

     More details

    Event date: 2022.9

  • 分割して抽象化せよ!新しい原理に基づくトップダウンなデバッグ方式

    久米出, 新田直也, 中村匡秀

    第212回ソフトウェア工学研究発表会   2022.12  情報処理学会

     More details

    Event date: 2022.12

    制御やデータの依存関係 (或いはそれらの流れ) はデバッグでプログラム実行が失敗する過程を特定する上で重要な手掛かりとしての役割を果たす [1],[2],[3].一方でこの依存関係の極めて複雑な構造がデバッグの作業効率の阻害要因となっている.加えてオブジェクト指向プログラミング固有の継承関係も複雑性を増加させる要因となっている.現在の標準的な,ソースコードの水準でプログラム実行を表現するデバッガを用いる限り,この問題から逃れる事は困難である.こうした問題を解決するために我々は,「分割して抽象化せよ」という従来のデバッグ方式とは根本的に異なる原理に基づいてトップダウン方式の作業を可能とする関心指向デバッギングを提案する.本論文では第三者が公開したフレームワークアプリケーションで実際に発生した不具合事例に対して,関心指向デバッギングを適用する事によってその効力を検証する.

  • データ転送アーキテクチャモデルに基づくRESTful WebサービスのPUSH/PULL転送方式変更リファクタリング

    蔭山信二, 新田直也

    第212回ソフトウェア工学研究発表会   2022.12  情報処理学会

     More details

    Event date: 2022.12

    Web サービスを構成する上で, サービス間のデータの転送をPUSH 型で行うかPULL 型で行うかの選択は非常に重要である. データ転送方式の選択が不適切であると, システム全体のパフォーマンス低下を招く可能性がある. しかしながら, データ転送方式の選択は複数のサービスのAPI 設計に影響を与えるため, API 設計を行った後での変更は容易ではない. そこで我々の研究グループは, API 設計よりも高い抽象度でWeb サービスアーキテクチャを記述する形式的モデルとして, データ転送アーキテクチャモデル(以下, 本モデルと略) を提案した. また, 本モデルによるアーキテクチャ記述に, 設計者が選択したデータ転送方式の情報を付加することによって, その選択に応じたWeb サービスのAPI 設計と, 実行可能なプロトタイプを自動生成するツールを開発した. しかしながら選択されたデータ転送方式は, 生成されたプロトタイプ中に暗黙的に埋め込まれるため, 実装途中でデータ転送方式を変更することは容易ではない. そこで本研究では, プロトタイプ生成時に, 本モデルが持つ情報をアノテーションとして明示的に埋め込むことによって, プロトタイプから派生した実装でもデータ転送方式をリファクタリング可能にする手法を提案する. また, データ転送方式を手作業で書き換えた場合に, どの程度の時間を要するかを調べるため, 被験者実験も行った. その結果, データ転送方式の変更に, 平均で25 分前後の時間を要することが判明した.

  • データ転送アーキテクチャモデルから生成されるJavaプロトタイプの設計多様化に関する検討

    藤井宏太, 新田直也

    第212回ソフトウェア工学研究発表会   2022.12  情報処理学会

     More details

    Event date: 2022.12

    データ転送アーキテクチャモデルは, Webサービス間のデータ転送方式の変更を容易にするため, データ転送方式に関する情報を捨象した抽象度でWebサービスアーキテクチャを記述可能な形式的モデルである. 我々の研究グループでは, データ転送アーキテクチャモデルの記述に, 設計者が選択したデータ転送方式の情報を付加することによって, その選択に応じたRESTful Webサービスのプロトタイプを生成可能なツールを開発している. 本研究では, 本ツールからJavaプロトタイプを生成できるようにした場合のその設計のバリエーションについて調べる. 具体的には, 23種類のデザインパターンのJavaサンプルプログラムを対象に, 適切なモデルの記述と適切なデータ転送方式の選択によって, 同等の振る舞いをするプログラムを生成可能であるかを検証した. その結果本手法では, 1つのサンプルプログラムに対してしか同等の振る舞いをするJavaプログラムを生成できないことが判明した. そこで, データ転送方式の選択を拡張する手法を考案し, それを用いて同様の検証を行った結果, 6つのサンプルプログラムに対して同等の振る舞いをするJavaプログラムを生成できることがわかった.

  • 代数に基づくデータ転送アーキテクチャモデルからのCCSプロセスの導出手法

    蔭山 信二, 新田 直也

    ソフトウェアサイエンス研究会  2022.3  電子情報通信学会

     More details

    Event date: 2022.3

    コンポーネント間のデータ転送を PUSH 型で行うか PULL 型で行うかの選択は, システム全体の構造と最終的に得られる性能の両方に大きな影響を及ぼす. そこで本研究では, 開発初期の段階における適切なデータ転送方式の選択の支援を目的に, データ転送アーキテクチャモデルの提案を行っている. 具体的には, アーキテクチャ設計をデータ転送方式に依存する部分と依存しない部分に分離し, 依存しない部分を代数的に記述可能にする. 本稿では, 提案アーキテクチャモデルによる記述とユーザによって選択されたデータ転送方式を元に, CCS プロセスを自動生成する手法を示し, 生成された CCS プロセスが元のアーキテクチャモデルと等価となることおよび, 等価性を保ちながらデータ転送方式を変更するための十分条件を示す.

display all >>

Industrial property rights 【 display / non-display

  • 情報隠蔽装置、情報隠蔽方法、情報隠蔽プログラム、およびコンピュータ読み取り可能な記録媒体

    新田直也

     More details

    Application no:特願2005-12133

    Announcement no:特願2005-12133

    Patent/Registration no:特願2005-12133

    Country of applicant:Domestic  

Works 【 display / non-display

  • AR落書きアプリgARffiti

    本郷亜季, 新田直也

    2019.6

     More details

    Work type:Software

    AR技術を体験を通して知ることができるアプリケーションとして, 現実空間内の水平面・垂直面に仮想的に落書きができるスマホアプリgARffitiの開発を行った.

  • なんぼーくん川渡パズル用人工知能

    Nitta Lab., Konan

    2015.9

     More details

    Work type:Software

    甲南大学のキャラクターであるなんぼー君を主人公とした川渡パズルゲームを人工知能に解かせるアンドロイドアプリ。

  • なんぼーくん川渡パズルゲーム

    Nitta Lab., Konan

    2015.9

     More details

    Work type:Software

    甲南大学のキャラクターであるなんぼー君を主人公とした川渡パズルゲームのアンドロイドアプリ。

Academic Awards Received 【 display / non-display

  • 日本ソフトウェア科学会 2007年度論文賞授賞

    2007.6   日本ソフトウェア科学会  

    新田直也

  • 情報処理学会 平成15年度山下記念研究賞

    2003.7   情報処理学会   

    新田直也

Grant-in-Aid for Scientific Research 【 display / non-display

  • 項書換え系を対象としたモデル検査手法に関する研究

    2003.4 - 2004.3

    JSPS Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research(B)

      More details

    モデル検査法と項書換え系の理論を融合し,一般に無限の状態空間を持つソフトウェアに対しても自動検証できるようモデル検査法を理論的に拡張することを目指す.

Joint and Contract research activities (Public) 【 display / non-display

  • ソフトウェア開発・保守作業支援のための実証的研究

    Offer organization:東京コンピュータサービス株式会社  Domestic Joint Research

    2013.4

      More details

    ソフトウェアの開発および保守工程において発生する膨大な作業を支援するため、現在、さまざまな研究が進められている。しかしながらそれらの研究の多くは、

    1. 研究機関では、研究成果を実証できるような実践的な開発プロジェクトを実施することが困難である
    2. 研究機関では、研究成果を使いこなせるような一定レベルの技術者を一定数確保することが困難である

    などの理由により、研究成果の有効性の厳密な検証が行われていないのが現状である。
     そこで本研究では、大学とソフトウェア開発企業が連携をすることによって、大学における研究成果の厳密な実証実験を行うことを目指す。

Preferred joint research theme 【 display / non-display

  • アーキテクチャの動的側面に関する評価・解析の実証的研究

  • アーキテクチャレベルのリファクタリングに関する実証的研究

  • 動的解析技術を用いた大規模ソフトウェア理解に関する実証的研究

  • アプリケーションフレームワークの利用支援に関する研究

 

Committee Memberships 【 display / non-display

  • 2016.4   情報処理学会  ソフトウェアエンジニアリング教育委員会

  • 2009.4 - 2011.3   情報処理学会  ソフトウェア工学研究会 運営委員

Social Activities 【 display / non-display

  • 文部科学省 成長分野を支える情報技術人材の育成拠点の形成(enPiT) ビッグデータ・AI分野 運営委員

    2016.4

     More details

    文部科学省のプロジェクト「成長分野を支える情報技術人材の育成拠点の形成(enPiT)」のビッグデータ・AI分野の運営委員会に、甲南大学の代表として参加し、教育活動を行っている。

  • 甲南高校模擬講義

    2007.4

     More details

    ソフトウェア開発に関する模擬講義を毎年一回づつ行っている。