先進技術

先端技術研究開発

株式会社SRAは、SRA先端技術研究所(Key Technology Laboratory; 略称 KTL)を中心として、ソフトウェア技術に関する研究開発を進めています。SRA先端技術研究所では、インタラクションデザインの研究や新製品開発を通じ、人や物のアクティビティデータから企業や社会に役立つ情報提供の実現を目指しています。

■先端技術研究所は、文部科学省から科学研究費補助金取扱規程第2条に規定する研究機関としての指定(2010年)を受けています。
■2018-2020年度「モデル規範型形式手法を支援するバーチャルマシンの研究」が若手研究に採択されました。
 (JSPS KAKENHI Grant Number JP 18K18033)
■2014-2016年度「プログラミング教育向けビジュアルプログラミング環境へのアサーションの導入」が基盤研究(C)に採択され
 完了しました。
 (JSPS KAKENHI Grant Number JP 26330099)
■2011-2013年度「修辞的・統計的・文法的な情報を動的に重畳して表現するテキスト編集環境」が挑戦的萌芽研究に採択され完了
 しました。
 (JSPS KAKENHI Grant Number JP 23650077)