Yoichi Hirai (平井洋一)
contact information
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
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
incomplete.
teaching experiences
misc
an ancient top page: piraspace