![[PukiWiki]](http://unitylabo.s601.xrea.com/xoops/modules/xpwiki/image/pukiwiki.png "[PukiWiki]")
群 の変更点
3: 2016-08-11 (木) 12:09:23 osinko  |
現: 2016-08-22 (月) 23:33:01 osinko |
||
|---|---|---|---|
| Line 122: | Line 122: | ||
| } | } | ||
| }} | }} | ||
| + | |||
| + | **ラムダ式 [#sda73c02] | ||
| + | |||
| + | 資料：[[ラムダ計算:https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97]] | ||
| + | |||
| + | 資料中にある「ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則のみを持つ」の文に留意。ラムダ計算と群になんらかの関係性を感じる（調査の必要あり） | ||
- 群 のバックアップ一覧
- 群 のバックアップ差分(No. All)
- 1: 2016-08-10 (水) 22:50:22 osinko
- 2: 2016-08-11 (木) 00:31:38 osinko
- 3: 2016-08-11 (木) 12:09:23 osinko
- 現: 2016-08-22 (月) 23:33:01 osinko
