研究者
J-GLOBAL ID:200901020870497457   更新日: 2020年08月28日

西崎 真也

ニシザキ シンヤ | Shin'ya Nishizaki
所属機関・部署:
職名: 教授
ホームページURL (1件): http://www.lambda.cs.titech.ac.jp/
MISC (9件):
もっと見る
書籍 (6件):
  • この定理が美しい
    数学書房 2009 ISBN:4903342107
  • 理工系のためのコンピュータサイエンス
    サイエンス社 2008 ISBN:4781911846
  • 論理と計算のしくみ
    岩波書店 2007 ISBN:4000061917
  • 関数的環境計算の合流性,
    日本ソフトウェア科学会 第16回大会論文集 1999
  • Formalization of Graph Search Algorithm and Its Applications
    Lecture Notes in Computer Science 1998
もっと見る
講演・口頭発表等 (35件):
  • Safely Checking in Equation Archive
    (2010)
  • Time Model of Computational System for DoS attack resistance of Protocols
    (2010)
  • 等式アーカイブにおける安全な検査
    (日本ソフトウェア科学会第22回大会 2010)
  • プロトコルのDoS攻撃耐性解析のための計算体系における時間モデル
    (日本ソフトウェア科学会第22回大会 2010)
  • Spice計算へのブロードキャスト通信の拡張
    (システム検証の科学技術シンポジウム(SSV 2008) 2008)
もっと見る
学歴 (3件):
  • - 1994 京都大学
  • - 1994 京都大学大学院 数理解析専攻
  • - 1989 京都大学
学位 (1件):
  • 京都大学博士(理学) (京都大学理学研究科)
経歴 (6件):
  • 1998 - -:
  • 1998 - -:東京工業大学 助教授
  • 1996 - -:
  • 1996 - -:千葉大学 助教授
  • 1994 - -:
全件表示
委員歴 (2件):
  • 1998 - 2001 情報処理学会プログラミング研究会 論文誌編集委員
  • 2000 - 日本ソフトウェア科学会 編集委員
受賞 (2件):
  • 1995 - 日本ソフトウェア科学会高橋奨励賞
  • 1993 - 情報処理学会研究賞
所属学会 (7件):
Association of Computing Machinary ,  European Association of Theoretical Computer Science ,  情報処理学会プログラミング研究会 ,  European Association of Theoretical Computer Science ,  Association of Computing Machinary ,  人工知能学会 ,  日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る