Theoretical Computer Science
yhirai's user avatar
yhirai's user avatar
yhirai's user avatar
yhirai
  • Member for 13 years, 3 months
  • Last seen more than 4 years ago
  • Tsukuba-shi, Japan
Profile Activity
Stats
963
reputation
24k
reached
7
answers
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
21
bronze badges
Top tags
View all tags
39
Score
3
Posts
38
Posts %
36
Score
4
Posts
50
Posts %
30
Score
2
Posts
25
Posts %
28
Score
3
Posts
38
Posts %
17
Score
1
Posts
12
Posts %
17
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Score Newest
answer
17
Is there a reasonable automated proof system for TCS theorems?
Mar 2, 2011
question
15
How to define a function inductively on two arguments in Coq?
Sep 30, 2010
answer
15
What is the theoretical basis of imperative programming?
Aug 17, 2010
answer
13
Proof assistant for writing mathematics
Mar 2, 2011
answer
9
How should I think about proof nets?
Jan 24, 2013
answer
6
Eliminating cofix in Coq proof
Sep 2, 2010
answer
4
Forcing an honest behavior
Dec 4, 2010
answer
4
Difference between Strict Consistency and Sequential Consistency
Apr 8, 2011
Top Meta posts
0
2
10
Questions about compilation errors in Coq
Top network posts
View all network posts
15
The many ways to write {かっこいい}
13
What kind of Japanese is this?
9
Is this seat being chased, or is the person in it being chased from it?
9
What is formal verification, and why is it important for smart contracts?
8
What to say after someone sneezes

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.