Yoichi Hirai (平井洋一)

contact information

• mail: yh@lyon.is.s.u-tokyo.ac.jp
• Friendfeed
• blog (in Japenese)
• twitter@pirapira

phone mail: ktai x pira.jp

prizes, grants, scholarships

• 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: An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory (presented in LPAR-16) 2010 paper (PDF) (original version to be available at www.springerlink.com) slide (large fonts: adapted to the long room).
• 平井洋一「逐次一貫性下の知識伝達を表す直観主義様相論理」(PPL2010 カテゴリ1) 論文(pdf) スライド(pdf)

theses

• Yoichi Hirai: An Intuitionistic Epistemic Logic for Asynchronous Communication, Master's Thesis, 2010 (pdf).

unrefereed

• 平井洋一「分散プログラムを形式的証明から抽出する」 日本ソフトウェア科学会第26回大会で当日配布した修正版(pdf)． (スライド(pdf))
• 平井洋一「線形論理に基づく論理式=型=プロトコルの言語」(日本ソフウェア科学会大会2008)

talks

• 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

• NASSLLI2010 in Indianapolis
• 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

an ancient top page: piraspace