m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 ハブ記事 カリー／ハワード／ランベック対応〈Curry-Howard-Lambek correspondence〉は、「型理論（ラムダ計算を含む）」「論理」「圏論」の三分野の概念のあいだの精密・詳細な対応を与えてくれます。しかし、言葉はうまく対応してくれません。異なる分野の言語・文化・習慣にはギャップがあるからです。言葉の対応表（つまり翻訳の辞書）が作れないのは僕の長年の悩みです。ことあるごとに辞書を試作してはうまくいかずヘコんでいます。以下は、現時点でのだいたいの辞書〈対応表〉です。ハイフンの欄は適切な言葉が見つからなかった場所です。単語末尾の疑問符 '?' は、その言葉をその意味で使うことがポピュラ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2023%2F02%2F01%2F144442" title="カリー／ハワード／ランベック対応の辞書 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2023-02-01 14:44:42 rich https://m-hiyama.hatenablog.com/entry/2023/02/01/144442 1.0 100%