田中 圭介 (Keisuke Tanaka)

Research | Publications | Education | Lectures | Service | Profile | Address

Research

My current research interests are cryptography and circuit complexity.

Publication list.

Current Collaborations

• Tatsuaki Okamoto at NTT Information Sharing Platform Laboratories.
• Shao-Chin Sung at Aoyama Gakuin University.
• Osamu Watanabe and Akinori Kawachi at Tokyo Institute of Technology.

My current research is supported by NTT Information Sharing Platform Laboratories and Grant-in-Aid for Scientific Research, Ministry of Education, Culture, Sports, Science, and Technology.

受託研究

• 量子暗号および量子計算に関する研究, NTT 情報流通プラットフォーム 研究所, 2001 年 10 月-2002 年 2 月.
• 公開鍵暗号の安全性に関する研究, NTT 情報流通プラットフォーム研究所, 2003 年 10 月-2004 年 2 月.
• 公開鍵暗号および暗号プロトコルに関する研究, NTT 情報流通プラット フォーム研究所, 2004 年 12 月-2005 年 2 月.
• 量子公開鍵暗号の安全性及び匿名性をもつ公開鍵暗号に関する研究, NTT 情報流通プラット フォーム研究所, 2005 年 9 月-2006 年 2 月.
• 組み合わせ論的手法に基づく暗号・署名方式の研究, NTT 情報流通プラット フォーム研究所, 2006 年 10 月-2007 年 2 月.

文部科学省 科学研究費補助金

• 量子計算と古典通信路を用いた電子署名方式, 若手研究 (B) 14780190, 2002 年 4 月-2005 年 3 月.
• 暗号解析手法の計算量理論による改良とそれに基づく暗号方式, 特定領域研究「新世代の計算限界 -その解明と打破-」 16092206, 2004 年 4 月-2008 年 3 月 (予定).

Education

田中 圭介 研究室.

Current Students

• Graduate: Takato Hirano, Christopher Portmann, Toshiyuki Isshiki, Ryo Nishimaki, Keita Xagawa, Naoyuki Yamashita, Daisuke Inoue, Kouichi Sakumoto, Mario Larangeira Junior, Hirotoshi Takebe, Akira Numayama, and Koichiro Wada.
• Undergradutate: Toshihide Matsuda, Daisuke Sasaki, Hideaki Suzuki, and Yuuki Tan.

• 博士課程: 平野 貴人, Christopher Portmann, 一色 寿幸, 草川 恵太, 西巻 陵.
• 修士課程: 山下 直之, 井上 大輔, 作本 紘一, Mario Larangeira Junior, 竹部 裕俊, 沼山 晃, 和田 幸一郎.
• 学部: 佐々木 大輔, 鈴木 英明, 丹 優樹, 松田 敏秀.

卒業生・修了生

• Ph.D. (March 2007): Ryotaro Hayashi.
• M.S. (March 2007): Chihiro Ohyama, Masatoshi Yashiro, and Keita Xagawa.
• B.S. (March 2007): Akira Numayama and Koichiro Wada.
• M.S. (March 2006): Shizu Kanauchi, Hiroki Hada, Harunaga Hiwatari, and Manabu Suzuki.
• B.S. (March 2006): Kouichi Sakumoto, Tatsunori Seki, and Hirotoshi Takebe.
• M.S. (March 2005): Akihiro Mihara and Takao Onodera.
• B.S. (March 2005): Jun Nakajima and Masatoshi Yashiro.
• M.S. (March 2004): Ryotaro Hayashi and Toshiyuki Isshiki.
• B.S. (March 2004): Hiroki Hada, Manabu Suzuki, and Naoyuki Yamashita.
• M.S. (March 2003): Keiji Omura.
• B.S. (March 2003): Yoshitsugu Ichimura, Akihiro Mihara, and Daisuke Yoshikawa.

• 博士(理学) (2007 年 3 月): 林 良太郎.
• 修士(理学) (2007 年 3 月): 大山 千尋, 草川 恵太, 八代 正俊.
• 学士(理学) (2007 年 3 月): 沼山 晃, 和田 幸一郎.
• 修士(理学) (2006 年 3 月): 金内 志津, 鈴木 学, 羽田 大樹, 樋渡 玄良.
• 学士(理学) (2006 年 3 月): 作本 紘一, 世木 辰典, 竹部 裕俊.
• 修士(理学) (2005 年 3 月): 小野寺 貴男, 三原 章裕.
• 学士(理学) (2005 年 3 月): 中島 潤, 八代 正俊.
• 修士(理学) (2004 年 3 月): 一色 寿幸, 林 良太郎.
• 学士(理学) (2004 年 3 月): 鈴木 学, 羽田 大樹, 山下 直之.
• 修士(理学) (2003 年 3 月): 大村 慶二.
• 学士(理学) (2003 年 3 月): 市村 佳嗣, 三原 章裕, 吉川 大輔.

Current Teaching (2007)

• Spring at Tokyo University: Graduate: Theory of Cryptography.
• Fall: Graduate: Computational Complexity Theory.
• Fall: Undergraduate: Automata and Formal Language Theory.
• Fall: Undergraduate: Introduction to Computer Science.

• 前期, 東京大学: 大学院: 総合分析情報学基礎 IV - 暗号理論.
• 後期: 大学院: 計算量理論.
• 4 学期: オートマトンと数理言語論.
• 6 学期: 計算の理論.

過去の講義

• Spring 2000 at Sophia University: Computer Mathematics I.
• Fall 2000 at Sophia University: Computer Mathematics II.
• Spring 2001: Automata and Formal Language Theory.
• Spring 2001 at Sophia University: Computer Mathematics I.
• Fall 2001: Algorithms and Data Structures. (With Prof. Osamu Watanabe.)
• Fall 2001 at Sophia University: Computer Mathematics II.
• Spring 2002: Automata and Formal Language Theory.
• Spring 2002: at Gakushuin University: Applied Mathematical Analysis.
• Fall 2002: Automata and Formal Language Theory.
• Fall 2002: Introduction to Computer Science.
• Fall 2003: Graduate: Computational Complexity Theory.
• Fall 2003: Automata and Formal Language Theory.
• Fall 2003: Introduction to Computer Science.
• Spring 2004: Graduate: Computational Complexity Theory.
• Fall 2004: Automata and Formal Language Theory.
• Fall 2004: Introduction to Computer Science.
• Spring 2005: Graduate: Advanced Algorithms.
• Fall 2005: Automata and Formal Language Theory.
• Fall 2005: Theory of Computation.
• Fall 2005: Introduction to Computer Science.
• Spring 2006: Graduate: Advanced Algorithms.
• Spring 2006 at Tokyo University: Graduate: Theory of Cryptography.
• Fall 2006: Automata and Formal Language Theory.
• Fall 2006: Theory of Computation.

• 2000 年度 前期, 上智大学: 計算機数学 I.
• 2000 年度 後期, 上智大学: 計算機数学 II.
• 2001 年度 前期: オートマトンと数理言語論.
• 2001 年度 前期, 上智大学: 計算機数学 I.
• 2001 年度 後期: アルゴリズムとデータ構造. (With 渡辺 治 教授.)
• 2001 年度 後期, 上智大学: 計算機数学 II.
• 2002 年度 前期: オートマトンと数理言語論.
• 2002 年度 前期, 学習院大学: 応用解析学.
• 2002 年度 後期: オートマトンと数理言語論.
• 2002 年度 後期: コンピュータサイエンス入門.
• 2003 年度 後期: 大学院: 計算量理論.
• 2003 年度 後期: オートマトンと数理言語論.
• 2003 年度 後期: コンピュータサイエンス入門.
• 2004 年度 前期: 大学院: 計算量理論.
• 2004 年度 後期: オートマトンと数理言語論.
• 2004 年度 後期: コンピュータサイエンス入門.
• 2005 年度 前期: 大学院: アルゴリズム特論.
• 2005 年度 後期: オートマトンと数理言語論.
• 2005 年度 後期: 計算の理論.
• 2005 年度 後期: コンピュータサイエンス入門.
• 2006 年度 前期: 大学院: アルゴリズム特論.
• 2006 年度 前期, 東京大学: 大学院: 総合分析情報学基礎 IV - 暗号理論.
• 2006 年度 後期: オートマトンと数理言語論.
• 2006 年度 後期: 計算の理論.

Service

Journal Editors

• 電子情報通信学会 和文論文誌 D-I 編集委員, 2000 年 5 月-2004 年 5 月.
• 電子情報通信学会 和文論文誌 D-I・英文論文誌 E-D LA シンポジウム 2001 (情報基礎理論ワークショップ) 小特集 編集幹事, 2000 年 12 月-2002 年 2 月.
• 電子情報通信学会 和文論文誌 D-I・英文論文誌 E-D LA シンポジウム 2002 (情報基礎理論ワークショップ) 小特集 編集委員, 2001 年 11 月-2003 年 2 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2003 年 3 月-2004 年 5 月.
• 電子情報通信学会 英文論文誌 E-D 理論計算機科学 英文論文小特集 編集委員, 2004 年 3 月-2005 年 1 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Cryptography and Information Security 英文論文小特集 編集委員, 2004 年 3 月-2005 年 1 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2004 年 8 月-2005 年 5 月.
• 情報処理学会 論文誌 量子計算と量子情報 特集号 編集委員, 2004 年 9 月-2005 年 10 月.
• 電子情報通信学会 英文論文誌 E-D 理論計算機科学 英文論文小特集 編集委員, 2005 年 2 月-2006 年 2 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Cryptography and Information Security 英文論文小特集 編集委員, 2005 年 3 月-2006 年 1 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2005 年 10 月-2006 年 5 月.
• 電子情報通信学会 英文論文誌 E-D 理論計算機科学 英文論文小特集 編集委員, 2006 年 2 月-2007 年 2 月.
• 電子情報通信学会 英文論文誌 E-A Special Section on Cryptography and Information Security 英文論文小特集 編集委員, 2006 年 3 月-2007 年 1 月.
• 電子情報通信学会 和文論文誌 A 量子情報処理 小特集 編集委員, 2006 年 5 月-2007 年 5 月(予定).
• 電子情報通信学会 英文論文誌 E-A Special Section on Discrete Mathematics and Its Applications 英文論文小特集 編集委員, 2006 年 8 月-2007 年 5 月(予定).
• 電子情報通信学会 英文論文誌 E-D Special Section on Foundations of Computer Science 英文論文小特集 編集委員, 2007 年 1 月-2008 年 2 月(予定).
• 電子情報通信学会 英文論文誌 E-A Special Section on Cryptography and Information Security 英文論文小特集 編集委員, 2007 年 1 月-2008 年 1 月(予定).

Other Service

• 情報処理学会 アルゴリズム研究会 幹事, 1998 年 4 月-2000 年 3 月.
• LA シンポジウム 会誌編集担当, 1999 年 2 月-2000 年 2 月.
• 情報処理学会 会誌編集委員会 専門委員会 (基礎・理論分野/FWG) 編集委員, 2000 年 4 月-2004 年 3 月.
• 情報処理学会 アルゴリズム研究会 運営委員, 2000 年 4 月-2004 年 3 月.
• 電子情報通信学会 情報処理学会 第 1 回 情報科学技術フォーラム (FIT2002) 実行委員, 2002 年 6 月-2002 年 11 月.
• 電子情報通信学会 コンピュテーション研究専門委員会 幹事, 2004 年 5 月-2006 年 5 月.
• 電子情報通信学会 2007 年暗号と情報セキュリティシンポジウム (SCIS2007) 実行委員, 2006 年 7 月-2007 年 1 月.
• 電子情報通信学会 情報セキュリティ研究専門委員会 専門委員, 2005 年 8 月-.
• 電子情報通信学会 コンピュテーション研究専門委員会 専門委員, 2006 年 5 月-.
• LA シンポジウム 幹事校, 2007 年 4 月-2008 年 3 月(予定).

Profile

B.Eng. Yamanashi University (1992). M.Sc. and Ph.D. Japan Advanced Institute of Science and Technology (1994 and 1997, respectively). Staff (April 1997-January 1999), Research Engineer (January 1999-March 2001) at NTT Information Sharing Platform Laboratories. Assistant Professor (April 2001-April 2004), Associate Professor (May 2004-) at Tokyo Institute of Technology. Visiting Scholar at Massachusetts Institute of Technology (September-October 1999). Adjunct Lecturer at Sophia University (April 2000-March 2002). Adjunct Lecturer at Gakushuin University (April-September 2002). Research Advisor at JST ERATO Imai Project on Quantum Computation and Information (June 2003-September 2005). Adjunct Lecturer at Tokyo University (April 2006-).

学士(工学) (山梨大学, 1992 年), 修士(情報科学) (北陸先端科学技術大学院大学, 1994 年), 博士(情報科学) (北陸先端科学技術大学院大学, 1997 年). NTT 情報流通プラットフォーム研究所 社員 (1997 年 4 月-1999 年 1 月), 研究主任 (1999 年 1 月-2001 年 3 月). 東京工業大学 講師 (2001 年 4 月-2004 年 4 月), 准教授 (2004 年 5 月-). Visiting Scholar at Massachusetts Institute of Technology (1999 年 9-10 月). 上智大学 非常勤講師 (2000 年 4 月-2002 年 3 月). 学習院大学 非常勤講師 (2002 年 4-9 月). 科学技術振興機構 (JST) 創造科学技術推進事業 (ERATO) 今井量子計算機構プロジェクト 研究推進委員 (2003 年 6 月-2005 年 9 月). 東京大学 非常勤講師 (2006 年 4 月-).

Address

Department of Mathematical and Computing Sciences
Tokyo Institute of Technology
W8-55, 2-12-1 Ookayama Meguro-ku, Tokyo 152-8552, Japan
phone: +81-3-5734-3884
fax: +81-3-5734-2714

東京工業大学 大学院情報理工学研究科 数理・計算科学専攻
〒152-8552 東京都目黒区大岡山2-12-1-W8-55
phone: 03-5734-3884
fax: 03-5734-2714
居室: 西8号館W棟11階 W1108