Computer Science
xuq01
  • Member for 4 years, 11 months
  • Last seen more than a month ago
  • Japan
Profile Activity
Stats
1,150
reputation
13k
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.
8
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 %
11
Score
2
Posts
11
Posts %
11
Score
2
Posts
11
Posts %
7
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
45
Do any programming languages use general recursive functions as their basis?
Jul 30 '18
6
What are the concequences of the unit type and the unit value being the same?
Jul 14 '18
6
How CompCert "proves" different things in its codebase
Jun 29 '18
5
An example of something you can formally verify with proofs in Software Development
Jun 23 '18
4
What is a fixpoint?
Jun 25 '17
4
Can String be a subtype of Character in a programming language?
May 14 '17
3
What does it mean that a let-binding can be treated polymorphically, only if its right-hand side is a syntactic value?
Sep 4 '19
3
The first Turing machine
Dec 20 '18
3
Given a Turing machine M, is there a TM that computes the number of states M has?
Jun 21 '18
3
Introduction to type theory for a beginner?
May 4 '18
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.