新田 直也 (ニッタ ナオヤ)
NITTA Naoya
|
職名 |
教授 |
|
学位 |
博士(工学)(奈良先端科学技術大学院大学), 修士(工学)(奈良先端科学技術大学院大学) |
|
専門分野 |
ソフトウェアアーキテクチャ、モデリング、動的解析, 計算モデル、ソフトウェア検証, 情報学, 総合領域 |
|
ホームページ |
|
|
メールアドレス |
|
|
外部リンク |
|
|
|
|
学内職務経歴 【 表示 ／ 非表示 】
-
甲南大学 知能情報学部 知能情報学科 教授
2023年4月 - 現在
-
甲南大学 知能情報学部 知能情報学科 准教授
2010年4月 - 2023年3月
-
甲南大学 理工学部 講師
2005年4月 - 2010年3月
所属学協会 【 表示 ／ 非表示 】
-
日本ソフトウェア科学会
2005年4月 - 現在
-
情報処理学会
2005年4月 - 現在
-
IEEE Computer Society
2005年4月 - 現在
-
ACM
2005年4月 - 現在
研究経歴 【 表示 ／ 非表示 】
-
Webサービスの仕様とアーキテクチャを同時に記述可能な形式的モデルに関する研究
（選択しない）
研究期間： 2013年8月 - 現在
-
データフロー，制御フロー，依存関係に基づく3段階ビジュアルモデリングに関する研究
研究期間： 2022年9月 - 現在
-
アーキテクチャ理解のための動的解析技術に関する研究
（選択しない）
研究期間： 2011年4月 - 現在
-
複数クラスを疎結合化する自動リファクタリングに関する研究
（選択しない）
研究期間： 2014年8月 - 現在
-
機能追加時の制約に基づく対話的機能捜索手法に関する研究
（選択しない）
研究期間： 2016年8月 - 現在
論文 【 表示 ／ 非表示 】
-
A Method to Comprehend Feature Dependencies Based on Semi-Static Structures 査読あり 国際誌
Narumasa Kande and Naoya Nitta
Proceedings of IEEE 37th International Conference on Software Maintenance and Evolution (ICSME 2021) 2021年10月
共著
担当区分：最終著者, 責任著者
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. -
A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer 査読あり
Naoya Nitta, Shinji Kageyama and Kouta Fujii
Proceedings of the 19th Formal Aspects of Component Software 65 - 83 2023年10月
担当区分：筆頭著者, 責任著者
-
Delta extraction: An abstraction technique to comprehend why two objects could be related 査読あり 国際誌
Naoya Nitta and Tomohiro Matsuoka
IEEE 31st International Conference on Software Maintenance and Evolution (ICSME 2015) 61 - 70 2015年9月
-
オブジェクトグラフの準静的構造に基づく機能依存理解の支援手法 査読あり
新田 直也, 神出 稔正
コンピュータソフトウェア 40 ( 2 ) 2_146 - 2_165 2023年4月
担当区分：筆頭著者, 責任著者
-
Identifying Mandatory Code for Framework Use via a Single Application Trace 査読あり
Naoya Nitta, Izuru Kume, Yasuhiro Takemura
The 28th European Conference on Object-Oriented Programming (ECOOP 2014) 593 - 617 2014年8月
共著
担当区分：筆頭著者
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.
講演・口頭発表等 【 表示 ／ 非表示 】
-
A Method to Comprehend Feature Dependencies Based on Semi-Static Structures (オブジェクトグラフの準静的構造とその機能依存理解への応用) 招待あり
神出稔正, 新田直也
ソフトウェアエンジニアリングシンポジウム2022 (東京) 2022年9月 情報処理学会 ソフトウェア工学研究会
開催年月日： 2022年9月
-
DTRAMビジュアルモデリングツール上での シミュレーション機能の実現と有効性評価
岡崎 毅浩, 新田 直也
第218回ソフトウェア工学研究発表会 (大阪) 2024年11月 情報処理学会 ソフトウェア工学研究会
開催年月日： 2024年11月
-
デバック技法を共有・再利用する枠組み構築に向けて
久米 出, 新田 直也, 中村 匡秀
第218回ソフトウェア工学研究発表会 (大阪) 2024年11月 情報処理学会 ソフトウェア工学研究会
開催年月日： 2024年11月
-
階層化されたリソース間のデータ転送を表現するWebサービスアーキテクチャモデル
岡崎 毅浩, 新田 直也
第215回ソフトウェア工学研究発表会 (香川) 2023年12月 情報処理学会 ソフトウェア工学研究会
開催年月日： 2023年11月 - 2023年12月
-
分割して抽象化せよ！新しい原理に基づくトップダウンなデバッグ方式
久米出, 新田直也, 中村匡秀
第212回ソフトウェア工学研究発表会 2022年12月 情報処理学会
開催年月日： 2022年12月
制御やデータの依存関係 (或いはそれらの流れ) はデバッグでプログラム実行が失敗する過程を特定する上で重要な手掛かりとしての役割を果たす [1]，[2]，[3]．一方でこの依存関係の極めて複雑な構造がデバッグの作業効率の阻害要因となっている．加えてオブジェクト指向プログラミング固有の継承関係も複雑性を増加させる要因となっている．現在の標準的な，ソースコードの水準でプログラム実行を表現するデバッガを用いる限り，この問題から逃れる事は困難である．こうした問題を解決するために我々は，「分割して抽象化せよ」という従来のデバッグ方式とは根本的に異なる原理に基づいてトップダウン方式の作業を可能とする関心指向デバッギングを提案する．本論文では第三者が公開したフレームワークアプリケーションで実際に発生した不具合事例に対して，関心指向デバッギングを適用する事によってその効力を検証する．
産業財産権 【 表示 ／ 非表示 】
-
情報隠蔽装置、情報隠蔽方法、情報隠蔽プログラム、およびコンピュータ読み取り可能な記録媒体
新田直也
出願番号：特願2005-12133
公開番号：特願2005-12133
特許番号/登録番号：特願2005-12133
出願国：国内
Works（作品） 【 表示 ／ 非表示 】
-
AR落書きアプリgARffiti
本郷亜季, 新田直也
2019年6月
作品分類：ソフトウェア
AR技術を体験を通して知ることができるアプリケーションとして, 現実空間内の水平面・垂直面に仮想的に落書きができるスマホアプリgARffitiの開発を行った．
-
なんぼーくん川渡パズル用人工知能
Nitta Lab., Konan
2015年9月
作品分類：ソフトウェア
甲南大学のキャラクターであるなんぼー君を主人公とした川渡パズルゲームを人工知能に解かせるアンドロイドアプリ。
-
なんぼーくん川渡パズルゲーム
Nitta Lab., Konan
2015年9月
作品分類：ソフトウェア
甲南大学のキャラクターであるなんぼー君を主人公とした川渡パズルゲームのアンドロイドアプリ。
学術関係受賞 【 表示 ／ 非表示 】
-
日本ソフトウェア科学会 2007年度論文賞授賞
2007年6月 日本ソフトウェア科学会
新田直也
-
情報処理学会 平成15年度山下記念研究賞
2003年7月 情報処理学会
新田直也
科研費（文科省・学振）獲得実績 【 表示 ／ 非表示 】
-
低遅延エッジアプリケーションのためのルールベース即時情報処理・共有基盤確立
2024年4月 - 2027年3月
学術振興機構 科学研究費助成事業 基盤研究(C)
鎌田 十三郎, 新田 直也, Finnerty Patrick・Martin
-
項書換え系を対象としたモデル検査手法に関する研究
2003年4月 - 2004年3月
学術振興機構 科学研究費助成事業 基盤研究(B)
モデル検査法と項書換え系の理論を融合し，一般に無限の状態空間を持つソフトウェアに対しても自動検証できるようモデル検査法を理論的に拡張することを目指す．
共同・受託研究活動実績（公開） 【 表示 ／ 非表示 】
-
ソフトウェア開発・保守作業支援のための実証的研究
提供機関：東京コンピュータサービス株式会社 国内共同研究
2013年4月 - 現在
ソフトウェアの開発および保守工程において発生する膨大な作業を支援するため、現在、さまざまな研究が進められている。しかしながらそれらの研究の多くは、
1. 研究機関では、研究成果を実証できるような実践的な開発プロジェクトを実施することが困難である
2. 研究機関では、研究成果を使いこなせるような一定レベルの技術者を一定数確保することが困難である
などの理由により、研究成果の有効性の厳密な検証が行われていないのが現状である。
そこで本研究では、大学とソフトウェア開発企業が連携をすることによって、大学における研究成果の厳密な実証実験を行うことを目指す。
共同研究希望テーマ 【 表示 ／ 非表示 】
-
Webサービスモデルを活用した実証的研究
-
動的解析技術を用いた大規模ソフトウェア理解に関する実証的研究
-
アーキテクチャの動的側面に関する評価・解析の実証的研究
-
アプリケーションフレームワークの利用支援に関する研究
研究費にかかる研究（調査）活動報告書 【 表示 ／ 非表示 】
-
2024年度 形式的Webサービスモデルのシミュレーション機能の開発および実証実験
研究費の種類： 教員研究費
-
2023年度 Webサービスアーキテクチャ設計のための形式的アーキテクチャモデルおよびプロトタイプの自動生成法
研究費の種類： 教員研究費
-
2022年度 ソフトウェア工学、ソフトウェア解析 ソフトウェア基礎理論、ソフトウェア工学
研究費の種類： その他
-
2021年度 ソフトウェア工学、ソフトウェア解析 ソフトウェア基礎理論、ソフトウェア工学
研究費の種類： その他
-
2020年度 ソフトウェア工学、ソフトウェア解析 ソフトウェア基礎理論、ソフトウェア工学
研究費の種類： その他
その他教育活動及び特記事項 【 表示 ／ 非表示 】
-
2018年4月-現在
スーパーIT人材育成プロジェクトにおける競技プログラミングチャレンジサブプロジェクト
-
2009年10月
A Practice of Collaborative Project-Based Learning for Mutual Edification between Programming Skill and Artistic Craftsmanship
-
2009年4月-2013年4月
情報系学生と芸術系学生のコラボレーションによる実践的プロジェクト実習
-
2008年12月
3Dゲーム用アプリケーションフレームワークの開発を通したエンピリカルなソフトウェア工学教育の試行
所属学協会等の委員歴 【 表示 ／ 非表示 】
-
2016年4月 - 2017年3月 情報処理学会 ソフトウェアエンジニアリング教育委員会
-
2009年4月 - 2011年3月 情報処理学会 ソフトウェア工学研究会 運営委員
社会貢献活動 【 表示 ／ 非表示 】
-
御影クラッセにおける子供向けプログラミング教室の実施
役割：講師, 実演
御影クラッセ×甲南大学 – ACT クラッセキッズワークLAB 御影クラッセ 2022年7月 - 現在
対象： 小学生
子ども達に大人気のゲーム「マインクラフト」を用いて、小学生向けのプログラミング教室を毎年実施している。
-
ポートピアホテルにおける子供向けプログラミング教室の実施
役割：講師, 実演
ポートピアホテル ポートピアホテル夏休みこども教室 御影クラッセ 2023年7月 - 2024年7月
対象： 小学生
子ども達に大人気のゲーム「マインクラフト」を用いて、小学生向けのプログラミング教室を毎年実施している。
-
文部科学省 成長分野を支える情報技術人材の育成拠点の形成（enPiT） ビッグデータ・AI分野 運営委員
役割：講師, 運営参加・支援
2016年4月 - 2022年3月
文部科学省のプロジェクト「成長分野を支える情報技術人材の育成拠点の形成（enPiT）」のビッグデータ・AI分野の運営委員会に、甲南大学の代表として参加し、教育活動を行っている。
-
甲南高校模擬講義
2007年4月 - 現在
ソフトウェア開発に関する模擬講義を毎年一回づつ行っている。
提供可能な資源 【 表示 ／ 非表示 】
-
Javaプログラムを対象とした動的解析プラットフォーム
Javaプログラムを対象とした、
1. 実行トレース収集ツール
2. 実行トレース解析ツール
を基本とするプラットフォームをEclipseプラグインとして開発している。 -
アプリケーションフレームワークの利用例抽出ツール
Javaで記述されたアプリケーションフレームワークの使用例をサンプルプログラムの動的解析を行うことで自動で抽出するツール。Eclipseプラグインとして開発している。
-
Android用3Dゲームフレームワーク(RadishForAndroid)
Javaで記述されたAndroid用3Dゲームフレームワーク。
-
高速なマーカレスARエンジン
Javaで記述された動画像のリアルタイム解析に基づくマーカレスARエンジン。現在のところスマートフォンには未対応。