「#数理論理」の人気タグ記事一覧｜note ――つくる、つながる、とどける。

「∀ ・ ~」を「任意の・に対して~である」と読み「∃ ・ ~」を「~である・が存在する」と読むのは人間側の都合でしかなく，全く本質的ではないのかもしれない

980

1年前

1

数学的基礎を徹底解説！ ――近刊『コンピュータサイエンスにおける様相論理』まえがき公開

2年前

26