研究室紹介
データ・数理科学
猪股研究室(教授:猪股俊光)
猪股研究室(教授:猪股俊光)
研究領域(キーワード)
数理科学,ソフトウェア工学,プログラミング言語
研究テーマ例
1) ソフトウェアの数理的な解析・設計に関する研究
2) プログラミング教育に関する研究
3) プログラミング言語の設計・処理系の実装(新しい言語の設計・実装)
研究室の紹介とメッセージ
スマート社会を実現するためにはソフトウェアが重要な役割をはたします.そのソフトウェアを「作る,動かす,調べる,教える,学ぶ」ことについて数理的な手法を用いながら研究します.一部のテーマについては,企業(県内に開発拠点があるソフトウェア関連企業)との共同研究になります.
研究室ホームページ | |
---|---|
教育・研究等業績 | |
希望する共同研究分野 | ・プログラムの解析・設計 ・プログラミング教育 |