-:岡山大学 助手

1994

European Association of Theoretical Computer Science

Association of Computing Machinary

Static Code Analysis Using Refinement Types based on Design by Contract.

Koji Ishii, Shin-ya Nishizaki

Proceedings of the 9th International Conference on Software and Computer Applications(ICSCA)   357 - 363   2020

ML Polymorphism of Linear Lambda Calculus with First-class Continuations.

Shin-ya Nishizaki

Proceedings of the 8th International Conference on Software and Computer Applications(ICSCA)   189 - 193   2019

IT student project based learning based on user oriented approach: a practical oversea collaboration workshop.

Chikako Morimoto, Shin-ya Nishizaki

Proceedings of the 10th International Conference on Education Technology and Computers(ICETC)   314 - 320   2018

Linear lambda calculus with non-linear first-class continuations.

Shin-ya Nishizaki

Proceedings of the 6th International Conference on Software and Computer Applications(ICSCA)   28 - 32   2017

Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus.

Keishi Watanabe, Shin-ya Nishizaki

Journal of Software   12 ( 7 )   570 - 580   2017

Let-Binding with Regular Expressions in Lambda Calculus.

Takuya Ohata, Shin-ya Nishizaki

Journal of Software   11 ( 2 )   220 - 229   2016

Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation.

Shin-ya Nishizaki, Kensuke Narita, Tomoyuki Ueda

Journal of Software   10 ( 10 )   1148 - 1159   2015

Software Analysis of Internet Bots using a Model Checker Reviewed

Eri Koike, Shin-ya Nishizaki

PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CLOUD COMPUTING COMPANION (ISCC-C)   242 - 245   2014

Evaluation Strategy and Translation of Environment Calculus.

Shin-ya Nishizaki

Information Computing and Applications - 4th International Conference   232 - 242   2013

Applying Model Checking to Destructive Testing and Analysis of Software System.

Hiroki Kumamoto, Takahisa Mizuno, Kensuke Narita, Shin-ya Nishizaki

Journal of Software   8 ( 5 )   1254 - 1261   2013

Event-Driven Implementation of Layer-7 Load Balancer.

Takayuki Sasajima, Shin-ya Nishizaki

Advances in Information Technology - 6th International Conference(IAIT)   162 - 172   2013

Blog-Based Distributed Computation - Implementation of Software Verification System.

Takayuki Sasajima, Shin-ya Nishizaki

Information Computing and Applications - Third International Conference   461 - 467   2012

Strong Reduction for Typed Lambda Calculus with First-Class Environments.

Shin-ya Nishizaki, Mizuki Fujii

Information Computing and Applications - Third International Conference   632 - 639   2012

Incorporating First-Order Unification into Functional Language via First-Class Environments.

Shin-ya Nishizaki

Signal Processing and Information Technology - Second International Joint Conference(SPIT)   19 - 25   2012

Formalization of Broadcast Communication in Process Calculus and Its Model Checking.

Ritsuya Ikeda, Takuya Ohata, Shin-ya Nishizaki

ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies   348 - 352   2009

A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack.

Daigo Tomioka, Shin-ya Nishizaki, Ritsuya Ikeda

Software Security - Theories and Systems(ISSS)   25 - 44   2003

AnZenMail: A Secure and Certified E-mail System.

Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi 0001, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe

Software Security -- Theories and Systems(ISSS)   201 - 216   2002

Formalization of Graph Search Algorithms and Its Applications.

Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai

Theorem Proving in Higher Order Logics(TPHOLs)   479 - 496   1998

Knowledge-Based Simulation of Regulatory Action in lambda phage.

Tomoaki Shimada, Masami Hagiya, Masanori Arita, Shin-ya Nishizaki, Chew Lim Tan

International Journal on Artificial Intelligence Tools   4 ( 4 )   511 - 524   1995

Formalization of Planar Graphs.

Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda

Higher Order Logic Theorem Proving and Its Applications(TPHOLs)   369 - 384   1995

ML with First-Class Environments and its Type Inference Algorithm.

Shin-ya Nishizaki

Logic, Language and Computation   95 - 116   1994

Formalization of Graph Search Algorithm and Its Applications

Lecture Notes in Computer Science  1998 

モデル検査器を用いたソフトウェアの耐故障性解析—Analysis of Software Fault Tolerance by Model Checking

熊本 浩紀, 西崎 真也, 成田 憲亮

日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編   26   245 - 256   2009.9

プロセス生成コスト解析するためのプロセス計算—Process Algebra for Cost Analysis of Process Creation

藤井 みづき, 西崎 真也, 池田 立野

日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編   24   1 - 19   2007.9

プロセス計算によるコスト解析とネットワークシミュレーションとの比較—Comparison between Cost Analysis with Process Calculus and Network Simulation

池田 立野, 西崎 真也

日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編   24   1 - 6   2007.9

Denial-of-Service Resistance in Theorem Archives

47 ( SIG6(PRO29) )   70 - 70   2006.5

Typed pi-calculus for analysis of resistance against denial-of-service attacks in communication protocols

TOMIOKA Daigo, IKEDA Tatsuya, NISHIZAKI Shin-ya, Daigo Tomioka, Tatsuya Ikeda, Shin-ya Nishizaki, Department of Computer Science Tokyo Institute of Technology, Department of Computer Science Tokyo Institute of Technology, Department of Computer Science Tokyo Institute of Technology

23 ( 3 )   66 - 84   2006

Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析

西崎 真也

第3回システム検証の科学技術シンポジウム論文集   7 - 14   2006

等式アーカイブにおける安全な検査—Safely Checking in Equation Archive

玉野 浩嗣, 西崎 真也

日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編   22   1 - 6   2005.9

Strong Normalization in Polymorphic Environment Calculus

46 ( SIG6(PRO25) )   35 - 46   2005.4

等式アーカイブにおける安全な検査

玉野 浩嗣, 西崎 真也

日本ソフトウェア科学会大会講演論文集   22   368 - 373   2005

多相環境計算の強正規化可能性

西崎 真也

情報処理学会論文誌 46・SIG4   2005

プロコルのDoS攻撃耐性解析のための計算体系における時間モデル

西崎 真也

日本ソフトウェア科学会第22回大会予稿集 (CD-Rom)   2005

対話的証明器つき証明文書—Proof documents with interactive prover

玉野 浩嗣, 西崎 真也

日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編   21   1 - 4   2004.9

Proof documents with Interactive Prover

Tamano Hiroshi, Nishizaki Shin-ya

Conference Proceedings of Japan Society for Software Science and Technology   21   79 - 79   2004

Object Calculus with First - class Continuations

44 ( SIG13(PRO18) )   116 - 116   2003.10

ファーストクラス継続をもつ仮想機械 : 関数型仮想機械の単純化—Abstract Machine with First-class Continuations

西崎 真也, 植田 友幸

日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編   20   1 - 4   2003.9

Abstract Machine with First-class Continuations

NISHIZAKI SHIN-YA, UEDA TOMOYUKI

Conference Proceedings of Japan Society for Software Science and Technology   2003   6 - 6   2003

特集「セキュアコンピューティング」の編集にあたって

西崎 真也, 加藤 和彦

コンピュータ ソフトウェア   20 ( 3 )   213 - 213   2003

計算機構成の型を導入した、DoS攻撃耐性解析におけるコスト評価のための計算体系—Computational system with configuration type for cost analysis on DoS-attack resistance

西崎 真也, 冨岡 大悟, 大石 浩司

日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編   19   1 - 5   2002.9

Semantics of Call -by- name Environment Calculus

43 ( SIG03(PRO14) )   52 - 61   2002.3

DoS攻撃に対するプロトコルの耐性に関する解析 : 形式的枠組みの構築にむけて—Analysis of Tolerance of Network Protocol for Denial of Service

冨岡 大悟, 西崎 真也

日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編   18   1 - 4   2001.9

対称的な型推論アルゴリズム—Balanced Type Inference

松下 祐介, 植田 友幸, 西崎 真也

日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編   18   1 - 4   2001.9

Embedding of Unification Mechanism into Functional Language by Using First - Class Environments

41 ( SIG09(PRO8) )   103 - 103   2000.11

A Polymorphic Environment Calculus and its Type-Inference Algorithm.

Shin-ya Nishizaki

Higher-Order and Symbolic Computation   13 ( 3 )   239 - 278   2000.9

Javaにおけるインテグリティモデル—Java Integrity Model

児島 尚, 丸山 宏, 西崎 真也

日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編   17   1 - 4   2000.9

環境計算とオブジェクト計算との比較—Comparison between Environment Calculus and Object Calculus

西崎 真也

日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編   17   1 - 4   2000.9

第5回東工大スーパーコンピュータ・コンテスト

西崎 真也

数学セミナー   39 ( 1 )   52 - 56   2000.1

グラフ探索アルゴリズムの発展とその検証

山本光晴, 高橋孝一, 萩谷昌己, 西崎真也, 玉井哲雄

コンピュータソフトウェア別冊   92   2000

Evolution of Graph Search Algorithms and Their Verification

Computer Software   92   2000

A Polymorphic Environment Calculus and its Type-Inference Algorithm

Shin-ya Nishizaki

Higher-Order and Symbolic Computation   13 ( 3 )   239 - 278   2000

Translations of First-Class Environments to Records

Nishizaki Shin-ya

Proceedings of First International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs   81 - 92   1998.7

Environment Lambda Calculus and Unification

Nishizaki Shin-ya

IPSJ SIG Notes   96 ( 58 )   37 - 42   1996.5

構造化プログラミング—構造<特集>

西崎 真也

数学セミナー   33 ( 11 )   p42 - 45   1994.11

PROGRAMS WITH CONTINUATIONS AND LINEAR LOGIC

S NISHIZAKI

SCIENCE OF COMPUTER PROGRAMMING   21 ( 2 )   165 - 190   1993.10

λ-calculus with first-class environments

Nishizaki Shin-ya

93 ( 46 )   9 - 16   1993.5

Programs with Continuations and Linear Logic.

Shin-ya Nishizaki

Science of Computer Programming   21 ( 2 )   165 - 190   1993

A Formulae-as-Types Notion of Control

IPSJ Magazine   33 ( 3 )   295 - 296   1992.3

Programs with Continuations and Linear Logic.

Shin-ya Nishizaki

Theoretical Aspects of Computer Software(TACS)   21 ( 2 )   513 - 531   1991

Programs with continuations and linear logic

Theoretical Aspects of Computer Software  1991 

Programs with continuations and linear logic

Theoretical Aspects of Computer Software  1991 

First-class Environments and polymorphism

1994 

ML with First-class Environments and Type Inference Algorithm

Lecture Notes in Computer Science  1994 

ファーストクラスな環境と多相型

関数プログラミングＩＩ  1994 

ML with First-class Environments and Type Inference Algorithm

Lecture Notes in Computer Science  1994 

A Visualization Tool for a Proof Checker that Deals with Diagrammatic Objects

1995 

Type Inference for Simply-Typed Environment Calculus with Shadowing

Fuji International Workshop on Functional and Logic Programming  1995 

図的対象を扱う証明チェッカのための視覚化ツール

第3回「インタラクティブシステムとソフトウェアに関するワークショップ」(WISS’95)  1995 

Type Inference for Simply-Typed Environment Calculus with Shadowing

Fuji International Workshop on Functional and Logic Programming  1995 

Translations of First-Class Environments to Records

First International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs  1998 

Javaのクラスローダ制約の定式化

情報処理学会論文誌プログラミング  2000 

Translations of First-Class Environments to Records

First International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs  1998 

Programmable Environment Calculus as Theory of Dynamic Software Evolution

International Symposium on Principles of Software Evolution, ISPSE 2000  2000 

名前呼び環境PCFの意味論

情報処理学会論文誌  2001 

Programmable Environment Calculus as Theory of Dynamic Software Evolution

International Symposium on Principles of Software Evolution, ISPSE 2000  2000 

Formalization of Classloader Constraints of Java

IPSJ Transactions on Programming  2000 

AnZenMail: A Secure and Certified E-mail System

Lecture Notes in Computer Science  2002 

Semantics of Call-by-name environment PCF

Journal of Information Processing Society of Japan  2001 

AnZenMail: A Secure and Certified E-mail System

Lecture Notes in Computer Science  2002 

A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack

Second Mext-NSF-JSPS International Symposium, ISSS 2003  2004 

A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack

Second Mext-NSF-JSPS International Symposium, ISSS 2003  2004 

Secure Filtering of Client-Side Scripts by Program Transformation

FIT 2003  2003 

Secure Filtering of Client-Side Scripts by Program Transformation

FIT 2003  2003 

プロセス計算によるコスト解析とネットワークシミュレーションの比較

日本ソフトウェア科学会第24 回大会  2007 

プロセス生成コスト解析するためのプロセス計算

日本ソフトウェア科学会第24 回大会論文集  2007 

Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析

第三回システム検証の科学技術シンポジウム  2006 

プロセス計算による定性的コスト解析とネットワークシミュレータによ る定量的コスト解析

第４回システム検証の科学技術シ ンポジウム論文集  2007 

Spice 計算へのブロードキャスト通信の拡張

第5回システム検証の科学技術シンポジウム  2008 

Spice計算へのブロードキャスト通信の拡張

システム検証の科学技術シンポジウム(SSV 2008)  2008