Personal

Last Updated: March 23, 2024

What I really like: Chatting, Reading, Writing, Watching Comedies, Fishing, Playing Board Games (especially Othello), emoji🤭 😎 😤, Billiards, etc.

• Service
  • ICFP 2023 Student Volunteer (September 2023)
  • The History of Science Society of Japan, 70th Annual General Meeting (May 2023)
  • The History of Science Society of Japan, 71st Annual General Meeting (May 2024)
  • Functional Programming Festival Volunteer Staff (June 2025)
  • PLDI 2025 Student Volunteer (June 2025)

Miscellaneous

• The Purpose of this Website
  • My background differs from that of typical computer science students, so I will introduce myself through this website (When I first encountered the terms ‘monad’ and ‘type theory’ during my junior year at university, I initially associated them with Leibniz and Russell🙃 The former has little to do with Leibniz, while the latter was conceived by Russell). Although I also love alone time, as an ambivert, I really enjoy interacting with other people as well. I hope this site, which I created for the first time, will help me to interact with various people in graduate school.
• What I believe are important and am trying to cultivate during graduate studies
  • The various experiences of the last year have made me believe that while knowledge and skills are important, emotional and social intelligence may be even more crucial in conducting research. This includes respecting others, asking for help, maintaining intellectual independence, making a continuous effort, being self-motivated, having a positive attitude, and being adaptable to change.
• Quotes
  • [D]o not follow in my footsteps or in the footsteps of anybody else. Rather make a path of your own choosing, in directions which interest you most at the time. If you feel most comfortable with the established curriculum or the conventional career, I wish you the best of success in it. But if your interests or opportunities lead you in unusual directions, do not be afraid to stray from the general norm. If you think hard how to generalize your earlier learning and experiences, you will profit from them in the most unexpected ways. Everyone in this wide world has a different variety that we all need to foster and develop, to ensure the continued progress of human knowledge, the continuous renewal of our various cultures, and the ultimate prosperity and happiness of our human race. (Tony Hoare, “Stories from a Life in Interesting Times”, 2001)
  • Not only children, but people in general, and scientists in particular, quickly forget what it was like not to know what they now know. That is, once you’ve solved a problem, especially when the solution involved a new approach, it’s difficult to think about the problem in the old way. What was once unknown has become obvious. What once tested the ingenuity of the skilled practitioner is now “an exercise left to the student”. (Michael S. Mahoney, “What Makes History?”, 1996)
  • L. Wittgenstein: “A person caught in a philosophical confusion is like a man in a room who wants to get out but doesn’t know how. He tries the window but it is too high. He tries the chimney but it is too narrow. And if he would only turn around, he would see that the door has been open all the time!” (Norman Malcolm, Ludwig Wittgenstein: A Memoir, 2001, p.44)
  • All the time you’re saying to yourself, “I could do that, but I won’t” – which is just another way of saying that you can’t. (Richard Feynman, Surely You’re Joking, Mr. Feynman!, 1985, p.33)
  • 自分は，そんな世界の意味を云々するほどたいした生きものでないことを，渠は，卑下感をもってでなく，安らかな満足感をもって感じるようになった．そして，そんな生意気をいう前に，とにかく，自分でもまだ知らないでいるに違いない自己を試み展開してみようという勇気が出てきた．躊躇する前に試みよう．結果の成否は考えずに，ただ，試みるために全力を挙げて試みよう．決定的な失敗に帰したっていいのだ．（中島敦，『悟浄出世』）
• 日本語でのご連絡も歓迎です！
• 昔の日本語ブログ