2021-05-11から1日間の記事一覧
Haskell等で使われるLens(の一般形)1は実は論理学とも深い関係がある。Lensの構造に関する研究の(おそらく)最も最初のものはゲーデルのディアレクティカ解釈の研究である2。 ゲーデルのディアレクティカ解釈とは直観主義算術から量化子なしの有限型算術 Tへ…
Haskell等で使われるLens(の一般形)1は実は論理学とも深い関係がある。Lensの構造に関する研究の(おそらく)最も最初のものはゲーデルのディアレクティカ解釈の研究である2。 ゲーデルのディアレクティカ解釈とは直観主義算術から量化子なしの有限型算術 Tへ…