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"

resume

contact information

• mail: yh@lyon.is.s.u-tokyo.ac.jp
• Friendfeed
• blog (in Japenese)
• @pirapira at twitter
• now in Amsterdam, visiting ILPS

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

• Yoichi Hirai: A Lambda Calculus for Goedel-Dummett Logic Capturing Waitfreedom, FLOPS 2012, to appear (draft).
• 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.
• Yoichi Hirai and Kazuhiko Yamamoto: Balancing Weight-Balanced Trees. Journal of Functional Programming, volume 21, issue 03, pp. 287-307. 2011. (project page, local PDF)
• 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

• A. Facchini, Y. Hirai, M. Marx, E. Shekhernov: Containment for higher order tree patterns, FOX Closing Event, 2012.
• 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.

• FOX Closing Event
• MAP2012
• 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
• 情報処理技術者試験 データベーススペシャリスト試験対策 研修講師

an ancient top page: piraspace