論文

• Shin-ya Nishizaki, Ritsuya Ikeda. Formal Model of Time for Analyzing Denial-of-Service Attacks, International Journal of Advancements in Computing Technology, Advanced Institute of Convergence IT, Vol. 5, No. 7, pp. 580--588, Apr. 2013.  公式リンク  
  
• Ritsuya Ikeda, Kensuke Narita, Shin-ya Nishizaki. Cooperation of Model Checking and Network Simulation for Cost Analysis of Distributed Systems, International Journal of Computers and Applications, ACTA Press, Vol. 33, No. 4, pp. 323-329, Nov. 2011.
• 冨岡 大悟, 池田立野, 西崎真也. 通信プロトコルにおけるサービス不能攻撃耐性のための型付π計算, コンピュータソフトウェア, 日本ソフトウェア科学会, Vol. 23, No. 3, pp. 66-84, July 2006.
• 山本光晴, 高橋孝一, 萩谷昌己, 西崎真也, 玉井哲雄. グラフ探索アルゴリズムの発展とその検証, コンピュータソフトウェア別冊, pp. 92, 2000.
• Shin-ya Nishizaki. A Polymorphic Environment Calculus and its Type-Inference Algorithm, Higher-Order and Symbolic Computation, Vol. 13, No. 3, pp. 239-278, 2000.
• Tomoaki Shimada, Masami Hagiya, Masanori Arita, Shin-ya Nishizaki, Chew Lim Tan. Knowledge-based Simulation of Regulatory Action in Lambda Phage, International Journal on Artificial Intelligence Tools, Vol. 4, No. 4, pp. 511--523, 1995.
• Shin-ya Nishizaki. Programs with continuations and linear logic, Science of Computer Programming, Elsevier Science Publisher, Vol. 21, No. 2, pp. 165-190, Aug. 1993.

著書

• 西崎真也. この定理が美しい, 数学書房, June 2009.
• 西崎真也. 理工系のためのコンピュータサイエンス, サイエンス社, Jan. 2008.
• 萩谷昌己, 西崎真也. 論理と計算のしくみ, 岩波書店, June 2007.
• 西崎真也. 関数的環境計算の合流性，, 日本ソフトウェア科学会　第16回大会論文集, 日本ソフトウェア科学会　第16回大会論文集, 1999.
• Shin-ya Nishizaki. Formalization of Graph Search Algorithm and Its Applications, Lecture Notes in Computer Science, Lecture Notes in Computer Science, Vol. 1479, pp. 479-496, 1998.

国際会議発表 (査読有り)

• Shin-ya Nishizaki. Simple type system for call-by-value calculus with first-class continuations and environments, 8th Workshop on Computation: Theory and Practice WCTP2018, Proceedings of the 8th Workshop on Computation: Theory and Practice (WCTP 2018), CRC Press, pp. 119-130, Sept. 2019.
• Hiroki JOKO, Shin-ya NISHIZAKI. First-class Environments in Categorical Combinators, Theory And Practice Of Computation-Proceedings Of Workshop On Computation: Theory And Practice WCTP2016, World Scientific, pp. 28-43, Oct. 2017.
• Shota Araki, Shin-ya Nishizaki. CALL-BY-NAME EVALUATION OF RPC AND RMI CALCULI, Third Workshop on Computing: Theory and Practice, WCTP 2013, Theory and Practice of Computation, World Scientific, pp. 1-14, Nov. 2014.
• Yuta Nakatani, Shin-ya NISHIZAKI. 2D Geometric Modeling and Verification of Line Tracing Robot Using UPPAAL Model Checker, the 2nd International Conference on Software Engineering, Knowledge Engineering and INformation Engineering (SEKEIE 2014), Proceedings of the 2nd International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2014), Atlantis Press, Mar. 2014.
• Shin-ya Nishizaki. Evaluation Strategy and Translation of Environment Calculus, International Conference on Information Computing and Applications, ICICA 2013, 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I (Communications in Computer and Information Science book series), Springer Heidelberg New York Dordrecht London, Vol. 391, pp. 232-242, Dec. 2013.
• Shin-ya Nishizaki, Mizuki Fujii. Strong Reduction for Typed Lambda Calculus with First-Class Environments, The 3rd International Conference on Information Computing and Applications, ICICA 2012, Information Computing and Applications, Lecture Notes in Computer Science, Springer Berlin Heidelberg, Vol. 7473, pp. 632-639, Sept. 2013.
• Shin-ya Nishizaki, Takuya Ohata. Real-Time Model Checking for Regulatory Compliance, Second International Conference on Advances in Information Technology and Mobile Communication - AIM 2012, Mobile Communication and Power Engineering, Communications in Computer and Information Science, Springer Berlin Heidelberg, Vol. 296, pp. 70-77, Jan. 2013.  公式リンク  
  
• Takahisa Mizuno, Shin-ya Nishizaki. Analyzing Systems Dependent on Execution Speed with Model Checker, International Conference on Advances Science and Contemporary Engineering 2012, Procedia Engineering, Elsevier, Volume 50, pp. 544-554, Nov. 2012.  公式リンク  
  
• Takayuki Sasajima, Shin-ya Nishizaki. Blog-Based Distributed Computation, The Third International Conference on Information Computing and Application, ICICA2012, Information Computing and Applications, Lecture Notes in Computer Science, Springer Berlin Heidelberg, Vol. 7473, pp. 461-467, Sept. 2012.
• Kensuke Narita, Shin-ya Nishizaki. A Parallel Abstract Machine for the RPC Calculus, The International Conference on Informatics Engineerings and Information Science (ICIEIS 2011), Informatics Engineering and Information Science, Communications in Computer and Information Science, Springer-Verlag Berlin Heidelberg, Vol. 253, pp. 320-332, Nov. 2011.
• Hiroki KUMAMOTO, Takahisa MIZUNO, Kensuke NARITA, Shin-ya NISHIZAKI. Destructive Testing of Software Systems by Model Checking, International Symposium on Communications and Information Technologies 2010, Proceedings of International Symposium on Communications and Information Technologies 2010, IEEE, pp. 261-266, Oct. 2010.
• Kensuke NARITA, Shin-ya NISHIZAKI, Takahisa MIZUNO. A Simple Abstract Machine for First-class Continuations, International Symposium on Communications and Information Technologies 2010, Proceedings of International Symposium on Communications and Information Technologies 2010, IEEE, pp. 111-114, Oct. 2010.
• Ritsuya Ikeda, Kensuke Narita, Shin-ya Nishizaki. Cooperative Approach to Quality and Quantitative Cost Analyses of Distributed Systems, the 13th IASTED International Conference on Software Engineering and Application – SEA 2009, Proceedings of the 13th IASTED International Conference on Software Engineering and Application – SEA 2009, ACTA Press, pp. 126-132, Nov. 2009.  公式リンク  
  
• Ritsuya Ikeda, Takuya Oohata, Shin-ya Nishizaki. Formalization of Broadcast Communication in Process Calculus and Its Model Checking, ICSOFT 2009, Proceedings of the 4th International Conference on Software and Data Technologies, INSTICC Press, Vol. 1, pp. 348-352, July 2009.  公式リンク  
  
• Daigo Tomioka, Shin-ya NISHIZAKI, Ritsuya Ikeda. A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Software Security - Theories and Systems, Springer-Verlag, Volume 3233, pp. 25-44, Nov. 2004.
• Shin-ya NISHIZAKI, Naoki UESUGI. Secure Filtering of Client-Side Scripts by Program Transformation, FIT 2003, Information Technology Letters, IPSJ, Vol. 2, pp. 37, Aug. 2003.
• ETSUYA SHIBAYAMA, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe. AnZenMail: A Secure and Certified E-mail System, Lecture Notes in Computer Science (Software Security: Theories and Systems), Vol. 2609, pp. 201-216, 2003.
• Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe. AnZenMail: A Secure and Certified E-mail System, Software Security - Theories and Systems, Lecture Notes in Computer Science, Springer-Verlag, Lecture Notes in Computer Science, Vol. 2609, pp. 201-216, 2002.
• Shin-ya Nishizaki. Programmable Environment Calculus as Theory of Dynamic Software Evolution, International Symposium on Principles of Software Evolution, ISPSE 2000, pp. 221-225, Jan. 2000.
• Shin-ya NISHIZAKI, Yohji AKAMA. Translations of First-Class Environments to Records, First International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs, Proceedings of First International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs, pp. 81-92, July 1998.
• Shin-ya Nishizaki. Type Inference for Simply-Typed Environment Calculus with Shadowing, Fuji International Workshop on Functional and Logic Programming, Functional and Logic Programming -- Fuji International Workshop, World Scientific, July 1995.
• Shin-ya Nishizaki. ML with First-class Environments and Type Inference Algorithm, Lecture Notes in Computer Science, Vol. 792, pp. 95-116, 1994.
• Shin-ya Nishizaki. Programs with continuations and linear logic, Theoretical Aspects of Computer Software, Springer-Verlag, Volume 526, pp. 513-531, 1991.

国内会議発表 (査読有り)

• 小林隆志, 権藤克彦, 佐伯元司, 首藤一幸, 西崎真也, 森本千佳子, 脇田建, 渡部卓雄 (50音順). 東京工業大学における実践的 IT 人材育成の試み - IT システムの価値探索とチームビルディング, 第 4 回実践的 IT 教育シンポジウム (rePiT2018), 第 4 回実践的 IT 教育シンポジウム (rePiT2018) 予稿集, pp. 40-48, Jan. 2018.
• 西崎真也. Javaのクラスローダ制約の定式化, 情報処理学会論文誌プログラミング, 情報処理学会, Vol. 4, No. 7, pp. 79, June 2000.  公式リンク  
  
• 山本光晴, 萩谷昌己, 白取知樹, 西崎真也. 図的対象を扱う証明チェッカのための視覚化ツール, 第3回「インタラクティブシステムとソフトウェアに関するワークショップ」(WISS’95), インタラクティブシステムとソフトウェアIII, 近代科学社, pp. 85-92, Dec. 1995.
• 西崎真也. ファーストクラスな環境と多相型, 関数プログラミングＩＩ, 近代科学社, pp. 79-94, 1994.

国際会議発表 (査読なし・不明)

• Chikako MORIMOTO, Shin-ya NISHIZAKI. IT Student Project Based Learning Based on User Oriented Approach - A Practical Oversea Collaboration Workshop -, ICETC 2018, Proceedings of the 10th International Conference on Education Technology and Computers, ACM, pp. 314-320, Oct. 2018.  公式リンク  
  
• 池田立野, 西崎真也. Spice計算へのブロードキャスト通信の拡張, システム検証の科学技術シンポジウム(SSV 2008), 第５回システム検証の科学技術シンポジウム論文集, 日本ソフトウェア科学会 ディペンダブルシステム研究会, Nov. 2008.  公式リンク  
  

国内会議発表 (査読なし・不明)

• 小林隆志, 権藤克彦, 佐伯元司, 首藤一幸, 西崎真也, 森本千佳子, 脇田建, 渡部卓雄. 東京工業大学における IT システムの価値探索を狙いとした実践的 IT 人材育成の試み - Problem BasedLearning と Project Based Learning, 日本ソフトウェア科学会 第34回大会, 日本ソフトウェア科学会 第34回大会 論文集, 4 pages, Sept. 2017.
• 小林隆志, 権藤克彦, 佐伯元司, 首藤一幸, 田中康, 西崎真也, 森本千佳子, 米崎直樹, 渡部卓雄. Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み, 日本ソフトウェア科学会第30回大会, Sept. 2013.
• 山田一宏, 渡部卓雄, 森口草介, 西崎真也. 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証, 情報処理学会ソフトウェア工学研究会, 情報処理学会研究報告ソフトウェア工学, Vol. SE-171, No. 26, pp. 1-4, Mar. 2011.  公式リンク  
  
• 久間恵美子, 松本大介, 西崎真也, 渡部卓雄. オブジェクト計算における変更可能な継続, 情報処理学会 第73回全国大会, 情報処理学会 第73回全国大会講演論文集, 情報処理学会, Mar. 2011.
• 渡部卓雄, 森口草介, 山田一宏, 西崎真也. プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ, 電子情報通信学会ソフトウェアサイエンス研究会(SIGSS), 信学技報, 電子情報通信学会, Vol. 110, No. 458, pp. 97-102, Feb. 2011.  公式リンク  
  
• 西崎真也, 池田立野, 日高 武尊. プロトコルのDoS攻撃耐性解析のための計算体系における時間モデル, 日本ソフトウェア科学会第22回大会, 日本ソフトウェア科学会第22回大会論文集, 日本ソフトウェア科学会, Sept. 2010.
• 西崎真也, 玉野 浩嗣. 等式アーカイブにおける安全な検査, 日本ソフトウェア科学会第22回大会, 日本ソフトウェア科学会第22回大会論文集, 日本ソフトウェア科学会, July 2010.
• 池田立野, 西崎真也. Spice 計算へのブロードキャスト通信の拡張, 第5回システム検証の科学技術シンポジウム, 第5回システム検証の科学技術シンポジウム予稿集, 日本ソフトウェア科学会ディペンダブルシステム研究会, pp. 89-95, Nov. 2008.
• 池田立野, 西崎真也. プロセス計算による定性的コスト解析とネットワークシミュレータによ る定量的コスト解析, 第４回システム検証の科学技術シ ンポジウム論文集, 日本ソフトウェア科学会ディペンダブルシステム研究会, pp. 2-10, Nov. 2007.  公式リンク  
  
• 藤井みづき, 西崎真也, 池田立野. プロセス生成コスト解析するためのプロセス計算, 日本ソフトウェア科学会第24 回大会論文集, 日本ソフトウェア科学会, Sept. 2007.
• 池田立野, 西崎真也. プロセス計算によるコスト解析とネットワークシミュレーションの比較, 日本ソフトウェア科学会第24 回大会, 日本ソフトウェア科学会第24 回大会論文集, 日本ソフトウェア科学会, Sept. 2007.
• 池田立野, 西崎真也. Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析, 第三回システム検証の科学技術シンポジウム, 第三回システム検証の科学技術シンポジウム予稿集, 産業技術総合研究所システム検証研究センター, pp. 7-14, Oct. 2006.
• 西崎真也. 継続つきプログラミング言語と線形論理, 情報処理学会, Vol. 91, No. 32, Apr. 1991.

その他の論文・著書など

• 西崎真也. 論理と計算のしくみと私, コンピュータ ソフトウェア, 日本ソフトウェア科学会, Vol. 32, No. 3, pp. 3_96-397, July 2015.  公式リンク  
  

学位論文

• Simply Typed Lambda Calculus with First-class Environments,  本文,  Doctor of Science,  京都大学理学研究科,  1994/--/--, 

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]