Conversation

Notices

1. なのやつ (nanoyatsu@qiitadon.com@qiitadon.com)'s status on Friday, 05-Oct-2018 17:52:33 JST なのやつ

   ラムダ計算の存在がなんとなくわかってきた(ラムダ式がなんでラムダ式っていうのかみたいなレベルで)気がするけど、あとはラムダという記号の採用経緯みたいな、文字単一の意味みたいなものを認知したら「はい理解〜〜」ってなれそうわからん（わからんのかよ）

   • 7of9(0x70f9=28921) (7of9@qiitadon.com)'s status on Friday, 05-Oct-2018 18:03:01 JST 7of9(0x70f9=28921)

     in reply to

     @nanoyatsu

     ラムダの記号の採用経緯(3つ)。

     https://www.wisdomandwonder.com/link/3022/why-church-chose-lambda

   • なのやつ (nanoyatsu@qiitadon.com@qiitadon.com)'s status on Friday, 05-Oct-2018 18:04:13 JST なのやつ

     in reply to

     • 7of9(0x70f9=28921)

     @7of9 ハァ〜〜〜ななおぶさん最高ですわよ〜〜〜ありがとございますう〜〜〜って思ったんですけど英語ぉん！（Google翻訳となかよくして読んでみますありがとうございます）

   • 7of9(0x70f9=28921) (7of9@qiitadon.com)'s status on Friday, 05-Oct-2018 18:13:38 JST 7of9(0x70f9=28921)

     in reply to

     @nanoyatsu

     概要です。

     1. Matthias
     数学者や論理学者は^をset抽象化に使った。
     Churchは^を関数抽象化に使った。なぜなら、関数は特別なプロパティを持つsetsであるから。

     2.
     class抽象化のx^から由来。印刷のしやすさのため^をλに変えた。

     3.
     Churchはもともとx^.2x+1を使っていた。それは^x.2x+1になって、λx.2x+1になった。

   • なのやつ (nanoyatsu@qiitadon.com@qiitadon.com)'s status on Friday, 05-Oct-2018 18:16:18 JST なのやつ

     in reply to

     • 7of9(0x70f9=28921)

     @7of9 ウオオ訳まで…ありがとうございます
     Google翻訳のほうからもなんとなく雰囲気感じていたんですが、「見た目とか形から入った」くらいの感じっぽいですね（？）　意味的な理由はあんまりないのか〜という知見がえられました　ありがとうございます〜〜！ :bottom_center_sushi: