阿草・結縁研究室で行われている研究の紹介です。 WebWare, Sapid, OCEAN プロジェクトは左のメニューからリンクしています。

• 阿草・結縁研究室の学位論文 / List of Theses for Degrees (In Japanese)
• ソフトウェア開発環境 / Platform for CASE Environment
• 実時間並行ソフトウェア開発手法 / Real-time and Concurrent System Development
• 形式的ソフトウェア開発手法 / Formal System Specification and Development
• ヒューマンインターフェース&メディア（終息） / Human Interface and Media (obsolete)
• 阿草・結縁研で開発されたツール / Tools developed in Agusa laboratory

2012年度の結縁研究室・小林グループには8名のスタッフと20名の学生が所属しています。 以下から個々人のページへリンクしています。

• 2012年度 メンバー紹介

研究室を訪れる方向けの簡単な案内と交通機関の情報です.

• 結縁研究室・小林グループまでの道順
• モバイル用時刻表リンク

〒464-8601 名古屋市千種区不老町 Furo-cho, Chikusa-ku, Nagoya City, 464-8601, Japan