Zobrazeno 1 - 10
of 97
pro vyhledávání: '"Koji Nakazawa"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 164, Iss Proc. CL&C 2014, Pp 63-77 (2014)
We apply an idea originated in the theory of programming languages - monadic meta-language with a distinction between values and computations - in the design of a calculus of cut-elimination for classical logic. The cut-elimination calculus we obtain
Externí odkaz:
https://doaj.org/article/45b30b2bf62b4ab5a27987d9be7eb7a1
Autor:
Koji Nakazawa, Shin-ya Katsumata
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 97, Iss Proc. CL&C 2012, Pp 35-47 (2012)
This paper proposes new mathematical models of the untyped Lambda-mu calculus. One is called the stream model, which is an extension of the lambda model, in which each term is interpreted as a function from streams to individual data. The other is ca
Externí odkaz:
https://doaj.org/article/2fa01b4684fb4f35aefc6b1ab46983a7
Publikováno v:
Mathematical Structures in Computer Science. 32:1015-1027
This paper gives a new proof of confluence for Carraro and Guerrieri’s call-by-value lambda calculus λvσ with permutation rules. We adapt the compositional Z theorem to λvσ.
Publikováno v:
Studia Logica. 109:917-936
This paper applies Dehornoy et al.’s Z theorem and its variant, called the compositional Z theorem, to prove confluence of Parigot’s $$\lambda \mu $$ -calculi extended by the simplification rules. First, it is proved that Baba et al.’s modified
Autor:
Phuong T.M. Nguyen, Shota Fujii, Kazuo Sakurai, Koji Nakazawa, Ngoc Anh T. Doan, Huong T. T. Pham, Shin Takano, Van T. Nguyen, Van T. H. Doan
Publikováno v:
Polymer Journal. 53:481-492
Alpha-mangostin (MGS) is a natural xanthone compound extracted from mangosteen pericarps. It has great potential as an excellent anticancer agent. However, the extremely low solubility of MGS in water seriously impedes its medical application. Previo
Autor:
Yuna Tsuji, Takeshi Morimoto, Takayuki Yuasa, Syohei Hisadomi, Taro Shinoda, Yoshitaka Nakamura, Yuuki Wada, Koji Nakazawa, Harufumi Tsuchiya, Teruaki Enoto
Publikováno v:
Journal of Geophysical Research: Atmospheres. 126
Autor:
Gabriel Diniz, Koji Nakazawa, Daisuke Yonetoku, M. Kubo, Tatsuya Sawano, Takayuki Yuasa, Yuuki Wada, Yoshinori Sato, Tomoo Ushio, Harufumi Tsuchiya, Taro Shinoda, Teruaki Enoto
Publikováno v:
Geophysical Research Letters
Geophysical Research Letters, American Geophysical Union, 2021, 48 (7), pp.e91910. ⟨10.1029/2020GL091910⟩
Geophysical Research Letters, 2021, 48 (7), pp.e91910. ⟨10.1029/2020GL091910⟩
Geophysical Research Letters, American Geophysical Union, 2021, 48 (7), pp.e91910. ⟨10.1029/2020GL091910⟩
Geophysical Research Letters, 2021, 48 (7), pp.e91910. ⟨10.1029/2020GL091910⟩
International audience; During three winter seasons from November 2016 to March 2019, 11 gamma ray glows were detected at a single observation site of our ground based gamma ray monitoring network in Kanazawa, Japan. These events are analyzed with ob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8c923193bd30823ca558900fd0754a8c
https://hal.archives-ouvertes.fr/hal-03455197
https://hal.archives-ouvertes.fr/hal-03455197
Publikováno v:
Scientific Reports, Vol 9, Iss 1, Pp 1-8 (2019)
Scientific Reports
Scientific Reports
Delivering ions and molecules into living cells has become an important challenge in medical and biological fields. Conventional molecular delivery, however, has several issues such as physical and chemical damage to biological cells. Here, we presen
Publikováno v:
Analytical Sciences. 35(1):85-90
A peptide-oligonucleotide conjugate (1) was synthesized by the attachment of FAM, TAMRA, and biotin moieties to a telomere DNA sequence of 5'-TAG GGT TAG GGT TAG GGT TAG GG-3'. This conjugate was induced to be an anti-parallel structure in the presen
Publikováno v:
Programming Languages and Systems ISBN: 9783030890506
Verification of memory safety such as absence of null pointer dereferences and memory leaks in system software is important in practice. O’Hearn’s group proposed a new method of memory safety analysis/verification by modular abstract interpretati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::543319864ab91db7b181eb24a46cd7b1
https://doi.org/10.1007/978-3-030-89051-3_2
https://doi.org/10.1007/978-3-030-89051-3_2