西崎真也 Nishizaki Shinya

研究者番号	90263615
その他のID
外部サイト
所属 (現在)	2025年度: 東京科学大学, 情報基盤センター, 教授
所属 (過去の研究課題情報に基づく) *注記	2020年度 – 2023年度: 東京工業大学, 学術国際情報センター, 教授 2016年度 – 2017年度: 東京工業大学, 学術国際情報センター, 教授 2012年度 – 2015年度: 東京工業大学, 情報理工学(系)研究科, 准教授 1998年度 – 2006年度: 東京工業大学, 大学院・情報理工学研究科, 助教授 1996年度 – 1997年度: 千葉大学, 理学部, 助教授 1995年度: 岡山大学, 大学院・自然科学研究科, 助手
審査区分/研究分野	研究代表者計算機科学 / 小区分60050:ソフトウェア関連 / 情報学基礎 / ソフトウエア / 知能情報学研究代表者以外理工系 / 計算機科学 / 数学一般(含確率論・統計数学)
キーワード	研究代表者プログラミング言語 / ラムダ計算 / 関数型言語 / 関数型プログラミング / 環境 / 型推論 / リフレクション / 制御構造 / 一級環境 / 例外処理 … もっと見る / 一級継続 / 制御捕捉 / dynamic-wind / 型システム / 関数型プログラミング言語 / 大域脱出 / プログラム理論 / 継続 / 制御捕獲 / call/cc / プログラミング言語理論 / 関数プログラミング / システム故障 / システムの形式化 / プロセス計算 / プロセス代数 / 計算モデル / 故障 / システム検証 / モデル検査 / 線型論理 / 計算コスト解析 / DoS攻撃 / プロトコル / 線形論理 / コスト解析 / DoS攻撃耐性 / 線型総論 / デバッギング / ファーストクラス環境 / 動的ライブラリ / 自己反映的プログラミング / 分散プログラミング / 分散ライブラリ / プログラミング / 自己反映 / 論理 / 発展 / ソフトウェア / 型理論 … もっと見る研究代表者以外 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 / 部分構造理論 / 強正規化 / 部分構造論理 / 強制規化 / 文法的性質 / カテゴリ理論 / モデル / 意味論 / 型理論 / ダ-ウィンのとうもろこしデータ / 層別無作為標本 / 単純無作為標本 / 尺度変換 / 位置変換 / 混合ブートストラップ法 / ブートストラップ検定隠す

制御捕獲のモデル化と応用研究代表者
- 研究代表者
  
  西崎真也
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東京工業大学
故障の計算モデルと解析手法研究代表者
- 研究代表者
  
  西崎真也
- 研究期間 (年度)
  2012 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  東京工業大学
線型論理を応用した安全性向上のためのコスト解析の形式的手法研究代表者
- 研究代表者
  
  西崎真也
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  東京工業大学
デバッギングを指向した型推論に関する研究研究代表者
- 研究代表者
  
  西崎真也
- 研究期間 (年度)
  2001 – 2002
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  東京工業大学
論理的仕様を基礎としたセキュアシステムの検証法
- 研究代表者
  
  米崎直樹
- 研究期間 (年度)
  2000 – 2003
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  東京工業大学
自己反映的プログラミングにもとづく動的分散ライブラリ機構の研究研究代表者
- 研究代表者
  
  西崎真也
- 研究期間 (年度)
  1999 – 2000
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  東京工業大学
環境の理論によるプログラミング言語の発展機構に関する研究研究代表者
- 研究代表者
  
  西崎真也
- 研究期間 (年度)
  1998
- 研究種目
  
  特定領域研究(A)
- 研究機関
  東京工業大学
型理論の意味論と文法的性質の関係
- 研究代表者
  
  桜井貴文
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  千葉大学
ソフトウェアの発展における環境の理論に関する研究研究代表者
- 研究代表者
  
  西崎真也
- 研究期間 (年度)
  1997
- 研究種目
  
  重点領域研究
- 研究機関
  千葉大学
自己反映的プログラミングのための計算・論理体系研究代表者
- 研究代表者
  
  西崎真也
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  東京工業大学
   千葉大学
標本抽出方法を考慮したブートストラップ検定についての研究
- 研究代表者
  
  田栗正章
- 研究期間 (年度)
  1996
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  千葉大学
構造化されたリフレクションをもつ型理論と知識表現への応用研究代表者
- 研究代表者
  
  西崎真也
- 研究期間 (年度)
  1995
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  知能情報学
- 研究機関
  岡山大学

すべて 2024 2023 2022 2021 2017 2016 2015 2014 2013 2012 2006 2005 2004

すべて雑誌論文学会発表図書

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

1. 桜井貴文 (60183373)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 辻尚史 (70016666)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 田栗正章 (10009607)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 今野良彦 (00205577)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 山本光晴 (00291295)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 古森雄一 (10022302)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 腰越秀之 (70110294)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 米崎直樹 (00126286)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 吉浦紀晃 (00302969)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 米田友洋 (30182851)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 友石正彦 (60262284)

共同の研究課題数: 1件

共同の研究成果数: 0件

西崎 真也 Nishizaki Shinya

研究課題

研究成果

共同研究者

制御捕獲のモデル化と応用研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

故障の計算モデルと解析手法研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

線型論理を応用した安全性向上のためのコスト解析の形式的手法研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

論理的仕様を基礎としたセキュアシステムの検証法

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究機関

型理論の意味論と文法的性質の関係

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究機関

自己反映的プログラミングのための計算・論理体系研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

総ページ数

出版者

データソース

[雑誌論文] Time efficiency analysis of parallel programs on Liquid Haskell2024

西崎真也 Nishizaki Shinya