Stack Exchange

yhirai

Tsukuba-shi, Japan

top accounts reputation activity bookmarks subscriptions

Top Questions

How to define a function inductively on two arguments in Coq?

interactive-proofs proof-assistants coq asked Sep 30 '10 at 9:20

cstheory.stackexchange.com

Is there a bitcoin market for CPU time / memory space / disk space?

cpu marketplace diskspace asked Dec 8 '12 at 6:36

bitcoin.stackexchange.com

Top Answers

Is there a reasonable automated proof system for TCS theorems?

cstheory.stackexchange.com

What is the theoretical basis of imperative programming?

cstheory.stackexchange.com

The many ways to write {かっこいい}

japanese.stackexchange.com

Proof assistant for writing mathematics

cstheory.stackexchange.com

What kind of Japanese is this?

japanese.stackexchange.com

How should I think about proof nets?

cstheory.stackexchange.com

Is this seat being chased, or is the person in it being chased from it?

japanese.stackexchange.com

What is formal verification, and why is it important for smart contracts?

ethereum.stackexchange.com

What to say after someone sneezes

japanese.stackexchange.com

Eliminating cofix in Coq proof

cstheory.stackexchange.com

How to thank somebody for their hospitality?

japanese.stackexchange.com