Yutaka
@yutaka-en.bsky.social
Computer Scientist at the Czech Academy of Sciences
https://yutakang.github.io
https://www.youtube.com/@unitedreasoning
https://github.com/data61/PSL
https://yutakang.github.io
https://www.youtube.com/@unitedreasoning
https://github.com/data61/PSL
Pinned
Yutaka
@yutaka-en.bsky.social
· Jan 2
Happy New Year! 🎉
In Japan, 2026 is said to be the Year of the Horse.
But for computer scientists, let’s make it the year of AI × Proof × Verification!
aipv2026.github.io
In Japan, 2026 is said to be the Year of the Horse.
But for computer scientists, let’s make it the year of AI × Proof × Verification!
aipv2026.github.io
False information alert ⚠️
This article by Unseen Japan is based on factually incorrect claims.
unseen-japan.com/japan-foreig...
This article by Unseen Japan is based on factually incorrect claims.
unseen-japan.com/japan-foreig...
How Many Foreigners in Japan Actually Commit Crimes? - Unseen Japan
Some online allege that foreigners in Japan commit more crimes than Japanese citizens. But what do the statistics say?
unseen-japan.com
February 1, 2026 at 2:46 PM
False information alert ⚠️
This article by Unseen Japan is based on factually incorrect claims.
unseen-japan.com/japan-foreig...
This article by Unseen Japan is based on factually incorrect claims.
unseen-japan.com/japan-foreig...
Japan is voting again.
Some politicians deserve to be replaced.
So does our system.
unitedreasoning.wordpress.com/2026/01/25/c...
Some politicians deserve to be replaced.
So does our system.
unitedreasoning.wordpress.com/2026/01/25/c...
Can Japan Escape Its Two-Party Electoral Trap?
Japan is preparing for yet another national election. I feel slightly more concerned this time than I was during the previous election last summer. This time we are voting for the House of Represen…
unitedreasoning.wordpress.com
January 25, 2026 at 2:01 AM
Japan is voting again.
Some politicians deserve to be replaced.
So does our system.
unitedreasoning.wordpress.com/2026/01/25/c...
Some politicians deserve to be replaced.
So does our system.
unitedreasoning.wordpress.com/2026/01/25/c...
The Need for Transparency and Religious Neutrality in Japanese Academia.
Time is running out!⌛️
unitedreasoning.wordpress.com/2026/01/18/t...
Time is running out!⌛️
unitedreasoning.wordpress.com/2026/01/18/t...
The Need for Transparency and Religious Neutrality in Japanese Academia
This article follows “War on Misinformation Surrounding Japanese Academia (Update).” While the previous piece focused on concrete cases of false information, the underlying institutional …
unitedreasoning.wordpress.com
January 19, 2026 at 9:49 AM
The Need for Transparency and Religious Neutrality in Japanese Academia.
Time is running out!⌛️
unitedreasoning.wordpress.com/2026/01/18/t...
Time is running out!⌛️
unitedreasoning.wordpress.com/2026/01/18/t...
War on False Information about Crime Statistics Disseminated by Academics (Update) 🔥
unitedreasoning.wordpress.com/2026/01/18/w...
unitedreasoning.wordpress.com/2026/01/18/w...
War on Misinformation Surrounding Japanese Academia (Update)
Another small win against false information! 🎉🥳🎉 The Japan Fact-check Center (JFC) has informed me that they plan to correct their article and retract their fact-check decision that was circulated…
unitedreasoning.wordpress.com
January 18, 2026 at 5:06 PM
War on False Information about Crime Statistics Disseminated by Academics (Update) 🔥
unitedreasoning.wordpress.com/2026/01/18/w...
unitedreasoning.wordpress.com/2026/01/18/w...
Another small win against false information!
The Japan Fact-check Center (JFC) informed me that they plan to correct their article and retract their fact-check decision that was circulated in July 2025 during the previous House of Councillors election.
For details, let’s wait for their correction.
The Japan Fact-check Center (JFC) informed me that they plan to correct their article and retract their fact-check decision that was circulated in July 2025 during the previous House of Councillors election.
For details, let’s wait for their correction.
January 17, 2026 at 5:36 PM
Another small win against false information!
The Japan Fact-check Center (JFC) informed me that they plan to correct their article and retract their fact-check decision that was circulated in July 2025 during the previous House of Councillors election.
For details, let’s wait for their correction.
The Japan Fact-check Center (JFC) informed me that they plan to correct their article and retract their fact-check decision that was circulated in July 2025 during the previous House of Councillors election.
For details, let’s wait for their correction.
Yet another seismic shift in Japanese politics is unfolding.
It seems this was planned well in advance, and the wirepuller behind the maneuver seems to be a well-seasoned politician whom we thought had already lost his influence years ago.
What a dramatic turn! 🤯
www3.nhk.or.jp/nhkworld/en/...
It seems this was planned well in advance, and the wirepuller behind the maneuver seems to be a well-seasoned politician whom we thought had already lost his influence years ago.
What a dramatic turn! 🤯
www3.nhk.or.jp/nhkworld/en/...
CDP, Komeito to form new party for snap Japan election | NHK WORLD-JAPAN News
Two opposition parties in Japan have agreed to form a new party in the Lower House ahead of a possible snap election next month.
www3.nhk.or.jp
January 15, 2026 at 11:35 PM
Yet another seismic shift in Japanese politics is unfolding.
It seems this was planned well in advance, and the wirepuller behind the maneuver seems to be a well-seasoned politician whom we thought had already lost his influence years ago.
What a dramatic turn! 🤯
www3.nhk.or.jp/nhkworld/en/...
It seems this was planned well in advance, and the wirepuller behind the maneuver seems to be a well-seasoned politician whom we thought had already lost his influence years ago.
What a dramatic turn! 🤯
www3.nhk.or.jp/nhkworld/en/...
Happy New Year! 🎉
In Japan, 2026 is said to be the Year of the Horse.
But for computer scientists, let’s make it the year of AI × Proof × Verification!
aipv2026.github.io
In Japan, 2026 is said to be the Year of the Horse.
But for computer scientists, let’s make it the year of AI × Proof × Verification!
aipv2026.github.io
January 2, 2026 at 9:49 AM
Happy New Year! 🎉
In Japan, 2026 is said to be the Year of the Horse.
But for computer scientists, let’s make it the year of AI × Proof × Verification!
aipv2026.github.io
In Japan, 2026 is said to be the Year of the Horse.
But for computer scientists, let’s make it the year of AI × Proof × Verification!
aipv2026.github.io
⚠️ Potential False Information Alert!
In the video clip, Ms. Umemura does not argue "cremation is Japanese culture.” Rather, she states that some Japanese nationals may prefer burial in order to “return” to Japanese soil, but choose cremation out of respect for social harmony and public hygiene.
In the video clip, Ms. Umemura does not argue "cremation is Japanese culture.” Rather, she states that some Japanese nationals may prefer burial in order to “return” to Japanese soil, but choose cremation out of respect for social harmony and public hygiene.
November 29, 2025 at 5:59 PM
⚠️ Potential False Information Alert!
In the video clip, Ms. Umemura does not argue "cremation is Japanese culture.” Rather, she states that some Japanese nationals may prefer burial in order to “return” to Japanese soil, but choose cremation out of respect for social harmony and public hygiene.
In the video clip, Ms. Umemura does not argue "cremation is Japanese culture.” Rather, she states that some Japanese nationals may prefer burial in order to “return” to Japanese soil, but choose cremation out of respect for social harmony and public hygiene.
Excited to host Dr. Andreas Lööw (Royal Holloway, UoL) at CIIRC CTU Prague for AI & Reasoning Winter Seminar.
Talk: Verilog verification & semantics for interactive theorem proving
Hosted by Yutaka Nagashima (ICS, Czech Academy of Sciences).
Talk: Verilog verification & semantics for interactive theorem proving
Hosted by Yutaka Nagashima (ICS, Czech Academy of Sciences).
November 25, 2025 at 5:35 PM
Excited to host Dr. Andreas Lööw (Royal Holloway, UoL) at CIIRC CTU Prague for AI & Reasoning Winter Seminar.
Talk: Verilog verification & semantics for interactive theorem proving
Hosted by Yutaka Nagashima (ICS, Czech Academy of Sciences).
Talk: Verilog verification & semantics for interactive theorem proving
Hosted by Yutaka Nagashima (ICS, Czech Academy of Sciences).
Do you want to know how Japan "achieved" parity in crime rates between Japanese and non-Japanese by using COVID-19?
What happened there may surprise you. 🙄
unitedreasoning.wordpress.com/2025/11/23/s...
What happened there may surprise you. 🙄
unitedreasoning.wordpress.com/2025/11/23/s...
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-Japan…
unitedreasoning.wordpress.com
November 23, 2025 at 10:51 PM
Do you want to know how Japan "achieved" parity in crime rates between Japanese and non-Japanese by using COVID-19?
What happened there may surprise you. 🙄
unitedreasoning.wordpress.com/2025/11/23/s...
What happened there may surprise you. 🙄
unitedreasoning.wordpress.com/2025/11/23/s...
⚠️ Warning: False information!
The account @VNiquet, which claims to represent Dr. Valérie Niquet at the Foundation for Strategic Research, misreads the article and contains remarks that could be seen as defamatory toward Mr. Shigematsu and disparaging toward Japanese people.
x.com/VNiquet/stat...
The account @VNiquet, which claims to represent Dr. Valérie Niquet at the Foundation for Strategic Research, misreads the article and contains remarks that could be seen as defamatory toward Mr. Shigematsu and disparaging toward Japanese people.
x.com/VNiquet/stat...
November 21, 2025 at 2:00 AM
⚠️ Warning: False information!
The account @VNiquet, which claims to represent Dr. Valérie Niquet at the Foundation for Strategic Research, misreads the article and contains remarks that could be seen as defamatory toward Mr. Shigematsu and disparaging toward Japanese people.
x.com/VNiquet/stat...
The account @VNiquet, which claims to represent Dr. Valérie Niquet at the Foundation for Strategic Research, misreads the article and contains remarks that could be seen as defamatory toward Mr. Shigematsu and disparaging toward Japanese people.
x.com/VNiquet/stat...
Isn't it shocking to hear Japanese people declare, loud and clear, that they do not want Japan to become like Europe? This sentiment is pervasive; I even hear this narrative from a suspicious academic who distorts government statistics to establish a favourable view on immigrants.
November 2, 2025 at 12:58 AM
Isn't it shocking to hear Japanese people declare, loud and clear, that they do not want Japan to become like Europe? This sentiment is pervasive; I even hear this narrative from a suspicious academic who distorts government statistics to establish a favourable view on immigrants.
A seismic shift in Japanese politics.
The new PM is dubbed “Japan’s Thatcher.” I’m hoping for “Japan’s Lee Kuan Yew.”
In the end, though, it’s up to us: we need to be more productive. 😅🗾
The new PM is dubbed “Japan’s Thatcher.” I’m hoping for “Japan’s Lee Kuan Yew.”
In the end, though, it’s up to us: we need to be more productive. 😅🗾
October 23, 2025 at 8:49 AM
A seismic shift in Japanese politics.
The new PM is dubbed “Japan’s Thatcher.” I’m hoping for “Japan’s Lee Kuan Yew.”
In the end, though, it’s up to us: we need to be more productive. 😅🗾
The new PM is dubbed “Japan’s Thatcher.” I’m hoping for “Japan’s Lee Kuan Yew.”
In the end, though, it’s up to us: we need to be more productive. 😅🗾
Aww... Lately I’ve seen a wave of false or misleading claims about foreigners’ crime rates in Japan.
The statistical manipulations are so blatant it’s hard to see them as innocent mistakes.
The statistical manipulations are so blatant it’s hard to see them as innocent mistakes.
October 1, 2025 at 8:49 AM
Aww... Lately I’ve seen a wave of false or misleading claims about foreigners’ crime rates in Japan.
The statistical manipulations are so blatant it’s hard to see them as innocent mistakes.
The statistical manipulations are so blatant it’s hard to see them as innocent mistakes.
What do you think about this string of characters: "ヨ!"?
It's actually a very casual greeting in Japanese: "Yo!"
😜
It's actually a very casual greeting in Japanese: "Yo!"
😜
September 16, 2025 at 7:45 AM
What do you think about this string of characters: "ヨ!"?
It's actually a very casual greeting in Japanese: "Yo!"
😜
It's actually a very casual greeting in Japanese: "Yo!"
😜
Japan has strongly condemned Israel’s strike on Qatari soil in Doha and has expressed its solidarity with Qatar.
www.mofa.go.jp/press/releas...
www.mofa.go.jp/press/releas...
September 15, 2025 at 8:00 AM
Japan has strongly condemned Israel’s strike on Qatari soil in Doha and has expressed its solidarity with Qatar.
www.mofa.go.jp/press/releas...
www.mofa.go.jp/press/releas...
The Chikyu no Arukikata series, often described as the Japanese equivalent of Lonely Planet, has released a guidebook on traveling in the Habsburg Empire.
www.arukikata.co.jp/guidebook/31...
www.arukikata.co.jp/guidebook/31...
Ｈ０２ ハプスブルク帝国
●基本情報本書の使い方「オーストリア＝ハンガリー二重帝国」のジェネラルインフォメーションハプスブルク帝国の歩き方登場人物ハプスブルク帝国年表ハプスブルク帝国の皇帝たち神聖ローマ帝国とはハプスブルク帝国とヨーロッパの歴史や文化を知るための基礎知識●第1章 ハプスブルク帝国の歴史をたどる〈1〉黎明期神聖ローマ帝国の誕生ハプスブルク家の登場マルヒフェルトの戦い黒死病パンデミック皇帝vsハプスブルク家当…
www.arukikata.co.jp
September 4, 2025 at 7:45 AM
The Chikyu no Arukikata series, often described as the Japanese equivalent of Lonely Planet, has released a guidebook on traveling in the Habsburg Empire.
www.arukikata.co.jp/guidebook/31...
www.arukikata.co.jp/guidebook/31...
Paradoxically, such discrimination is carried out openly in Japan, without concealment, because the non-confrontational society is also largely non-religious. Still, this is probably only one among multiple factors behind this strange situation if it is a factor at all. 🤔 (3/3)
August 28, 2025 at 9:45 PM
Paradoxically, such discrimination is carried out openly in Japan, without concealment, because the non-confrontational society is also largely non-religious. Still, this is probably only one among multiple factors behind this strange situation if it is a factor at all. 🤔 (3/3)
I suspect that this broader movement may be linked to the long-standing practice of religious discrimination in Japanese academia, since some of the most vocal figures work or have worked at a religious university with arguably the most discriminatory employment policy. 😨 (2/n)
August 28, 2025 at 4:04 PM
I suspect that this broader movement may be linked to the long-standing practice of religious discrimination in Japanese academia, since some of the most vocal figures work or have worked at a religious university with arguably the most discriminatory employment policy. 😨 (2/n)
I have not yet determined the reasons why academics in Japan have been spreading false information about immigration.
- The misinformation is so egregious that I cannot believe it stems from mere incompetence.
- It is also too obviously wrong to function as effective long-term propaganda.😵💫
(1/n)
- The misinformation is so egregious that I cannot believe it stems from mere incompetence.
- It is also too obviously wrong to function as effective long-term propaganda.😵💫
(1/n)
August 28, 2025 at 7:45 AM
I have not yet determined the reasons why academics in Japan have been spreading false information about immigration.
- The misinformation is so egregious that I cannot believe it stems from mere incompetence.
- It is also too obviously wrong to function as effective long-term propaganda.😵💫
(1/n)
- The misinformation is so egregious that I cannot believe it stems from mere incompetence.
- It is also too obviously wrong to function as effective long-term propaganda.😵💫
(1/n)
Not sure if this was a careless mistake or deliberate propaganda. 😨 (3/3)
president.jp/articles/-/3...
president.jp/articles/-/3...
｢外国人が増えると治安が悪くなる｣と信じて疑わない人の盲点 罪を犯すのは外国人だからではない (4ページ目)
オーズィーとキュブリンの分析対象には、社会学系の論文が多く見られる。社会学では、地域に住む移民が増えると犯罪率が増えるかもしれない理由として、次のような理屈を挙げている。一方、移民が犯罪率を減らすと…
president.jp
August 27, 2025 at 9:02 PM
Not sure if this was a careless mistake or deliberate propaganda. 😨 (3/3)
president.jp/articles/-/3...
president.jp/articles/-/3...
But when I checked the numbers using official statistics, I confirmed that this claim was false: Japanese nationals are, in fact, less likely to commit major theft crimes (burglary, car theft, purse-snatching, and pickpocketing). 😮💨 (2/n)
｢外国人が増えると治安が悪くなる｣と信じて疑わない人の盲点 罪を犯すのは外国人だからではない (4ページ目)
オーズィーとキュブリンの分析対象には、社会学系の論文が多く見られる。社会学では、地域に住む移民が増えると犯罪率が増えるかもしれない理由として、次のような理屈を挙げている。一方、移民が犯罪率を減らすと…
president.jp
August 27, 2025 at 5:15 PM
But when I checked the numbers using official statistics, I confirmed that this claim was false: Japanese nationals are, in fact, less likely to commit major theft crimes (burglary, car theft, purse-snatching, and pickpocketing). 😮💨 (2/n)
The level of false information spread by scholars in Japan was shocking, even to me.
We were even told by a full professor of economics at a leading university that Japanese are 7 times more likely to commit major theft crimes than foreigners in Japan. 😨 (1/n)
We were even told by a full professor of economics at a leading university that Japanese are 7 times more likely to commit major theft crimes than foreigners in Japan. 😨 (1/n)
August 27, 2025 at 7:45 AM
The level of false information spread by scholars in Japan was shocking, even to me.
We were even told by a full professor of economics at a leading university that Japanese are 7 times more likely to commit major theft crimes than foreigners in Japan. 😨 (1/n)
We were even told by a full professor of economics at a leading university that Japanese are 7 times more likely to commit major theft crimes than foreigners in Japan. 😨 (1/n)
The misinformation about immigration to Japan is spreading like wildfire.
Scholars and influencers inside and outside the country are making claims that are not only false, but shockingly false. 😰
www.youtube.com/watch?v=qrn6...
Scholars and influencers inside and outside the country are making claims that are not only false, but shockingly false. 😰
www.youtube.com/watch?v=qrn6...
Japan Officially Offers Nigerians Beautiful City in Japan For Nigerians to Live in
Japan government has officially offered Nigerians a beautiful city in Japan for Nigerians to live and work in Japan. The Japan government has decided to make the Japanese city a beautiful place for…
www.youtube.com
August 26, 2025 at 4:51 PM
The misinformation about immigration to Japan is spreading like wildfire.
Scholars and influencers inside and outside the country are making claims that are not only false, but shockingly false. 😰
www.youtube.com/watch?v=qrn6...
Scholars and influencers inside and outside the country are making claims that are not only false, but shockingly false. 😰
www.youtube.com/watch?v=qrn6...
Japan marked the 80th anniversary of its surrender announcement with a broadcast of Grave of the Fireflies and an NHK documentary on the Total War Research Institute, which, before the Pearl Harbor attack, forecasted the developments leading to Japan’s inevitable defeat.
August 18, 2025 at 8:51 AM
Japan marked the 80th anniversary of its surrender announcement with a broadcast of Grave of the Fireflies and an NHK documentary on the Total War Research Institute, which, before the Pearl Harbor attack, forecasted the developments leading to Japan’s inevitable defeat.