Rchr
J-GLOBAL ID：201301051285639071
Update date: Aug. 31, 2020
Hirai Yoichi
Hirai Yoichi
Contact this researcher
You can send email directly to the researcher.
Affiliation and department：
National Institute of Advanced Industrial Science and Technology
About National Institute of Advanced Industrial Science and Technology
Search "National Institute of Advanced Industrial Science and Technology"
Job title：
researcher
Homepage URL (1)：
https://yoichihirai.com
MISC (5)：
Yoichi Hirai. A lambda calculus for Gödel-Dummett logic capturing waitfreedom. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2012. 7294. 151-165
Yoichi Hirai, Kazuhiko Yamamoto. Balancing weight-balanced trees. JOURNAL OF FUNCTIONAL PROGRAMMING. 2011. 21. 3. 287-307
ONO Kosuke, HIRAI Yoichi, TANABE Yoshinori, NODA Natsuko, HAGIYA Masami. Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. Lect Notes Comput Sci. 2011. 7041. 350-365
HIRAI Yoichi. An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory. Lect Notes Comput Sci. 2010. 6355. 272-289
平井洋一. 分散プログラムを形式的証明から抽出する. 日本ソフトウエア科学会大会講演論文集(CD-ROM). 2009. 26th. ROMBUNNO.4C-2
Education (1)：
2010 - 2013 The University of Tokyo Graduate School of Information Science and Technology Dept. of Computer Science
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
