西村くんの卒研Iのページ

• 1997年11月21日(金) 論文提出
• 1997年11月26日(水) 発表

論文題目

「代数仕様言語を用いたアルゴリズムの研究」

資料

• KTYY ゼミ (6月10日)
• 中間発表 (7月16日(水) 16:00〜)
  • OHP
• KTYY ゼミ (10月21日)
• 最終発表 (11月26日(水))
  • OHP

メモ

• 中間発表へ向けて (7月3日)
• 卒論について (11月6日)
• 成果 (11月13日)

リンク

代数仕様言語について

• CafeOBJ Home Page at IPA
• CafeOBJ Home Page at JAIST
• CafeOBJ のソース
• The OBJ Family (in Prof. Goguen's page @UCSD)

研究・プレゼンテーションそのものについて

• The Collection of Computer Science Bibliographies
• OHP シートの作成要領
• 修論, 卒論にむけて準備すること
• TeXの数式のEPSF化