14 citations · 19 across the 5 of their papers we have counts for
5 papers · 1 filter
A Categorical Foundation of Rough Sets
Yoshihiko Kakutani
Rough sets are approximations of concrete sets. The theory of rough sets has been used widely for data-mining. While it is well-known that adjunctions are underlying in rough appro…
Modality via Iterated Enrichment
Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase
This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly…
Calculi for Intuitionistic Normal Modal Logic
Yoshihiko Kakutani
This paper provides a call-by-name and a call-by-value term calculus, both of which have a Curry-Howard correspondence to the box fragment of the intuitionistic modal logic IK. The…
Observational Equivalence Using Schedulers for Quantum Processes
Kazuya Yasuda, Takahiro Kubota, Yoshihiko Kakutani
In the study of quantum process algebras, researchers have introduced different notions of equivalence between quantum processes like bisimulation or barbed congruence. However, th…
Induction by Coinduction and Control Operators in Call-by-Name
Yoshihiko Kakutani, Daisuke Kimura
This paper studies emulation of induction by coinduction in a call-by-name language with control operators. Since it is known that call-by-name programming languages with control o…