専門は人工知能やプログラミング言語理論を使った定理証明です。
https://yutakang.github.io
https://www.youtube.com/@unitedreasoning
https://kaeru-umi.hatenablog.jp
実はフィリピン政府と協力して、ワニ園まで開園したことがある。🐊
2007年頃、従業員に「日本の支援で運営しています」と言われて驚いた。
懐かしい。😊
en.wikipedia.org/wiki/Palawan...
実はフィリピン政府と協力して、ワニ園まで開園したことがある。🐊
2007年頃、従業員に「日本の支援で運営しています」と言われて驚いた。
懐かしい。😊
en.wikipedia.org/wiki/Palawan...