2024.05.08
https://gyazo.com/2abe26fb564a436fa1cb319ad2f9d061
前:
2024.05.07
後:
2024.05.09
#日報
メモ
様相論理の書き直し
思った
有限集合
は面倒すぎる.
「なぜ我々(日本語話者)は《田中》《太郎》を名字/名前だと思うのか?」の言語化の日本語、英語(アメリカ/イギリス/etc.?)、ドイツ語などを知ってみたい
#姓名判定