2026.06.07
https://gyazo.com/67a032892c92dae73ecc072743402cd8
前:2026.06.06
後:2026.06.08
#日報
思った
原口沙輔『スーパー類』の∀の使用が氏の∃のユ!の対比になっているのかなーと思ってカタカナを良く見たら全然違って意味なかった 
あと類の呼び方は「クラス」ではなくて単に「るい」だった 
それはそれとして結局この人は数理論理学に造詣があるのかそれとも単に偶然としてモチーフなのか
メモ
otoDBの一般公開がそろそろ?