Register | Log in

[Help]

Learn more about the SAGE-Hindawi Access to Research partnership.

msakai's profile

About me

Username:	msakai
Name:	Masahiro Sakai
Job title:	Not specified
Affiliation:	Not specified
Web page:	http://www.tom.sfc.keio.ac.jp/~sakai/
Joined:	2006-01-30

What I do

Not specified

Interests

Not specified

Recent Activity

2009-06-23

15:48: posted Σモノイド—メタ変数と明示的環境を持つ高階構文 (Σ-Monoids: A Higher-Order Syntax with Metavariables and Environments.)

2009-06-22

16:44: added a note to Parsing expression grammars: a recognition-based syntactic foundation
16:42: posted Parsing expression grammars: a recognition-based syntactic foundation

2009-06-19

16:18: posted Linear Logic and Naive Set Theory

2009-06-14

08:04: posted スコーレムの有限主義
07:40: posted Data types à la carte