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
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
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.
For Indonesians, this might be no laughing matter — and it’s not for me to judge. But for me personally, it is an utter surprise that a fictional flag from an anime has become a political issue in another country. 😲
www.bbc.co.uk/news/article...
www.bbc.co.uk/news/article...
One Piece: How a cartoon skull became a symbol of defiance in Indonesia
Some lawmakers say the black skull flags from the Japanese anime One Piece threaten national unity.
www.bbc.co.uk
August 13, 2025 at 8:57 PM
For Indonesians, this might be no laughing matter — and it’s not for me to judge. But for me personally, it is an utter surprise that a fictional flag from an anime has become a political issue in another country. 😲
www.bbc.co.uk/news/article...
www.bbc.co.uk/news/article...
A recent tweet by Dr. Hall (Kanda Univ.) claimed that a Japanese party leader "used a slur for Koreans during a campaign speech." It got 17k views. A follow-up clarification—seen by only 2.8k—revealed the leader was quoting what others had called the party. (1/4)
July 19, 2025 at 7:49 AM
A recent tweet by Dr. Hall (Kanda Univ.) claimed that a Japanese party leader "used a slur for Koreans during a campaign speech." It got 17k views. A follow-up clarification—seen by only 2.8k—revealed the leader was quoting what others had called the party. (1/4)
It has been rumored that “Japanese First” has become central to the campaign for the Upper House election in Japan. Note that this is not “Japan First” in the sense of “America First,” but rather “Japanese First”.
July 18, 2025 at 8:49 AM
It has been rumored that “Japanese First” has become central to the campaign for the Upper House election in Japan. Note that this is not “Japan First” in the sense of “America First,” but rather “Japanese First”.
Nature noted that Japan remains the last holdout in the world requiring married Japanese couples to share a surname.
Our cultural ethos shifted in the 1990s from striving to be the Number One to celebrating being an Only One. Little did we know we could become the Last One, too. ☝️
Our cultural ethos shifted in the 1990s from striving to be the Number One to celebrating being an Only One. Little did we know we could become the Last One, too. ☝️
July 7, 2025 at 5:00 PM
Nature noted that Japan remains the last holdout in the world requiring married Japanese couples to share a surname.
Our cultural ethos shifted in the 1990s from striving to be the Number One to celebrating being an Only One. Little did we know we could become the Last One, too. ☝️
Our cultural ethos shifted in the 1990s from striving to be the Number One to celebrating being an Only One. Little did we know we could become the Last One, too. ☝️
