Tetsuo Kamina Online

Personal Information

氏名: 紙名 哲生

〒113-0033 東京都文京区本郷7-3-1
東京大学大学院教育学研究科 コンピュータ相談室 特任助教

Email: kamina＠p.u-tokyo.ac.jp
Tel: 03-5841-1235

経歴

• 東京大学大学院教育学研究科 コンピュータ相談室 特任助教。1999年、国際基督教大学教養学部理学科卒業。東京大学大学院総合文化研究科広域システム科学系修士課程、博士後期課程をそれぞれ2002年、2005年に修了、修士・博士（学術）の学位を取得。2005.4-2006.3: 科学技術振興機構CREST研究員（筑波大学先端学際領域研究センター勤務）。2006.4-2007.3: 東京大学大学院人文科学系研究科 情報メディア室 助手。2007.4-2010.3: 東京大学大学院人文社会系研究科 情報メディア室 助教。

• 東京大学大学院総合文化研究科 増原研究室の活動に参加している。

学外における活動

• 国際会議MODULARITY: aosd.13, an organizing member（2013年3月）
• 日本ソフトウェア科学会第29回大会プログラム委員（2012年8月）
• 国際ワークショップCOP'12プログラム委員（2012年6月）
• 国際ワークショップCOP'10プログラム委員（2010年6月）
• 情報処理学会 ソフトウェア工学研究会 運営委員（2009年4月− ）
• 国際会議OOPS track at SAC 2009プログラム委員（2009年3月）
• (社)情報通信技術委員会 NGNアーキテクチャ専門委員（2008年7月−2010年3月）
• 情報処理学会 会誌編集委員会専門委員（アプリケーション分野）（2006年4月−2010年3月）
• YRPユビキタス・ネットワーキング研究所非常勤研究員（2006年4月−2010年3月）
• 情報処理学会 日本ソフトウェア科学会 ACM 各会員

外部資金

• 研究代表者:
  • 科学研究費補助金 基盤研究(C): 文脈指向プログラムの深化と応用に関する研究（2013-2015年度）.
  • 科学研究費補助金 若手研究(B): 動的モジュールを持つプログラミング言語におけるソフトウェア検証機構 (2011-2012年度).
  • 科学研究費補助金 若手研究(B): 効率的な高信頼性ソフトウェア開発のためのプログラミング言語の研究 (2008-2010年度).
• 研究分担者:
  • 戦略的情報通信研究開発推進制度（SCOPE）：ユビキタスID技術の相互運用性に関する研究開発（2009-2010年度）.
  • 科学研究費補助金 基盤研究(A): 生産性と安全性向上のためのアスペクト指向ソフトウェア開発に関する研究 (2007年度).
• 連携研究者:
  • 科学研究費補助金 基盤研究(A): ポスト・アスペクト指向時代の階層的分割と横断的分割を統合するモジュール化の研究 (2010-2013年度).
  • 科学研究費補助金 基盤研究(A): 生産性と安全性向上のためのアスペクト指向ソフトウェア開発に関する研究 (2008-2009年度).