Yoichi Hirai (平井洋一)
interests
- Computation and some logics
- Shared memory scheduling as Kripke models of intermediate logics
- Becoming a "convenience logic researcher" in the sense of "convenience stores"
contact information
- mail: yh@lyon.is.s.u-tokyo.ac.jp
- Friendfeed
- blog (in Japenese)
- @pirapira at twitter
phone mail: ktai x pira.jp
prizes, grants and distinctions
- JSPS Research Fellowships for Young Scientists. 日本学術振興会特別研究員DC, 2011--2013.
- Dean's Award of Graduate School of Information Science and
Technology, The University of Tokyo,
東京大学大学院 情報理工学系研究科 研究科長賞, 2010. - Classified among the 20 best candidates in Japanese Mathematical Olympiad. 2002.
publication
refereed
- Kosuke Ono, Yoichi Hirai, Masami Hagiya, Natsuko Noda and Yoshinori Tanabe: Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications, SEFM'11, 2011, to appear
- Yoichi Hirai and Kazuhiko Yamamoto: Balancing Weight-Balanced Trees. Journal of Functional Programming, volume 21, issue 03, pp. 287-307. 2011. (project page)
-
Yoichi Hirai: An Intuitionistic Epistemic Logic for Sequential
Consistency on Shared Memory.
LPAR-16. 2010.
paper (PDF) (The original version is available at www.springerlink.com)
slide - 平井洋一「逐次一貫性下の知識伝達を表す直観主義様相論理」(PPL2010 カテゴリ1) 論文(pdf) スライド(pdf)
theses
- Yoichi Hirai: An Intuitionistic Epistemic Logic for Asynchronous Communication, Master's Thesis, 2010 (pdf).
unrefereed
- 平井洋一「分散プログラムを形式的証明から抽出する」 日本ソフトウェア科学会第26回大会で当日配布した修正版(pdf)． (スライド(pdf))
- 平井洋一「線形論理に基づく論理式=型=プロトコルの言語」(日本ソフウェア科学会大会2008)
presentations
- Yoichi Hirai wants to be a traveling merchant at student session of OPLSS 2011.
- Yoichi Hirai: Hyper-lambda calculus for waitfree computation: theory and implementation at ACAN workshop, 2011.
- Yoichi Hirai: Determining the Valid Parameters for the Weight-Balanced Tree Algorithm at The 4th DIKU-IST Joint Workshop, 2011.
- poster (Japanese) for an interview of DC2 fellowship of JSPS
- Yoichi Hirai (speaker), Kazuhiko Yamamoto: Balance Condition on Weight-Balanced Trees at TPP'10
- Yoichi Hirai: Disjunction Property and Finite Model Property For an Intuitionistic Epistemic Logic (NASSLLI2010 student session) (slide (pdf), paper).
- 平井洋一「トートロジーの中で代入極小でない中間論理の公理」(PPL 2009, カテゴリ3)
- 平井洋一「線形論理の証明としてメモリを書く」(CSCAT 2008) 口頭
- 平井洋一「Prover-skeptic Dialogue for MALL」(SLACS2008)
- 平井洋一「Generalizing Rationalizability in the Modal Mu-Calculus」
- 平井洋一「論理学的にみたゲーム理論のプレイヤー」(東京財団VCASIインフォーマルセミナー)
visited conferences and workshops
incomplete.- OPLSS 2011
- ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics in Kyoto (2011)
- The 4th DIKU-IST Joint Workshop in Tokyo (2011)
- TPP'10 in Nagoya (2010)
- NASSLLI2010 in Indianapolis (2010)
- LPAR-16 in Dakar (2010)
teaching experiences
- Summer 2008: TA for logic excersise class.
- Summer 2009: TA for logic excersise class.
- Summer 2010: TA for logic excersise class.
misc
- Balancing weight-balanced trees project with Kazuhiko Yamamoto
- An error in PostgreSQL found by me.
- The Undecidability Club 決定不能の会
- past: Research assistant at IIJ Innovation Institute
- 情報処理技術者試験 データベーススペシャリスト試験対策 研修講師