Welcome!

Dear all, 

thank you for visiting my homepage. My name is Eitetsu KEN (I have used capital letters for my last name). I am a PhD student of Graduate School of Mathematical Sciences, the University of Tokyo. This page is for exhibiting my academic works and educational activities.

*Please note that this page can be rebuilt dramatically in the future depending on my career and necessity.

*For my Japanese outreach activities, please click here.

The following table shows information given in the whole page:

The all of my English works are available via arXiv. To see the list of my works in arXiv, please click here.

Also, I personally believe that it is meaningful for scholars to supplement their works by giving literatures which were especially helpful for themselves. If you are interested in my case, click here. 

Ken, E. (2024). On some $¥Sigma^{B}_{0}$-formulae generalizing counting principles over $V^{0}$,  Archive for Mathematical Logic, 64, pp.117-158. → arXiv, Open Access

[ A revised version of: Ken, E. (2022). On some $\Sigma^{B}_{0}$-generalizations of the pigeonhole and the modular counting principles over $V^{0}$, the University of Tokyo (master's thesis) ]

三浦 尭之., 権 英哲., 長谷川 聡. (2021). ReLUニューラルネットワークにおけるIntegrated GradientのVanilla Gradientへの帰着. 研究報告コンピュータセキュリティ, 2021-CSEC-93(26), 1-8. →情報処理学会

Ken, E. (2024). Games with backtracking options corresponding to the ordinal analysis of PA, arXiv:2406.17315 (preprint) → arXiv

Ken, E. & Narusevych, M. (2024). Ajtai's theorem for $T^{2}_{2}(R)$ and pebble games with backtracking, arXiv:2406.10924 (preprint) → arXiv

Bando, K., Ken, E., & Onuki, H. (2024). On the Complexity of Interpolation by Polynomials with Non-negative Real Coefficients, arXiv:2402.00409v1 (preprint) →arXiv

Ken, E., & Kuroda, S. (2023). On matrix rank function over bounded arithmetics, arXiv:2310.05982 (preprint) →arXiv

Ken, E., Tojo, K., Natori, M., & Watanabe, K. (2021). On principal types and well-foundedness of the cumulativity relation in ECC, arXiv:2009.03486v4 (preprint) →arXiv

Bando, K., Ken, E., & Morikawa, K. (2020). Foundations of Temperature Theory, arXiv:2009.02876v3 (preprint) →arXiv

Some of helpful literatures

Click here for the list.

Please feel free to contact me. My email address can be obtained by the following, eliminating all the occurrences of the 8th and the 9th last alphabets (in terms of lexicographic order). Ignore the spaces:

I strongly welcome your feedbacks, suggestions and questions for my papers, educational activities, and websites.

Yours sincerely,

Eitetsu KEN