田中 久治(たなか ひさはる)
専門分野:インターネット,知的教育システム
興味のある分野:代数多項式処理(グレブナー基底,Triangular Sets),Coq
職名:技術専門職員
E-mail address:
kangaroo@ai.is.saga-u.ac.jp
所属学会:情報処理学会,教育システム情報学会
