研究者

J-GLOBAL ID：201301051285639071 更新日: 2020年08月31日

平井洋一

Hirai Yoichi

所属機関・部署：
ホームページ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

学歴 (1件)：

2010 - 2013 東京大学大学院情報理工学系研究科コンピュータ科学専攻

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM