Computer Science
xuq01's user avatar
xuq01's user avatar
xuq01's user avatar
xuq01
  • Member for 6 years
  • Last seen more than a month ago
  • Japan
Profile Activity
Stats
1,160
reputation
15k
reached
15
answers
4
questions
Communities
View all
About

Mathematician and theoretical computer scientist in training.

Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
15
bronze badges
Top tags
View all tags
52
Score
5
Posts
26
Posts %
45
Score
1
Posts
5
Posts %
21
Score
8
Posts
42
Posts %
12
Score
2
Posts
11
Posts %
12
Score
2
Posts
11
Posts %
7
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
45
Do any programming languages use general recursive functions as their basis?
Jul 30, 2018
answer
6
An example of something you can formally verify with proofs in Software Development
Jun 23, 2018
answer
6
How CompCert "proves" different things in its codebase
Jun 29, 2018
answer
6
What are the concequences of the unit type and the unit value being the same?
Jul 14, 2018
answer
4
Can String be a subtype of Character in a programming language?
May 14, 2017
answer
4
What is a fixpoint?
Jun 25, 2017
question
3
forall a b, a -> b [duplicate]
Feb 6, 2017
question
3
The underlying type theory of HOL/Isabelle
Jan 13, 2019
question
3
Computability of Kolmogorov complexity in total languages
Jan 23, 2019
answer
3
Introduction to type theory for a beginner?
May 4, 2018
Top network posts
View all network posts
136
How can I convince graduate students in China to not copy/paste from the Internet into their research papers?
86
Why is PhD GPA considered irrelevant?
60
How does the taxi scam work at Luohu station in Shenzhen?
48
Do many Japanese people speak Korean?
31
Have "Brodal search trees" really been implemented for practical use?

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.