東北大学電気通信研究所 大堀研究室
Introduction
大堀研究室では，ソフトウェアの構成原理を探求し，より信頼性の高いソフトウェアを効率よく構築する技術の開発を行っています．特に，新しいプログラミングの枠組みの構築や，それらを基礎としたプログラミング言語の実現に向け研究，データベースに言語技術を取り入れた新しい検索言語の設計・開発などを進めています．また，研究成果に基づきC言語との連携などを実現した次世代高信頼言語SML#の開発を行っています．
Announcement
- 学部生向け研究室紹介スライド（2011年11月版）：
syokai2011.pdf - 2010アドバイザページ（クラス7大堀グループ）
- 新刊教科書（2010年４月刊）：サイエンス社，大堀 淳，計算機システム概論-基礎から学ぶコンピュータの原理とOSの構造-，情報学コア・テキスト5，
Contents
Access
住所
〒980-8577
仙台市青葉区片平2丁目1-1
東北大学電気通信研究所 1号館S棟4階
連絡先
- TEL:022-217-5512（スタッフ・学生居室），5510（教授室）
- FAX:022-217-5513
Keyword(s):
References: