研究者
J-GLOBAL ID:200901043987898940   更新日: 2020年10月19日

垂井 淳

タルイ ジュン | TARUI JUN
所属機関・部署:
職名: 准教授
ホームページURL (2件): http://www.jtlab.ice.uec.ac.jp/~taruihttp://www.jtlab.ice.uec.ac.jp/~tarui
研究分野 (2件): 数理情報学 ,  情報学基礎論
研究キーワード (2件): アルゴリズム ,  計算量理論
論文 (37件):
もっと見る
MISC (4件):
書籍 (1件):
  • Proceedings of TAMC2011: Theory and Applications of Models of Computation, 8th Annual Conference (Tokyo, Japan, May 23-25, 2011).
    Springer-Verlag 2011
講演・口頭発表等 (13件):
  • ブログは研究に役立つか?どのように?
    (国際学術情報流通基盤整備事業(SPARC Japan)2015年第3回セミナー招待講演(会場:国立情報学研究所) 2016)
  • 計算量理論のいろんな話題
    (計算量理論秋学校講演(熱海, 9月24日--26日, 2012) 2012)
  • 計算の複雑さと証明の複雑さ
    (京大数理解析研究所研究集会「証明論と複雑性」(9月12日--14日, 2012) 2012)
  • Complexity of Finding a Duplicate in a Stream
    (NII Shonan Meeting: "Large-Scale Distributed Computation" 2012)
  • DeolalikarのP≠NP論文をめぐって
    (2010)
もっと見る
学歴 (2件):
  • - 1991 University of Rochester,
  • - 1985 東京大学
学位 (3件):
  • MS in Computer Science (University of Rochester)
  • MA in Mathematics (University of Rochester)
  • PhD in Computer Science (University of Rochester)
経歴 (4件):
  • 2010/04/01 - 電気通信大学情報理工学研究科 准教授
  • 2008/05/01 - 2010/03/31 電気通信大学電気通信学研究科 准教授
  • 1993/10/01 - 2008/04/30 電気通信大学電気通信学部 講師
  • 1991/10/01 - 1993/09/30 University of Warwick (United Kingdom) Lecturer
所属学会 (6件):
情報処理学会 ,  電子情報通信学会 ,  LA シンポジウム ,  EATCS ,  IEEE ,  ACM
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る