Hirotoshi Yasuoka

Learn More
Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the guessing entropy, and channel capacity. This paper investigates the hardness and possibilities of precisely checking and inferring quantitative information flow according to such definitions.(More)
Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the guessing entropy, belief, and channel capacity. This paper investigates the hardness of precisely checking the quantitative information flow of a program according to such definitions. More(More)
We employ Clarkson and Schneider’s “hyperproperties” to classify various verification problems of quantitative information flow. The results of this paper unify and extend the previous results on the hardness of checking and inferring quantitative information flow. In particular, we identify a subclass of liveness hyperproperties, which we call(More)
This paper introduces a framework for inference of timed temporal logic properties from data. The dataset is given as a finite set of pairs of finite-time system traces and labels, where the labels indicate whether the traces exhibit some desired behavior (e.g., a ship traveling along a safe route). We propose a decision-tree based approach for learning(More)
The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed by Boyland for checking the determinism of parallel reads in multi-thread programs, extend the capability calculus by extending the capabilities to range over the rational numbers.(More)
We report a microscopic investigation of multipolar order parameters in the ordered state of NpO2 conducted via 17O NMR on a single crystal. From the angular dependence of hyperfine fields at 17O nuclei, we have obtained clear evidence for the appearance of field-induced antiferro-octupolar as well as field-induced antiferro-dipolar moments below T0 = 26 K.(More)
In order to elucidate the nature of the exotic ordered phase of NpO2 below T(0)=26 K, we have initiated the first 17O-NMR measurements on this system. From the 17O-NMR spectrum, the occurrence of two inequivalent oxygen sites has been confirmed below T0. It has also been shown that the characteristic features of the hyperfine interaction at the oxygen sites(More)
The nuclear spin-lattice relaxation rates 1 / T I were found to be independent of temperature in the paramagnetic states of various kinds of metallic magnets. It has been ascertained from quantitative analyses that the values of 1 / Ti in the weak itenerant ferromagnets and the localized moment systems were explained by the SCR and the HBEN theories of spin(More)
The ^{181}Ta quadrupole resonance [nuclear quadrupole resonance (NQR)] technique is utilized to investigate the microscopic magnetic properties of the Weyl semimetal TaP. We find three zero-field NQR signals associated with the transition between the quadrupole split levels for Ta with I=7/2 nuclear spin. A quadrupole coupling constant, ν_{Q}=19.250  MHz,(More)
Qu Knight shift measurements have been made in the normal state of superconductors YBa2Cu30a; (sc = 6.48 and 6.98) and in the paramagnetic state of the related material CuO. The K x plot analysis has been made, for the first time, for the Cu NMR in the high Tc oxide and CuO. The results show quite characteristic features of the local electronic states of(More)
  • 1