文書の過去の版を表示しています。
江本研究室では，質の高いソフトウェアを構築するための洗練されたプログラミング言語についての研究を行っています．
現在，本研究室，岩崎研究室(電気通信大学)，胡研究室(国立情報学研究所)，松崎研究室(高知工科大学)で共同研究プロジェクトを行っています．
