担当授業

2005年度

• (冬) 教養学部 計算機プログラミングI
• (冬) 教養学部広域科学科 情報システム科学I
• (冬) 教養学部広域科学科 外国語論文講読1・3 "Managing Gigabytes"
• (冬) 総合文化研究科広域システム科学系 計算機構論II
• (夏) 教養学部 情報処理
• (夏) 教養学部全学自由ゼミナール 実践的プログラミング
• (通年) 総合文化研究科広域システム科学系 情報システム輪講III "Types and Programming Languages"

個人情報

• 研究内容・連絡先等
• 研究室

過去の授業など

• 2004年度
  • (冬) 教養学部全学自由ゼミナール 実践的プログラミング [初]
  • (冬) 教養学部 計算機プログラミングI
  • (冬) 教養学部広域科学科 システム情報科学I [初]
  • (夏) プログラミングコンテスト勉強会2004 (授業じゃないけど)
  • (夏) 教養学部 情報処理
  • (通年)総合文化研究科広域システム科学系 情報システム輪講なんとか (正式な課目名は忘れました) Types and Programming Languagesを読んでいます。コーディネータさん、輪講ページ作って下さい。
• 2003年度
  • (冬) 教養学部 計算機プログラミングI [2コマ]
  • (冬) 総合文化研究科広域システム科学系 計算機構論II
  • (冬) 教養学部広域科学科 外国語論文購読 "Psychology of Programming"
    
    
  • (夏) 教養学部 図形科学実習 [初というか臨時]
  • (夏) 教養学部広域科学科 システム数理II [初]
• 2002年度
  • (冬) 教養学部 計算機プログラミングI [2コマ]
  • (冬) 教養学部広域科学科 外論講読 Selected Papers on Aspect-Oriented Programming
• 2001年度
  • (冬) 総合文化研究科広域システム科学系 計算機構論II [初]
  • (夏) 教養学部 情報処理 [2コマ]
• 2000年度
  • (冬) 教養学部 計算機プログラミングI [初]
  • (冬) 教養学部広域科学科 外論講読 "Securing Java"
  • (夏) 教養学部 情報処理 [2コマ,初]
• 1999年度
  • (冬) 教養学部広域科学科 情報システム科学実習II [システム理論演習II改め]
  • (夏) 教養学部 図形科学実習 (テキスト正誤表) [補助]
• 1998年度
  • (冬) 教養学部基礎科学科第二 外論講読 "Programming and Deploying Java Mobile Agents Aglets"
  • (夏) 教養学部基礎科学科第二 外論講読 "Concurrent Programming in Java: Design Principles and Patterns" (cont.)
  • (夏) 教養学部 図形科学実習[補助]
• 1997年度
  • (冬) 教養学部基礎科学科第二 外論講読 "Concurrent Programming in Java: Design Principles and Patterns"
  • (夏) 教養学部基礎科学科第二 システム理論演習II [初]
  • (夏) 教養学部 図形科学実習[補助]
• 1996年度
  • (冬) 教養学部基礎科学科第二 外論講読 "Object-Oriented Programming: the CLOS Perspective"
  • (夏) 教養学部 図形科学実習[補助]
• 1994年度
  • 1994(冬) 全学自由セミナー (理学部情報科学科) ソフトウェア科学 [名目上はTA]