Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Nasu, Hayato"'
Autor:
Nasu, Hayato
We present a type theory called fibrational virtual double type theory (FVDblTT) designed specifically for formal category theory, which is a succinct reformulation of New and Licata's Virtual Equipment Type Theory (VETT). FVDblTT formalizes reasonin
Externí odkaz:
http://arxiv.org/abs/2410.06792
Autor:
Hoshino, Keisuke, Nasu, Hayato
We relativise double categories of relations to stable orthogonal factorisation systems. Furthermore, we present the characterisation of the relative double categories of relations in two ways. The first utilises a generalised comprehension scheme, a
Externí odkaz:
http://arxiv.org/abs/2310.19428
Autor:
Usui, Takamasa, Nasu, Hayato, Takahashi, Shingo, Shimizu, Noriyoshi, Nishikawa, T., Yoshimaru, Masaki, Shibata, Hideki, Wada, Makoto, Koike, Junichi
Publikováno v:
IEEE transactions on electron devices. 53(10):2492-2499
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::4fd1027819cb2822b4192b95d99bc893
http://hdl.handle.net/10097/34906
http://hdl.handle.net/10097/34906
Publikováno v:
Proceedings of the International Conference on e-Learning (ICEL); 2013, p199-208, 10p
Autor:
Usui, Takamasa1,2, Nasu, Hayato1,2, Takahashi, Shingo1,3, Shimizu, Noriyoshi1,4, Nishikawa, T.1, Yoshimaru, Masaki1, Shibata, Hideki1,5, Wada, Makoto2,6, Koike, Junichi6
Publikováno v:
IEEE Transactions on Electron Devices. Oct2006, Vol. 53 Issue 10, p2492-2499. 8p. 8 Black and White Photographs, 7 Diagrams, 7 Graphs.