ブルーインパルス2 ブルーインパルス3 ブルーインパルス1

藤田憲悦です.


氏名 : 藤田 憲悦

Name : FUJITA, Ken-etsu


[担当授業科目, lectures]

私はこの科目を受け持っています.


[研究論文, research]

私はこのような研究をおこなっています.



24th TRS meeting, April 2-4, 2004, Shimane University


特別講演会 近藤通朗先生:「プログラムの意味論における不動点定理」,総合理工学部1号館11講義室(情報科学棟講義室から変更),2003.12.24.


特別講演会 Aart Middeldorp:「Automating the Dependency Pair Method」,多目的ホール,2003.3.20.

TTT(The Tsukuba Termination Tool)

国立情報学研究所 共同研究「古典論理に対する型理論」研究会 (2001年12月11日:総合理工学部 多目的ホール)


数理情報システム学専攻 修士論文 中間発表会 (2001年12月8日,9日:情報科学講義室)


人工知能学会全国大会 (2001年5月21日〜25日、島根県民会館)


情報分野のトップページ 島根大学のトップページ

質問がありましたら、これ メイル をクリックしてメイルでお願いします。