I lived in Randwick for a few years in the 2010s. When I felt tired, sad, or stressed, I often went to the beaches in the evening to clear my mind. On sunny weekends, I enjoyed walking from Coogee to Bondi. I did not swim, but I watched beach life from a distance and enjoyed …
Suspected Disinformation About Crimes by Foreigners in Japan
This TV news segment and Prof. Shunsuke Tanabe (ē°č¾ŗäæä») of Waseda University appear to have taken advantage of the Covid pandemic to promote the myth that the crime rates among Japanese and non-Japanese are the same. A Canadian media, called Japan Media Review, propagated this myth into the English language sphere. (https://youtu.be/6sQBcrjijj8?t=540) They managed to …
Continue reading Suspected Disinformation About Crimes by Foreigners in Japan
Proof Summit 2025
š Proof Summit 2025 ā Completed! We're happy to share that Proof Summit 2025 wrapped up last week with nearly 30 participants packing the seminar room at NII. The event featured lively discussions across academia, industry, and the hobbyist community.š§ Proof Summit is a Japanese semi-academic theorem proving event, revived this year after the long …
The Lost Decades and the Vanished Ones
Note: This post meanders across topics ā from linguistics to economic history to personal memory. It is neither a scholarly essay nor a comprehensive analysis. Iām not a historian, economist, sociologist, linguist, legal expert, or scholar of genocide studies. This is simply a personal reflection, shaped by lived experience, informal learning, and casual observation. If you …
Can aĀ ToriiĀ Speak for Japan?
A little while ago, I visited the Japanese garden in Prague. It features a kare-sansui (dry landscape garden), and apparently, in May, thereās also a bonsai exhibition organized by the Czech Bonsai Association. For signage, they used the symbol of a Shinto torii gate. ā©ļø I donāt know why a torii was chosen to represent …
Acquisition, Processing, and Dissemination of Information
For a while, I plan to consciously adjust how I handle information.This isn't a sudden decision but a judgment based on specific experiences and accumulated reasoning over the past few years. However, due to various circumstances, I will describe it somewhat vaguely without detailing specific experiences. On Acquiring Information: Avoid sensational sources: Prolonged exposure to …
Continue reading Acquisition, Processing, and Dissemination of Information
Marriage registration in Japan
Hereās a personal update: Iām back in Japan and have submitted my marriage registration with the love of my life! ā¤ļøNo, sorry, there was a typo. I have submitted a request for non-acceptance of marriage registration in Japan so that others cannot marry me without my consent. š¦ I know. This is already weird. Let …
Renting vs. Owning in the UK: A Personal Reflection
During my two and a half years living in Cambridge and working for an IT company, I had many opportunities to talk with well-educated people and seemingly well-off individuals in the information and communication sectors. Strangely enough, almost all of them were homeowners or hoping to be. Even those who were renting at the time …
Continue reading Renting vs. Owning in the UK: A Personal Reflection
WAIT2024
I am pleased to report the successful conclusion of the 5th International Workshop on Automated (Co)Inductive Theorem Proving (WAIT2024), held in Nancy, France, and collocated with IJCAR2024.This event featured a series of compelling talks, notably a theoretical presentation by Dr. Stefan Hetzl, praised for its clarity and accessibility, even for those with limited theoretical backgrounds.We …
The 5th International Workshop on Automated (Co)Inductive Theorem Proving (WAIT2024)
We're thrilled to announce that our proposal for the 5th International Workshop on Automated (Co)Inductive Theorem Proving (WAIT2024) has been officially accepted for IJCAR 2024! For more information, visit the website: WAIT2024
United Reasoning 