meta user
network profile
| bio | website | hagi.is.s.u-tokyo.ac.jp/~yh |
|---|---|---|
| location | Tokyo, Japan | |
| age | 28 | |
| visits | member for | 2 years, 9 months |
| seen | Apr 6 at 12:35 | |
| stats | profile views | 63 |
Studying application of intuitionistic modal logic to computation.
|
Theoretical Computer Science | 703 rep | 420 |
|
Japanese Language & Usage | 296 rep | 12 |
|
Area 51 | 151 rep | |
|
Bitcoin | 121 rep | 2 |
|
Stack Overflow | 118 rep | 3 |
This user has no active bounties
76 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 71 | up | 40 | question | ||
| 5 | down | 36 | answer | ||
