• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

ステートフル深層学習システムに対する総合的解析と修復技術の確立

研究課題

研究課題/領域番号 20H04168
研究種目

基盤研究(B)

配分区分補助金
応募区分一般
審査区分 小区分60050:ソフトウェア関連
研究機関九州大学

研究代表者

馬 雷  九州大学, システム情報科学研究院, 准教授 (70842061)

研究分担者 佐藤 周行  東京大学, 情報基盤センター, 准教授 (20225999)
趙 建軍  九州大学, システム情報科学研究院, 教授 (20299580)
石川 冬樹  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193)
鵜林 尚靖  九州大学, システム情報科学研究院, 教授 (80372762)
研究期間 (年度) 2020-04-01 – 2023-03-31
研究課題ステータス 完了 (2022年度)
配分額 *注記
17,680千円 (直接経費: 13,600千円、間接経費: 4,080千円)
2022年度: 5,070千円 (直接経費: 3,900千円、間接経費: 1,170千円)
2021年度: 5,200千円 (直接経費: 4,000千円、間接経費: 1,200千円)
2020年度: 7,410千円 (直接経費: 5,700千円、間接経費: 1,710千円)
キーワード知能ソフトウェア分析 / 深層学習 / 回帰型ニューラルネットワーク分析 / 機械学習品質保証 / ソフトウェア工学 / 機械学習工学 / 知能ソフトウェア解析 / 回帰型ニューラルネットワーク解析 / 深層学習システム / ソフトウエア解析 / ソフトウエアテスト / ソフトウエア修復 / 回帰型ニューラルネットワーク
研究開始時の研究の概要

深層学習(DL)は画像処理、音声認識、自然言語処理、及ひ囲碁なとの応用面て華々しい成功をおさめ、自動運転車やロボットなと、社会基盤に関わる重要な分野ての成果か益々期待されている。それと同時に、DLシステムにおける障害か発生する場合、社会に巨大な災害をもたらす可能性かあるため、その信頼性と安全性に対する要求か益々高くなっている。本研究ては、ステートフル深層学習システム(RNN)に対する系統的解析と修復技術の確立を目的としている。本研究の進展により、RNNにおける系統的な解析やテスト技術とその支援環境か整い、信頼性と安全性の高いRNNシステムを構築することか期待てきる。

研究成果の概要

本研究では、回帰型ニューラルネットワーク(RNN)に対する系統的な分析と修正技術の確立を目的としています。具体的には、以下の成果を得ました。1) RNNの内部動作を近似する抽象モデルの抽出と分析基盤を構築しました。2) RNNの自動分析、テスト、修正、解釈などの早期フレームワークを開発しました。3) 提案された技術を実際のRNNシステムに適用することで、提案手法の有効性を検証できました。
本研究は、RNNについて早期に解釈可能な分析技術の基盤を確立することができ、今後、RNNがより影響力を持つことが予想されるため、信頼性の高いRNNを構築するために、この研究成果が役立つことが期待されています。

研究成果の学術的意義や社会的意義

RNNは、自然言語処理などの時系列信号処理において、社会基盤に関わる重要な分野での成果がますます期待されている。しかし、RNNはフィードバックと内部状態を使用するため、ブラックボックスの特性により、信頼性保証などが非常に困難となることがある。特に、信頼性が重要な産業界や日常社会の様々な応用において、誤った動作をする悪い影響に直面する可能性がある。そこで、本研究では、RNNに対する系統的解釈ができる分析技術の確立により、RNNにおける解釈可能な分析などにおいて、品質・安全保証技術の基盤とその支援環境が整い、信頼性と品質の高いRNNシステムを構築することができるようになるでしょう。

報告書

(4件)
  • 2022 実績報告書   研究成果報告書 ( PDF )
  • 2021 実績報告書
  • 2020 実績報告書
  • 研究成果

    (53件)

すべて 2023 2022 2021 2020 その他

すべて 国際共同研究 (12件) 雑誌論文 (10件) (うち国際共著 9件、 査読あり 10件、 オープンアクセス 6件) 学会発表 (31件) (うち国際学会 31件)

  • [国際共同研究] Nanyang Technological University(シンガポール)

    • 関連する報告書
      2022 実績報告書
  • [国際共同研究] University of Luxembourg(ルクセンブルク)

    • 関連する報告書
      2022 実績報告書
  • [国際共同研究] Purdue University(米国)

    • 関連する報告書
      2022 実績報告書
  • [国際共同研究] University of Alberta(カナダ)

    • 関連する報告書
      2022 実績報告書
  • [国際共同研究] Tsinghua University(中国)

    • 関連する報告書
      2022 実績報告書
  • [国際共同研究] Nanyang Technological University(シンガポール)

    • 関連する報告書
      2021 実績報告書
  • [国際共同研究] University of Calgary(カナダ)

    • 関連する報告書
      2021 実績報告書
  • [国際共同研究] Peking University/Tianjin University(中国)

    • 関連する報告書
      2021 実績報告書
  • [国際共同研究] Iowa State University(米国)

    • 関連する報告書
      2021 実績報告書
  • [国際共同研究] Nanyang Technological University(シンガポール)

    • 関連する報告書
      2020 実績報告書
  • [国際共同研究] Concordia University(カナダ)

    • 関連する報告書
      2020 実績報告書
  • [国際共同研究] Peking University(中国)

    • 関連する報告書
      2020 実績報告書
  • [雑誌論文] ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks2023

    • 著者名/発表者名
      Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Fuyuan Zhang, Lei Ma, Jianjun Zhao
    • 雑誌名

      ACM Transactions on Software Engineering and Methodology (TOSEM 2023, CORE Rank A*, Impact Factor 3.685)

      巻: n.a.

    • 関連する報告書
      2022 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing.2023

    • 著者名/発表者名
      Yuheng Huang, Lei Ma, Yuanchun Li
    • 雑誌名

      ACM Transactions on Software Engineering and Methodology (TOSEM 2023, CORE Rank A*, Impact Factor 3.685)

      巻: n.a. 号: 6 ページ: 1-34

    • DOI

      10.1145/3591870

    • 関連する報告書
      2022 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] PAFL: Probabilistic Automaton-based Fault Localization for Recurrent Neural Networks2023

    • 著者名/発表者名
      Yuta Ishimoto, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei
    • 雑誌名

      Information and Software Technology

      巻: 155 ページ: 107117-107117

    • DOI

      10.1016/j.infsof.2022.107117

    • 関連する報告書
      2022 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] A Survey on Automated Driving System Testing: Landscapes and Trends.2023

    • 著者名/発表者名
      Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu
    • 雑誌名

      ACM Transactions on Software Engineering and Methodology (TOSEM 2023, CORE Rank A*, impact factor 3.685)

      巻: n.a. 号: 5 ページ: 1-62

    • DOI

      10.1145/3579642

    • 関連する報告書
      2022 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria2023

    • 著者名/発表者名
      Zhang Zhenya、Lyu Deyun、Arcaini Paolo、Ma Lei、Hasuo Ichiro、Zhao Jianjun
    • 雑誌名

      IEEE Transactions on Software Engineering

      巻: 49 号: 4 ページ: 1842-1859

    • DOI

      10.1109/tse.2022.3194640

    • 関連する報告書
      2022 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks2022

    • 著者名/発表者名
      Xie Xiaofei、Li Tianlin、Wang Jian、Ma Lei、Guo Qing、Juefei-Xu Felix、Liu Yang
    • 雑誌名

      ACM Transactions on Software Engineering and Methodology

      巻: 31 号: 3 ページ: 1-27

    • DOI

      10.1145/3490489

    • 関連する報告書
      2022 実績報告書 2021 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptions2022

    • 著者名/発表者名
      Ren Xuhong、Chen Jianlang、Juefei-Xu Felix、Xue Wanli、Guo Qing、Ma Lei、Zhao Jianjun、Chen Shengyong
    • 雑誌名

      Pattern Recognition

      巻: 131 ページ: 108864-108864

    • DOI

      10.1016/j.patcog.2022.108864

    • 関連する報告書
      2022 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] On the usage and development of deep learning compilers: an empirical study on TVM2022

    • 著者名/発表者名
      Xiongfei Wu, Jinqiu Yang, Lei Ma, Yinxing Xue, and Jianjun Zhao
    • 雑誌名

      Empirical Software Engineering volume 27, 172, Sep. 2022 (EMSE 2022, Impact Factor 3.762)

      巻: 27

    • 関連する報告書
      2022 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Formalism-Driven Development: Concepts, Taxonomy, and Practice2022

    • 著者名/発表者名
      Ding Yepeng、Sato Hiroyuki
    • 雑誌名

      Applied Sciences

      巻: 12 号: 7 ページ: 3415-3415

    • DOI

      10.3390/app12073415

    • 関連する報告書
      2021 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment2021

    • 著者名/発表者名
      Yu Bing、Qi Hua、Qing Guo、Juefei-Xu Felix、Xie Xiaofei、Ma Lei、Zhao Jianjun
    • 雑誌名

      IEEE Transactions on Reliability

      巻: - 号: 4 ページ: 1-16

    • DOI

      10.1109/tr.2021.3096332

    • 関連する報告書
      2021 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [学会発表] DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction2023

    • 著者名/発表者名
      Zhijie Wang, Yuheng Huang, Da Song, Lei Ma, Tianyi Zhang
    • 学会等名
      The ACM CHI Conference on Human Factors in Computing Systems (CHI 2023, CORE Rank A*)
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] DeepLens: Interactive Out-of-Distribution Data Detection in NLP Models2023

    • 著者名/発表者名
      Da Song, Zhijie Wang, Yuheng Huang, Lei Ma, Tianyi Zhang
    • 学会等名
      The ACM CHI Conference on Human Factors in Computing Systems (CHI 2023, CORE Rank A*)
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation2023

    • 著者名/発表者名
      Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
    • 学会等名
      The 45th International Conference on Software Engineering (ICSE 2023, CORE Rank A*)
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] CodeS: Towards Code Model Generalization Under Distribution Shift2023

    • 著者名/発表者名
      Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
    • 学会等名
      The 45th International Conference on Software Engineering, NIER Track (ICSE 2023, CORE Rank A* )
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] DeepGemini: Verifying Dependency Fairness for Deep Neural Network2023

    • 著者名/発表者名
      Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma
    • 学会等名
      The Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023, CORE Rank A*)
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] Traceable In-Air Signature 3D Restoration Record Structure and In-Air Dominant Hand Biometric Based on Dynamic Time Warping Algorithm2023

    • 著者名/発表者名
      Yuheng Guo, Hiroyuki Sato
    • 学会等名
      The 6th International Conference on Artificial Intelligence and Big Data (ICAIBD 2023) , 2023.
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] An Initial Analysis of Repair and Side-effect Prediction for Neural Networks2023

    • 著者名/発表者名
      Yuta Ishimoto, Ken Matsui, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei
    • 学会等名
      The 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN 2023)
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] 3D Segmenter: 3D Transformer based Semantic Segmentation via 2D Panoramic Distillation2023

    • 著者名/発表者名
      Zhennan Wu, Yang Li, Yifei Huang, Lin Gu, Tatsuya Harada, Hiroyuki Sato
    • 学会等名
      The 11th Int'l Conference on Learning Representations (ICLR Core rank A*), 2023.
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward2022

    • 著者名/発表者名
      Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma
    • 学会等名
      The 44th International Conference on Software Engineering, SEIP Track (ICSE 2022, CORE Rank A*)
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History2022

    • 著者名/発表者名
      Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata and Shinji Kikuchi
    • 学会等名
      The 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022), March 2022
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Formalism-Driven Development of Decentralized Systems2022

    • 著者名/発表者名
      Yepeng Ding, Hiroyuki Sato
    • 学会等名
      Proc. 26th Int'l Conf. Engineering of Complex Computer Systems, March, 2022
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Learning to Adversarially Blur Visual Object Tracking2021

    • 著者名/発表者名
      Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, and Jianjun Zhao
    • 学会等名
      International Conference on Computer Vision, Montreal, Canada, 2021 (ICCV 2021, CORE Rank A*)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Automatic RNN Repair via Model-based Analysis2021

    • 著者名/発表者名
      Xiaofei Xie, Wenbo Guo, Lei Ma, Wei Le, Jian Wang, Lingjun Zhou, Yang Liu, Xinyu Xing
    • 学会等名
      The 38th International Conference on Machine Learning, 2021 (ICML 2021, CORE Rank A*)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness2021

    • 著者名/発表者名
      Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo and Jianjun Zhao
    • 学会等名
      The 33rd International Conference on Computer-Aided Verification, 2021 (CAV 2021, CORE Rank A*)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Automatic Web Testing using Curiosity-Driven Reinforcement Learning2021

    • 著者名/発表者名
      Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu, Lei Ma, Jianye Hao, and Yang Liu
    • 学会等名
      The 43rd International Conference on Software Engineering (ICSE 2021, CORE Rank A*)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding2021

    • 著者名/発表者名
      Maryam V. Pour, Li Zhuo, Lei Ma and Hadi Hemmati
    • 学会等名
      IEEE International Conference on Software Testing, Verification and Validation (ICST 2021, CORE Rank A)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks2021

    • 著者名/発表者名
      Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun
    • 学会等名
      Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021, CORE Rank A*)
    • 関連する報告書
      2021 実績報告書 2020 実績報告書
    • 国際学会
  • [学会発表] EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining2021

    • 著者名/発表者名
      Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, and Jianjun Zhao
    • 学会等名
      Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021, CORE Rank A*)
    • 関連する報告書
      2021 実績報告書 2020 実績報告書
    • 国際学会
  • [学会発表] What to Blame? On the Granularity of Fault Localization for Deep Neural Networks2021

    • 著者名/発表者名
      Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
    • 学会等名
      The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021 Practical Experience Reports), pp.264-275, October 2021
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Model-based Data-Complexity Estimator for Deep Learning Systems2021

    • 著者名/発表者名
      Yuta Ojima, Shingo Horiuchi, Fuyuki Ishikawa
    • 学会等名
      The 3rd IEEE International Conference on Artificial Intelligence Testing (IEEE AI Tests 2021), pp.1-8, August 2021
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Dynamic resource allocation among collocated applications via reinforcement learning2021

    • 著者名/発表者名
      Li Shaowen, Li Gen, SATO Hiroyuki
    • 学会等名
      Proc. IEEE 6th Int'l Conf. Cloud Computing and Big Data Analytics, A0014, Chengdu, April, 2021
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] In-air Signature Authentication Using Smartwatch Motion Sensors2021

    • 著者名/発表者名
      G. Li, L. Zhang and H. Sato
    • 学会等名
      2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC), 2021
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Watch out! Motion is Blurring the Vision of Your Deep Neural Networks2020

    • 著者名/発表者名
      Qing Gu, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jian Wang, Bing Yu, Wei Feng, Yang Liu
    • 学会等名
      Thirty-fourth Conference on Neural Information Processing Systems (NeurIPS 2020, CORE Rank A*)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] A First Look at the Integration of Machine Learning Models in Complex Autonomous Driving Systems: a Case Study on Apollo2020

    • 著者名/発表者名
      Zi Peng, Jinqiu Yang, Tse-Hsun Chen, Lei Ma
    • 学会等名
      The 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020, CORE Rank A*)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] MARBLE: Model-Based Robustness Analysis of Stateful Deep Learning Systems2020

    • 著者名/発表者名
      Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao
    • 学会等名
      The 35th IEEE/ACM International Conference on Automated Software Engineering. (ASE 2020, CORE Rank A)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness2020

    • 著者名/発表者名
      David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, Jianjun Zhao
    • 学会等名
      The 35th IEEE/ACM International Conference on Automated Software Engineering. (ASE 2020, CORE Rank A)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] Few-Shot Guided Mix for DNN Repairing2020

    • 著者名/発表者名
      Xuhong Ren, Bing Yu, Hua Qi, Felix Juefei-Xu, Zhuo Li, Wanli Xue, Lei Ma and Jianjun Zhao
    • 学会等名
      The 36th IEEE International Conference on Software Maintenance and Evolution, NIER Track (CORE Rank A)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms2020

    • 著者名/発表者名
      Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao
    • 学会等名
      Proceedings of the 28th ACM International Conference on Multimedia (ACM MM, CORE Rank A*)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices2020

    • 著者名/発表者名
      Run Wang,Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
    • 学会等名
      Proceedings of the 28th ACM International Conference on Multimedia (ACM MM, CORE Rank A*)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] Amora: Black-box Adversarial Morphing Attack2020

    • 著者名/発表者名
      Run Wang,Felix Juefei-Xu, Yihao Huang, Qing Guo, Xiaofei Xie, Lei Ma, Yang Liu
    • 学会等名
      Proceedings of the 28th ACM International Conference on Multimedia (ACM MM, CORE Rank A*)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] Automated Test Input Generation for Convolutional Neural Networks by Implementing Multi-objective Evolutionary Algorithms2020

    • 著者名/発表者名
      Lingfeng ZHANG, Hiroyuki SATO
    • 学会等名
      2020 Eighth International Symposium on Computing and Networking Workshops (CANDARW)
    • 関連する報告書
      2020 実績報告書
    • 国際学会

URL: 

公開日: 2020-04-28   更新日: 2024-01-30  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi