Zobrazeno 1 - 10
of 514
pro vyhledávání: '"TANAKA, Hiromi"'
Autor:
Tanaka, Hiromi
We investigate the non-elementary computational complexity of a family of substructural logics without contraction. With the aid of the technique pioneered by Lazi\'c and Schmitz (2015), we show that the deducibility problem for full Lambek calculus
Externí odkaz:
http://arxiv.org/abs/2201.02496
Autor:
Yamamoto, Sayaka, Matsumoto, Ryo, Adachi, Shintaro, Terashima, Kensei, Tanaka, Hiromi, Irifune, Tetsuo, Takeya, Hiroyuki, Takano, Yoshihiko
Layered ternary transition-metal chalcogenides have been focused as a vein of exploration for superconductors. In this study, TiGeTe$_{6}$ single crystals were synthesized and characterized by structural and valence state analyses and electrical tran
Externí odkaz:
http://arxiv.org/abs/2105.04777
Three growth methods were tested for producing high-transition temperature superconducting Bi$_2$Sr$_2$Ca$_{n-1}$Cu$_n$O$_{2n+4+{\delta}}$ whiskers, employing different ways to focus a compressive stress and size effect of the precursors. First, ther
Externí odkaz:
http://arxiv.org/abs/2104.01602
Autor:
Matsumoto, Ryo, Hou, Zhufeng, Adachi, Shintaro, Yamamoto, Sayaka, Tanaka, Hiromi, Takeya, Hiroyuki, Irifune, Tetsuo, Terakura, Kiyoyuki, Takano, Yoshihiko
Layered transition-metal chalcogenides (Zr,Hf)GeTe$_{4}$ were screened out from database of Atomwork as a candidate for pressure-induced superconductivity due to their narrow band gap and high density of state near the Fermi level. The (Zr,Hf)GeTe$_{
Externí odkaz:
http://arxiv.org/abs/2006.16873
Autor:
Tanaka, Hiromi
In our previous work, we proposed the logic obtained from full non-associative Lambek calculus by adding a sort of linear-logical modality. We call this logic non-associative non-commutative intuitionistic linear logic ($\mathbf{NACILL}$, for short).
Externí odkaz:
http://arxiv.org/abs/2003.01501
Autor:
Yamamoto, Sayaka, Matsumoto, Ryo, Adachi, Shintaro, Takano, Yoshihiko, Muto, Hiroyuki, Tanaka, Hiromi
Using stress-controlled amorphous precursors, we have successfully grown large $Bi_{2}$$Sr_{2}$$Ca_{\textit{n}-1}$$Cu_{\textit{n}}$$O_{\textit{y}}$ (Bi-based) high-transition temperature superconducting whiskers. Especially, under a high compressive
Externí odkaz:
http://arxiv.org/abs/1911.00224
Autor:
Tanaka, Hiromi
We introduce a non-associative and non-commutative version of propositional intuitionistic linear logic, called propositional non-associative non-commutative intuitionistic linear logic (NACILL for short). We prove that NACILL and any of its extensio
Externí odkaz:
http://arxiv.org/abs/1909.13444
High-transition temperature superconducting whiskers of Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+{\delta}}$ were successfully grown from pulverized amorphous precursors. The obtained whiskers revealed a typical composition and diffraction patterns of a superc
Externí odkaz:
http://arxiv.org/abs/1909.00304
Autor:
Matsumoto, Ryo, Sadki, El Hadi S., Tanaka, Hiromi, Yamamoto, Sayaka, Adachi, Shintaro, Takeya, Hiroyuki, Takano, Yoshihiko
The deposition of boron-doped amorphous carbon thin films on SiO2 substrate was achieved via a focused ion beam-assisted chemical vapor deposition of triphenyl borane (C18H15B) and triphenyl borate (C18H15BO3). The existence of boron in the deposited
Externí odkaz:
http://arxiv.org/abs/1908.09273
Autor:
Matsumoto, Ryo, Adachi, Shintaro, Sadki, El Hadi S., Yamamoto, Sayaka, Tanaka, Hiromi, Takeya, Hiroyuki, Takano, Yoshihiko
A direct patterning technique of gallium-irradiated superconducting silicon has been established by focused gallium-ion beam without any mask-based lithography process. The electrical transport measurements for line and square shaped patterns of gall
Externí odkaz:
http://arxiv.org/abs/1908.09272