Skip to main content
Japanese Language
yhirai's user avatar
yhirai's user avatar
yhirai's user avatar
yhirai
  • Member for 13 years, 6 months
  • Last seen more than 7 years ago
  • Tsukuba-shi, Japan
Profile Activity
Stats
636
reputation
84k
reached
7
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
5
bronze badges
Top tags
View all tags
23
Score
3
Posts
43
Posts %
14
Score
1
Posts
14
Posts %
14
Score
1
Posts
14
Posts %
14
Score
1
Posts
14
Posts %
11
Score
1
Posts
14
Posts %
10
Score
2
Posts
29
Posts %
Top posts
answer
14
The many ways to write {かっこいい}
Jun 7, 2011
answer
11
What kind of Japanese is this?
Apr 18, 2014
answer
7
Is this seat being chased, or is the person in it being chased from it?
Apr 17, 2014
answer
6
What to say after someone sneezes
Jun 7, 2011
answer
6
How to thank somebody for their hospitality?
Apr 15, 2014
answer
3
Is answering with simple ない grammatically correct, when saying I physically don't possess some object
Apr 15, 2014
answer
2
Why 罪人＝犯罪者のこと、not just 犯罪者？
Apr 15, 2014
Top network posts
View all network posts
18
Is there a reasonable automated proof system for TCS theorems?
15
How to define a function inductively on two arguments in Coq?
15
What is the theoretical basis of imperative programming?
13
Proof assistant for writing mathematics
9
How should I think about proof nets?