趙研究室へようこそ!

   コンピュータを使う時には、コンピュータにやってもらいたいことをプログラム(命令の系列)として表せなければなりません。プログラミング言語では、プログラムを作るのに用いられる言語です。当研究室では、信頼性の高いプログラムを系統的な方法で効率よく開発するために、プログラムの挙動に関するモデルを構築し、それにも基づいてプログラムの解析、理解、テスト、デバック、再利用、及び複雑さ計測への応用に関する研究をしています。ただし、以上の研究内容に限らず、学生たちが自由に研究テーマを選ぶこともできます。当研究室では研究成果を論文として発表するとともに、実際に活用可能なソフトウェア開発支援ツールとしても提供します。

English Version