いよいよ卒論の題目と内容要約（100字）を決定しなければならなくなりました。対話的環境における C 言語のための型推論Eclipse などの対話的な開発環境では、プログラムを書くユーザーを手助けする機能が豊富に揃っている。本研究では、それに、C 言語の型…