Yutaka
@yutaka-jp.bsky.social
チェコ科学院所属の科学者。
専門は人工知能やプログラミング言語理論を使った定理証明です。
https://yutakang.github.io
https://www.youtube.com/@unitedreasoning
https://kaeru-umi.hatenablog.jp
専門は人工知能やプログラミング言語理論を使った定理証明です。
https://yutakang.github.io
https://www.youtube.com/@unitedreasoning
https://kaeru-umi.hatenablog.jp
ホームタウン計画で有名なJICA。
実はフィリピン政府と協力して、ワニ園まで開園したことがある。🐊
2007年頃、従業員に「日本の支援で運営しています」と言われて驚いた。
懐かしい。😊
en.wikipedia.org/wiki/Palawan...
実はフィリピン政府と協力して、ワニ園まで開園したことがある。🐊
2007年頃、従業員に「日本の支援で運営しています」と言われて驚いた。
懐かしい。😊
en.wikipedia.org/wiki/Palawan...
September 27, 2025 at 4:23 AM
ホームタウン計画で有名なJICA。
実はフィリピン政府と協力して、ワニ園まで開園したことがある。🐊
2007年頃、従業員に「日本の支援で運営しています」と言われて驚いた。
懐かしい。😊
en.wikipedia.org/wiki/Palawan...
実はフィリピン政府と協力して、ワニ園まで開園したことがある。🐊
2007年頃、従業員に「日本の支援で運営しています」と言われて驚いた。
懐かしい。😊
en.wikipedia.org/wiki/Palawan...