研究者情報

神谷　年洋（カミヤ　トシヒロ）　KAMIYA TOshihiro

学部等／職名

総合理工学部　知能情報デザイン学科　教授

学科・講座等

知能情報デザイン学科　

専門分野

情報通信 / ソフトウェア

専門分野キーワード

ソフトウェア工学、プログラム解析、ソフトウェアメトリクス

研究テーマ

意味論プラガブルなプログラム解析
コンピュータ・プログラムの保守作業は困難なタスクである。その原因のひとつは (1) プログラムは複数の意味論(プログラミング言語、 SQL 、 HTML や UI フレームワーク、ドメイン固有言語など)が混在する構成物であり (2) 不具合の特定のためにはそれら複数の意味論を含めた因果関係の追跡が必要となるが (3) 既存のプログラム解析技術は単一または一部の意味論しか取り扱わないため (4) 開発者が人手でこれらの意味論の橋渡しをしつつ不具合の特定を行う作業を強いられているためである。 本提案は、このような困難なタスクに立ち向かう開発者をサポートすることを目的として、プログラムに含まれている複数の意味論(セマンティクス)を横断したプログラム解析の手法を実現する。
研究分野:ソフトウエア (個人研究) 2016年 ～ 2018年

アルゴリズム×機械学習によるソフトウェア解析
コンピュータのソフトウェアはいわゆる自然言語とは異なる表現構造や意味論を持っている。既存の研究には、機械学習の分野で発達してき た自然言語処理、時系列データ、画像処理、あるいはそれらを組み合わせたマルチモーダルな技術をほぼそのままソフトウェアに適用しようとするアプローチが多い。本提案では、従来のソフトウェア解析技術をルールとして用いて可能な選択肢を生成し、その中から機械学習の予測により選択を行うという、既存のアプローチとは異なる機械学習を導入したソフトウェア解析技術を提案する。 https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-22K11975/
研究分野:ソフトウエア (個人研究) 2022年 ～ 2026年

ホームページＵＲＬ

http://www.toshihirokamiya.com

取得学位

博士(工学) (課程) 大阪大学 ソフトウエア