文字サイズ

• 縮小
• 標準
• 拡大

• 日本語
• English

会津大学 - The University of Aizu

• 資料請求
• お問い合わせ
• よくある質問
• 交通アクセス
• 携帯サイト

• 大学案内
• 学部案内
• 大学院案内
• キャンパスライフ
• 入試情報
• 進路就職
• 研究活動

カテゴリトップへ

• ガイドブック
• 特色
• 大学概要
• 大学組織
• 教員紹介
  • コンピュータ理工学部
  • 大学院コンピュータ理工学研究科
  • 特別栄誉教授
  • 先端情報科学研究センター
  • 情報センター
  • 国際戦略本部
  • 産学イノベーションセンター
  • 企画運営室
  • 学生部
  • アルファベット順
• 施設の案内・利用
• 交通案内

大学案内

	教員名
	Mohamed Hamada
	所属
	ソフトウェア工学講座
	職位
	上級准教授
	最終学歴
	筑波大学大学院工学研究科 工学博士
	URL
	http://www.u-aizu.ac.jp/~hamada/

主な研究課題

関数型論理プログラミング言語の操作的意味論の基礎