Nishizaki Shinya 西崎真也

… Alternative Names

西崎真也ニシザキシンヤ

Nishizaki Shin-ya 西崎真也

NISHIZAKI Shin-ya 西崎真也

Less

Researcher Number	90263615
Other IDs
External Links
Affiliation (Current)	2025: 東京科学大学, 情報基盤センター, 教授
Affiliation (based on the past Project Information) *help	2020 – 2023: 東京工業大学, 学術国際情報センター, 教授 2016 – 2017: 東京工業大学, 学術国際情報センター, 教授 2012 – 2015: 東京工業大学, 情報理工学(系)研究科, 准教授 1998 – 2006: 東京工業大学, 大学院・情報理工学研究科, 助教授 1996 – 1997: 千葉大学, 理学部, 助教授 1995: 岡山大学, 大学院・自然科学研究科, 助手
Review Section/Research Field	Principal Investigator 計算機科学 / Basic Section 60050:Software-related / Fundamental theory of informatics / Software / Intelligent informatics Except Principal Investigator Science and Engineering / 計算機科学 / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator プログラミング言語 / ラムダ計算 / 関数型言語 / 関数型プログラミング / 環境 / 型推論 / リフレクション / 制御構造 / 一級環境 / 例外処理 … More / 一級継続 / 制御捕捉 / dynamic-wind / 型システム / 関数型プログラミング言語 / 大域脱出 / プログラム理論 / 継続 / 制御捕獲 / call/cc / プログラミング言語理論 / 関数プログラミング / システム故障 / システムの形式化 / プロセス計算 / プロセス代数 / 計算モデル / 故障 / システム検証 / モデル検査 / 線型論理 / 計算コスト解析 / DoS攻撃 / プロトコル / 線形論理 / コスト解析 / DoS攻撃耐性 / 線型総論 / デバッギング / ファーストクラス環境 / 動的ライブラリ / 自己反映的プログラミング / 分散プログラミング / 分散ライブラリ / プログラミング / 自己反映 / 論理 / 発展 / ソフトウェア / 型理論 … More Except Principal Investigator Safety critical system / verification and synthesis of hardware / security of cryptographic primitives / secure system architecture / security protocol / network security analysis / safe program synthesis / specification analysis / インテグリティー解析 / 耐攻撃性 / セキュリティープロトコル / 実現可能性 / JAVA / インテグリティ解析 / DoS攻撃 / 検証 / コード生成 / 非同期回路 / Dos攻撃 / ネットワークセキュリティ / 暗号方式 / 安全性検証 / ハードウェアの安全性 / 暗号方式の安全性 / 安全なシステムアーキテクチャ / セキュリティプロトコル / ネットワークの安全性解析 / 安全なプログラム合成 / 仕様解析 / Substructural Logic / Strong Normalization / Syntactic Property / Category Theory / Model / Semantics / Type Theory / 部分構造理論 / 強正規化 / 部分構造論理 / 強制規化 / 文法的性質 / カテゴリ理論 / モデル / 意味論 / 型理論 / ダ-ウィンのとうもろこしデータ / 層別無作為標本 / 単純無作為標本 / 尺度変換 / 位置変換 / 混合ブートストラップ法 / ブートストラップ検定 Less

Modelling of Control Capture and Its ApplicationsPrincipal Investigator
- Principal Investigator
  
  西崎真也
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo Institute of Technology
Computational Model of Failure and Its AnalysingPrincipal Investigator
- Principal Investigator
  
  Nishizaki Shin-ya
- Project Period (FY)
  2012 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tokyo Institute of Technology
線型論理を応用した安全性向上のためのコスト解析の形式的手法Principal Investigator
- Principal Investigator
  
  西崎真也
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
デバッギングを指向した型推論に関する研究Principal Investigator
- Principal Investigator
  
  西崎真也
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  Tokyo Institute of Technology
Verification methods of secure systems based on logical specifications
- Principal Investigator
  
  YONEZAKI Naoki
- Project Period (FY)
  2000 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Tokyo Institute of Technology
自己反映的プログラミングにもとづく動的分散ライブラリ機構の研究Principal Investigator
- Principal Investigator
  
  西崎真也
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Tokyo Institute of Technology
環境の理論によるプログラミング言語の発展機構に関する研究Principal Investigator
- Principal Investigator
  
  西崎真也
- Project Period (FY)
  1998
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Tokyo Institute of Technology
Relation between Semantics of Type Theory and its Syntactic Properties
- Principal Investigator
  
  SAKURAI Takafumi
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Chiba University
ソフトウェアの発展における環境の理論に関する研究Principal Investigator
- Principal Investigator
  
  西崎真也
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Chiba University
自己反映的プログラミングのための計算・論理体系Principal Investigator
- Principal Investigator
  
  西崎真也
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Tokyo Institute of Technology
  Chiba University
標本抽出方法を考慮したブートストラップ検定についての研究
- Principal Investigator
  
  田栗正章
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
構造化されたリフレクションをもつ型理論と知識表現への応用Principal Investigator
- Principal Investigator
  
  西崎真也
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  Okayama University

All 2024 2023 2022 2021 2017 2016 2015 2014 2013 2012 2006 2005 2004

All Journal Article Presentation Book

[Book] Proceedings of Workshop on Computation: Theory and Practice - WCTP20112012
- Author(s)
  Shin-ya Nishizaki, M. Numao, J. Caro, M.T.Suarez
- Total Pages
  213
- Publisher
  Springer Japan
- Data Source
  KAKENHI-PROJECT-24500009
[Journal Article] Time efficiency analysis of parallel programs on Liquid Haskell2024
- Author(s)
  Yu Daiki, Shinya Nishizaki
- Journal Title
  
  Atlantis Highlights in Computer Sciences: Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)
  
  Volume: 20 Pages: 155-192
- DOI
  10.2991/978-94-6463-388-7_11
- ISBN
  9789464633870, 9789464633887
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K11743
[Journal Article] Untyped lambda calculus with functionally referable environments2021
- Author(s)
  Nishizaki Shin-ya、Kasuga Ryotaro
- Journal Title
  
  ICSCA2021
  
  Volume: 10 Pages: 100-104
- DOI
  10.1145/3457784.3457798
- Data Source
  KAKENHI-PROJECT-20K11743
[Journal Article] Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus2017
- Author(s)
  Keishi Watanabe, Shin-ya Nishizaki
- Journal Title
  
  Journal of Software
  
  Volume: 12 Issue: 7 Pages: 570-580
- DOI
  10.17706/jsw.12.7.570-580
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500009
[Journal Article] Let-binding with regular expressions in lambda calculus2016
- Author(s)
  Takuya Ohata, Shin-ya Nishizaki
- Journal Title
  
  Journal of Software
  
  Volume: 11 Issue: 2 Pages: 220-230
- DOI
  10.17706/jsw.11.2.220-229
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24500009
[Journal Article] Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation2015
- Author(s)
  Shin-ya Nishizaki, Kensuke Narita, Tomoyuki Ueda
- Journal Title
  
  Journal of Software
  
  Volume: 10 Issue: 10 Pages: 1148-1159
- DOI
  10.17706/jsw.10.10.1148-1159
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24500009
[Journal Article] Formalization of Signaling System by Process Calculus2014
- Author(s)
  Yasuaki Ibayashi and Shin-ya Nishizaki
- Journal Title
  
  IERI Procedia
  
  Volume: 10 Pages: 160-168
- DOI
  10.1016/j.ieri.2014.09.071
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24500009
[Journal Article] Applying Model Checking to Destructive Testing and Analysis of Software System2013
- Author(s)
  Hiroki Kumamoto , Takahisa Mizuno , Kensuke Narita , Shin-ya Nishizaki
- Journal Title
  
  Journal of Software
  
  Volume: 8-5 Issue: 5 Pages: 1254-1261
- DOI
  10.4304/jsw.8.5.1254-1261
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500009
[Journal Article] Blog-Based Distributed Computation2012
- Author(s)
  Takayuki Sasajima, Shin-ya Nishizaki
- Journal Title
  
  International Journal of Advancements in Computing Technology
  
  Volume: 4 Issue: 15 Pages: 354-361
- DOI
  10.4156/ijact.vol4.issue15.41
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500009
[Journal Article] Model Checking of Broadcast Communication via Process Calculus2012
- Author(s)
  Ritsuya Ikeda , Shin-ya Nishizaki
- Journal Title
  
  AISS: Advances in Information Sciences and Service Sciences
  
  Volume: 4 Issue: 17 Pages: 373-379
- DOI
  10.4156/aiss.vol4.issue17.43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500009
[Journal Article] 通信プロトコルにおけるサービス不能攻撃態勢のための型付π計算2006
- Author(s)
  冨岡大悟, 池田立野, 西崎真也
- Journal Title
  
  コンピュータソフトウェア 23・3
  
  Pages: 66-84
- Data Source
  KAKENHI-PROJECT-16700025
[Journal Article] Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析2006
- Author(s)
  池田立野, 西崎真也
- Journal Title
  
  第3回システム検証の科学技術シンポジウム論文集
  
  Pages: 7-14
- Data Source
  KAKENHI-PROJECT-16700025
[Journal Article] 多相環境計算の強正規化可能性2005
- Author(s)
  清水亮, 西崎真也
- Journal Title
  
  情報処理学会論文誌 46・SIG4
- Data Source
  KAKENHI-PROJECT-16700025
[Journal Article] 等式アーカイブにおける安全な検査2005
- Author(s)
  玉野浩嗣, 西崎真也
- Journal Title
  
  日本ソフトウェア科学会第22回大会予稿集 (CD-Rom)
- NAID
  130004638885
- Data Source
  KAKENHI-PROJECT-16700025
[Journal Article] プロコルのDoS攻撃耐性解析のための計算体系における時間モデル2005
- Author(s)
  西崎真也, 池田立野, 日高武尊
- Journal Title
  
  日本ソフトウェア科学会第22回大会予稿集 (CD-Rom)
- Data Source
  KAKENHI-PROJECT-16700025
[Journal Article] Secure Execution of Client-Side Scripts by Program Transformation in an HTTP Proxy Server2004
- Author(s)
  Shin-ya NISHIZAKI
- Journal Title
  
  International Workshop on FORMAL METHODS and SECURITY (CD-ROM)
- Data Source
  KAKENHI-PROJECT-16700025
[Presentation] Transplanting of Environments between Closures in the lambda calculus2023
- Author(s)
  Shin-ya NISHIZAKI
- Organizer
  ICSCA2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11743
[Presentation] Formalizing dynamic-wind in the lambda calculus2022
- Author(s)
  Ryotaro Kasuga, Shin-ya Nishizaki
- Organizer
  ICSCA2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11743
[Presentation] Untyped lambda calculus with functionally referable environments2021
- Author(s)
  Shin-ya NISHIZAKI and Ryotaro KASUGA
- Organizer
  Proceedings of ICSCA2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11743
[Presentation] User Interface for Process Calculus for DoS-attack Resistance Analysis2017
- Author(s)
  Ikeda Motoshi、NISHIZAKI Shin-ya
- Organizer
  2nd International Conference on Computer Science and Technology (CST 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500009
[Presentation] An Application of Mathematical Logic2012
- Author(s)
  Shin-ya Nishizaki
- Organizer
  International Conference on Advances Information and Communication Technologies - ICT2012
- Place of Presentation
  Amsterdam, the Netherland
- Invited
- Data Source
  KAKENHI-PROJECT-24500009
[Presentation] Analyzing Systems Dependent on Execution Speed with Model Checker2012
- Author(s)
  Takahisa Mizuno , Shin-ya Nishizaki
- Organizer
  International Conference on Advances Science and Contemporary Engineering 2012
- Place of Presentation
  Jakarta,Indonesia
- Data Source
  KAKENHI-PROJECT-24500009

1. SAKURAI Takafumi (60183373)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. TSUJI Takashi (70016666)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. 田栗正章 (10009607)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 今野良彦 (00205577)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. YAMAMOTO Mitsuharu (00291295)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. KOMORI Yuichi (10022302)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 腰越秀之 (70110294)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. YONEZAKI Naoki (00126286)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. YOSHIURA Noriaki (00302969)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. YONEDA Tomohiro (30182851)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. TOMOISHI Masahiko (60262284)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Nishizaki Shinya 西崎 真也

西崎 真也 ニシザキ シンヤ

Nishizaki Shin-ya 西崎 真也

NISHIZAKI Shin-ya 西崎 真也

Research Projects

Research Products

Co-Researchers

Modelling of Control Capture and Its ApplicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Computational Model of Failure and Its AnalysingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

線型論理を応用した安全性向上のためのコスト解析の形式的手法Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

デバッギングを指向した型推論に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Verification methods of secure systems based on logical specifications

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

自己反映的プログラミングにもとづく動的分散ライブラリ機構の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

環境の理論によるプログラミング言語の発展機構に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Relation between Semantics of Type Theory and its Syntactic Properties

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ソフトウェアの発展における環境の理論に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

自己反映的プログラミングのための計算・論理体系Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

標本抽出方法を考慮したブートストラップ検定についての研究

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

構造化されたリフレクションをもつ型理論と知識表現への応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Proceedings of Workshop on Computation: Theory and Practice - WCTP20112012

Author(s)

Total Pages

Nishizaki Shinya 西崎真也

西崎真也ニシザキシンヤ

Nishizaki Shin-ya 西崎真也

NISHIZAKI Shin-ya 西崎真也