東北大学大学院 情報科学研究科 情報基礎科学専攻 小林･住井研究室

学部生向け情報

プログラミング言語研究への誘い

小林・住井研究室の研究内容は何か？分野名に「ソフトウェア基礎科学」とあるとおり，一言で言ってしまえば，「ソフトウェアを科学する」，つまりソフトウェアを科学的対象とし，その構成法，分析手法を研究するということです．具体的には，例えば人間にわかりやすい言語で書かれたプログラムをコンピュータの言葉（機械語）に翻訳する（コンパイル），ソフトウェアが期待通りの動作をすることを検証する，あるプログラムをより高速なプログラムに変換する，といったことを，ただの「職人芸」としてではなく，「科学的」に，緻密な理論のもとに行うという研究です．（「もっと具体的にどんな研究があるの？」という人は研究紹介のページをみてください．あるいは、研究室に来てもらえればプログラム検証ツールのデモなどもお見せできます．）
詳しくはこちらから

教員・学生へのインタビュー

教員

• 小林 直樹 教授
• 住井 英二郎 准教授

学生

• Dさん D1
• Eさん M2
• Fさん M2

OB・OG

• 寺内 多智弘 助教(2010年)
• Sさん PD（2008年）
• 西澤 弘毅 助教（2007年）
• Aさん M2（2007年）
• Bさん M2（2007年）
• Cさん M2（2007年）

研究室の風景

詳しくはこちらから