I am a mathematical logician, a computer scientist and a mathematician. I write Mizar articles. I play the violin. I am a reviewer of zbMATH Open.
- Japan
-
13:36
(UTC +09:00) - https://www.researchgate.net/profile/Takao_Inoue
Popular repositories Loading
-
-
-
A-self-made-tutorial-for-GitHub-Flavored-Markdown-GFM
A-self-made-tutorial-for-GitHub-Flavored-Markdown-GFM PublicA self-made tutorial for GitHub Flavored Markdown (GFM)
-
A-self-made-tutorial-for-GitHub-Flavored-Markdown-GFM-and-its-source-codes
A-self-made-tutorial-for-GitHub-Flavored-Markdown-GFM-and-its-source-codes PublicThis is a paper version of A-self-made-tutorial-for-GitHub-Flavored-Markdown-GFM.
-
Kusan-arXiv
Kusan-arXiv PublicKusan arXiv means 'Almost arXiv' in English. Kusan arXiv are words in Hausa language. It mainly collects my preprints.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.