@book{CTT100596957,
  author = {西崎真也},
  title = {この定理が美しい},
  publisher = {数学書房},
  year = 2009,
}

@book{CTT100596955,
  author = {西崎真也},
  title = {理工系のためのコンピュータサイエンス},
  publisher = {サイエンス社},
  year = 2008,
}

@book{CTT100596954,
  author = {萩谷昌己 and 西崎真也},
  title = {論理と計算のしくみ},
  publisher = {岩波書店},
  year = 2007,
}

@book{CTT100434387,
  author = {西崎真也},
  title = {関数的環境計算の合流性，},
  publisher = {日本ソフトウェア科学会　第16回大会論文集},
  year = 1999,
}

@book{CTT100433744,
  author = {Shin-ya Nishizaki},
  title = {Formalization of Graph Search Algorithm and Its Applications},
  publisher = {Lecture Notes in Computer Science},
  year = 1998,
}

@article{CTT100653587,
  author = {Shin-ya Nishizaki and Ritsuya Ikeda},
  title = {Formal Model of Time for Analyzing Denial-of-Service Attacks},
  journal = {International Journal of Advancements in Computing Technology},
  year = 2013,
}

@article{CTT100632392,
  author = {Ritsuya Ikeda and Kensuke Narita and Shin-ya Nishizaki},
  title = {Cooperation of Model Checking and Network Simulation for Cost Analysis of Distributed Systems},
  journal = {International Journal of Computers and Applications},
  year = 2011,
}

@article{CTT100596950,
  author = {冨岡 大悟 and 池田立野 and 西崎真也},
  title = {通信プロトコルにおけるサービス不能攻撃耐性のための型付π計算},
  journal = {コンピュータソフトウェア},
  year = 2006,
}

@article{CTT100447091,
  author = {山本光晴 and 高橋孝一 and 萩谷昌己 and 西崎真也 and 玉井哲雄},
  title = {グラフ探索アルゴリズムの発展とその検証},
  journal = {コンピュータソフトウェア別冊},
  year = 2000,
}

@article{CTT100447072,
  author = {Shin-ya Nishizaki},
  title = {A Polymorphic Environment Calculus and its Type-Inference Algorithm},
  journal = {Higher-Order and Symbolic Computation},
  year = 2000,
}

@article{CTT100654183,
  author = {Tomoaki Shimada and Masami Hagiya and Masanori Arita and Shin-ya Nishizaki and Chew Lim Tan},
  title = {Knowledge-based Simulation of Regulatory Action in Lambda Phage},
  journal = {International Journal on Artificial Intelligence Tools},
  year = 1995,
}

@article{CTT100654182,
  author = {Shin-ya Nishizaki},
  title = {Programs with continuations and linear logic},
  journal = {Science of Computer Programming},
  year = 1993,
}

@inproceedings{CTT100814496,
  author = {Shin-ya Nishizaki},
  title = {Simple type system for call-by-value calculus with first-class continuations and environments},
  booktitle = {Proceedings of the 8th Workshop on Computation: Theory and Practice (WCTP 2018)},
  year = 2019,
}

@inproceedings{CTT100814493,
  author = {Chikako MORIMOTO and Shin-ya NISHIZAKI},
  title = {IT Student Project Based Learning Based on User Oriented Approach - A Practical Oversea Collaboration Workshop -},
  booktitle = {Proceedings of the 10th International Conference on Education Technology and Computers},
  year = 2018,
}

@inproceedings{CTT100776172,
  author = {小林隆志 and 権藤克彦 and 佐伯元司 and 首藤一幸 and 西崎真也 and 森本千佳子 and 脇田建 and 渡部卓雄 (50音順)},
  title = {東京工業大学における実践的 IT 人材育成の試み - IT システムの価値探索とチームビルディング},
  booktitle = {第 4 回実践的 IT 教育シンポジウム (rePiT2018) 予稿集},
  year = 2018,
}

@inproceedings{CTT100771289,
  author = {Hiroki JOKO and Shin-ya NISHIZAKI},
  title = {First-class Environments in Categorical Combinators},
  booktitle = {Theory And Practice Of Computation-Proceedings Of Workshop On Computation: Theory And Practice WCTP2016},
  year = 2017,
}

@inproceedings{CTT100754548,
  author = {小林隆志 and 権藤克彦 and 佐伯元司 and 首藤一幸 and 西崎真也 and 森本千佳子 and 脇田建 and 渡部卓雄},
  title = {東京工業大学における IT システムの価値探索を狙いとした実践的 IT 人材育成の試み - Problem BasedLearning と Project Based Learning},
  booktitle = {日本ソフトウェア科学会 第34回大会 論文集},
  year = 2017,
}

@inproceedings{CTT100787062,
  author = {Shota Araki and Shin-ya Nishizaki},
  title = {CALL-BY-NAME EVALUATION OF RPC AND RMI CALCULI},
  booktitle = {Theory and Practice of Computation},
  year = 2014,
}

@inproceedings{CTT100787063,
  author = {Yuta Nakatani and Shin-ya NISHIZAKI},
  title = {2D Geometric Modeling and Verification of Line Tracing Robot Using UPPAAL Model Checker},
  booktitle = {Proceedings of the 2nd International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2014)},
  year = 2014,
}

@inproceedings{CTT100787064,
  author = {Shin-ya Nishizaki},
  title = {Evaluation Strategy and Translation of Environment Calculus},
  booktitle = {4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I (Communications in Computer and Information Science book series)},
  year = 2013,
}

@inproceedings{CTT100682091,
  author = {小林隆志 and 権藤克彦 and 佐伯元司 and 首藤一幸 and 田中康 and 西崎真也 and 森本千佳子 and 米崎直樹 and 渡部卓雄},
  title = {Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100649663,
  author = {Shin-ya Nishizaki and Mizuki Fujii},
  title = {Strong Reduction for Typed Lambda Calculus with First-Class Environments},
  booktitle = {Information Computing and Applications, Lecture Notes in Computer Science},
  year = 2013,
}

@inproceedings{CTT100636067,
  author = {Shin-ya Nishizaki and Takuya Ohata},
  title = {Real-Time Model Checking for Regulatory Compliance},
  booktitle = {Mobile Communication and Power Engineering, Communications in Computer and Information Science},
  year = 2013,
}

@inproceedings{CTT100658696,
  author = {Takahisa Mizuno and Shin-ya Nishizaki},
  title = {Analyzing Systems Dependent on Execution Speed with Model Checker},
  booktitle = {Procedia Engineering},
  year = 2012,
}

@inproceedings{CTT100649629,
  author = {Takayuki Sasajima and Shin-ya Nishizaki},
  title = {Blog-Based Distributed Computation},
  booktitle = {Information Computing and Applications, Lecture Notes in Computer Science},
  year = 2012,
}

@inproceedings{CTT100632391,
  author = {Kensuke Narita and Shin-ya Nishizaki},
  title = {A Parallel Abstract Machine for the RPC Calculus},
  booktitle = {Informatics Engineering and Information Science, Communications in Computer and Information Science},
  year = 2011,
}

@inproceedings{CTT100711039,
  author = {山田一宏 and 渡部卓雄 and 森口草介 and 西崎真也},
  title = {証明支援系を用いたMorrisの二分木走査アルゴリズムの検証},
  booktitle = {情報処理学会研究報告ソフトウェア工学},
  year = 2011,
}

@inproceedings{CTT100621107,
  author = {久間恵美子 and 松本大介 and 西崎真也 and 渡部卓雄},
  title = {オブジェクト計算における変更可能な継続},
  booktitle = {情報処理学会 第73回全国大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100711038,
  author = {渡部卓雄 and 森口草介 and 山田一宏 and 西崎真也},
  title = {プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ},
  booktitle = {信学技報},
  year = 2011,
}

@inproceedings{CTT100613673,
  author = {Hiroki KUMAMOTO and Takahisa MIZUNO and Kensuke NARITA and Shin-ya NISHIZAKI},
  title = {Destructive Testing of Software Systems by Model Checking},
  booktitle = {Proceedings of International Symposium on Communications and Information Technologies 2010},
  year = 2010,
}

@inproceedings{CTT100613671,
  author = {Kensuke NARITA and Shin-ya NISHIZAKI and Takahisa MIZUNO},
  title = {A Simple Abstract Machine for First-class Continuations},
  booktitle = {Proceedings of International Symposium on Communications and Information Technologies 2010},
  year = 2010,
}

@inproceedings{CTT100608391,
  author = {西崎真也 and 池田立野 and 日高 武尊},
  title = {プロトコルのDoS攻撃耐性解析のための計算体系における時間モデル},
  booktitle = {日本ソフトウェア科学会第22回大会論文集},
  year = 2010,
}

@inproceedings{CTT100608393,
  author = {西崎真也 and 玉野 浩嗣},
  title = {等式アーカイブにおける安全な検査},
  booktitle = {日本ソフトウェア科学会第22回大会論文集},
  year = 2010,
}

@inproceedings{CTT100596927,
  author = {Ritsuya Ikeda and Kensuke Narita and Shin-ya Nishizaki},
  title = {Cooperative Approach to Quality and Quantitative Cost Analyses of Distributed Systems},
  booktitle = {Proceedings of the 13th IASTED International Conference on Software Engineering and Application – SEA 2009},
  year = 2009,
}

@inproceedings{CTT100596925,
  author = {Ritsuya Ikeda and Takuya Oohata and Shin-ya Nishizaki},
  title = {Formalization of Broadcast Communication in Process Calculus and Its Model Checking},
  booktitle = {Proceedings of the 4th International Conference on Software and Data Technologies},
  year = 2009,
}

@inproceedings{CTT100596928,
  author = {池田立野 and 西崎真也},
  title = {Spice計算へのブロードキャスト通信の拡張},
  booktitle = {第５回システム検証の科学技術シンポジウム論文集},
  year = 2008,
}

@inproceedings{CTT100608659,
  author = {池田立野 and 西崎真也},
  title = {Spice 計算へのブロードキャスト通信の拡張},
  booktitle = {第5回システム検証の科学技術シンポジウム予稿集},
  year = 2008,
}

@inproceedings{CTT100596930,
  author = {池田立野 and 西崎真也},
  title = {プロセス計算による定性的コスト解析とネットワークシミュレータによ る定量的コスト解析},
  booktitle = {第４回システム検証の科学技術シ ンポジウム論文集},
  year = 2007,
}

@inproceedings{CTT100596948,
  author = {藤井みづき and 西崎真也 and 池田立野},
  title = {プロセス生成コスト解析するためのプロセス計算},
  booktitle = {日本ソフトウェア科学会第24 回大会論文集},
  year = 2007,
}

@inproceedings{CTT100596949,
  author = {池田立野 and 西崎真也},
  title = {プロセス計算によるコスト解析とネットワークシミュレーションの比較},
  booktitle = {日本ソフトウェア科学会第24 回大会論文集},
  year = 2007,
}

@inproceedings{CTT100608656,
  author = {池田立野 and 西崎真也},
  title = {Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析},
  booktitle = {第三回システム検証の科学技術シンポジウム予稿集},
  year = 2006,
}

@inproceedings{CTT100608800,
  author = {Daigo Tomioka and Shin-ya NISHIZAKI and Ritsuya Ikeda},
  title = {A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack},
  booktitle = {Software Security - Theories and Systems},
  year = 2004,
}

@inproceedings{CTT100494527,
  author = {Shin-ya NISHIZAKI and Naoki UESUGI},
  title = {Secure Filtering of Client-Side Scripts by Program Transformation},
  booktitle = {Information Technology Letters, IPSJ},
  year = 2003,
}

@inproceedings{CTT100548420,
  author = {ETSUYA SHIBAYAMA and Shigeki Hagihara and Naoki Kobayashi and Shin-ya Nishizaki and Kenjiro Taura and Takuo Watanabe},
  title = {AnZenMail: A Secure and Certified E-mail System},
  booktitle = {Lecture Notes in Computer Science (Software Security: Theories and Systems)},
  year = 2003,
}

@inproceedings{CTT100640840,
  author = {Etsuya Shibayama and Shigeki Hagihara and Naoki Kobayashi and Shin-ya Nishizaki and Kenjiro Taura and Takuo Watanabe},
  title = {AnZenMail: A Secure and Certified E-mail System},
  booktitle = {Software Security - Theories and Systems, Lecture Notes in Computer Science, Springer-Verlag},
  year = 2002,
}

@inproceedings{CTT100447099,
  author = {西崎真也},
  title = {Javaのクラスローダ制約の定式化},
  booktitle = {情報処理学会論文誌プログラミング},
  year = 2000,
}

@inproceedings{CTT100447092,
  author = {Shin-ya Nishizaki},
  title = {Programmable Environment Calculus as Theory of Dynamic Software Evolution},
  booktitle = {International Symposium on Principles of Software Evolution, ISPSE 2000},
  year = 2000,
}

@inproceedings{CTT100608794,
  author = {Shin-ya NISHIZAKI and Yohji AKAMA},
  title = {Translations of First-Class Environments to Records},
  booktitle = {Proceedings of First International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs},
  year = 1998,
}

@inproceedings{CTT100608815,
  author = {山本光晴 and 萩谷昌己 and 白取知樹 and 西崎真也},
  title = {図的対象を扱う証明チェッカのための視覚化ツール},
  booktitle = {インタラクティブシステムとソフトウェアIII},
  year = 1995,
}

@inproceedings{CTT100608793,
  author = {Shin-ya Nishizaki},
  title = {Type Inference for Simply-Typed Environment Calculus with Shadowing},
  booktitle = {Functional and Logic Programming -- Fuji International Workshop},
  year = 1995,
}

@inproceedings{CTT100608816,
  author = {西崎真也},
  title = {ファーストクラスな環境と多相型},
  booktitle = {関数プログラミングＩＩ},
  year = 1994,
}

@inproceedings{CTT100433742,
  author = {Shin-ya Nishizaki},
  title = {ML with First-class Environments and Type Inference Algorithm},
  booktitle = {Lecture Notes in Computer Science},
  year = 1994,
}

@inproceedings{CTT100608206,
  author = {西崎真也},
  title = {継続つきプログラミング言語と線形論理},
  booktitle = {},
  year = 1991,
}

@inproceedings{CTT100608205,
  author = {Shin-ya Nishizaki},
  title = {Programs with continuations and linear logic},
  booktitle = {},
  year = 1991,
}

@misc{CTT100787061,
  author = {西崎真也},
  title = {論理と計算のしくみと私},
  year = 2015,
}

@misc{CTT100594783,
  author = {Shin-ya Nishizaki},
  title = {Simply Typed Lambda Calculus with First-class Environments},
  year = 1994,
}



@phdthesis{CTT100594783,
  author = {Shin-ya Nishizaki},
  title = {Simply Typed Lambda Calculus with First-class Environments},
  school = {京都大学理学研究科},
  year = 1994,
}