著者

藤井 宏

出版者

一般社団法人 日本応用数理学会

雑誌

応用数理 (ISSN:24321982)

巻号頁・発行日

vol.20, no.1, pp.10, 2010-03-25 (Released:2017-04-08)

著者

新井 朝雄

出版者

一般社団法人 日本応用数理学会

雑誌

応用数理 (ISSN:24321982)

巻号頁・発行日

vol.3, no.4, pp.292-306, 1993-12-15 (Released:2017-04-08)

参考文献数

46

---

Mathematical aspects of quantum field theory are reviewed. The topics included are: canonical quantization of classical fields, functional integral method, Schwinger's functional derivative equation, methods and results of constructive quantum field theory, Lamb shift in quantum electrodynamics, supersymmetric quantum field theory and related aspects.

著者

木村 英紀

出版者

一般社団法人 日本応用数理学会

雑誌

応用数理 (ISSN:24321982)

巻号頁・発行日

vol.1, no.1, pp.2-16, 1991-03-15 (Released:2017-04-08)

---

The relevance of mathematics in control theory is described. The role of mathematics in the early development of control theory is reviewed with the emphasis on the models of controlled objects. The relation between the operational calculus and the classical control theory is discussed. The contact between control theory and mathematics became more and more wider and deeper especially after the emergence of modern control theory in 1960. Some specific aspects of the mathematical problems posed by control theory are reviewed. Possible future directions of the mathematics/control interface is described in conjunction with robustness issues of control systems design.

著者

川島 幸之助

出版者

一般社団法人 日本応用数理学会

雑誌

応用数理 (ISSN:24321982)

巻号頁・発行日

vol.4, no.4, pp.365-367, 1994-12-15 (Released:2017-04-08)

著者

室田 一雄

出版者

一般社団法人 日本応用数理学会

雑誌

応用数理 (ISSN:24321982)

巻号頁・発行日

vol.24, no.1, pp.37-40, 2014-03-25 (Released:2017-04-08)

著者

住井 英二郎

出版者

一般社団法人 日本応用数理学会

雑誌

応用数理 (ISSN:24321982)

巻号頁・発行日

vol.17, no.4, pp.280-290, 2007-12-26 (Released:2017-04-08)

参考文献数

15

---

This survey presents Abadi and Gordon's spi-calculus, which is a "process calculus" (i.e., a formal language of concurrent computation) for the verification of "cryptographic protocols" (i.e., procedures for secure communication in computer networks). First, we present process calculi before the spi-calculus (CCS and the pi-calculus), introducing the notion of reaction relation and structural congruence. We then define the spi-calculus and show an example of cryptographic ptotocols, represented as a class of spi-calculus processes. After discussing the formalization of security properties (secrecy and authenticity) and multiple sessions, we conclude by referring to generalizations of the spi-calculus (Abadi and Fournet's applied pi-calculus, and a recent result by Bruno Blanchet).