[過去ﾛｸﾞ]
次世代言語12 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
次世代言語12 Go Rust Swift Kotlin TypeScript http://mevius.5ch.net/test/read.cgi/tech/1530664695/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
654: デフォルトの名無しさん [sage] 2018/08/07(火) 16:25:52.99 ID:1g1T9ybM >>633 > そのラムダ計算には型があるのかないのか > 副作用があるのかないのか 副作用を入れたものは本来はλ計算ではないよ そういう変てこなバリエーションをデッチ上げて「何ちゃらλ-calculus」とか呼んで発表してるのは幾らでもあるがゴミばかり 状態などというものを考えず単純に構文的な置き換えだけで扱えるλ計算の長所を破壊し放棄する拡張をしても何もメリットはない 単にほとんど誰にも論文のカウント数を１増やすだけ まあ御当人の学位取得や助教職のアプリケーションには有効なのかも知れないが http://mevius.5ch.net/test/read.cgi/tech/1530664695/654
655: デフォルトの名無しさん [sage] 2018/08/07(火) 16:27:13.31 ID:1g1T9ybM >>654訂正 誤> 単にほとんど誰にも論文のカウント数を１増やすだけ 正> 単にほとんど誰にも読まれない論文のカウント数を１増やすだけ http://mevius.5ch.net/test/read.cgi/tech/1530664695/655
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s