245(1): デフォルトの名無しさん [sage] 2018/06/10(日) 11:59:10.70 ID:uRvlgWzA(1) AAS
最近は、skypeで使えない奴の悪口ばっか言ってる

535(1): デフォルトの名無しさん [sage] 2018/06/17(日) 18:54:54.59 ID:a73jVlJK(2/2) AAS
寿司職人が5、6年修行しているようなものか
半年でできらぁって誰かが言い出したとしてお前らはそいつを倒せるのか？

578(2): デフォルトの名無しさん [] 2018/06/18(月) 15:30:15.87 ID:soq2obRK(2/6) AAS
ところで、またATS2に話を戻すんだけど、
日本語訳もあったしチュートリアルやってみてるんだけど
↓の再帰関数の停止性検査とやらで躓いている
外部ﾘﾝｸ[html]:jats-ug.metasepi.org

特に
fun isevn{n: nat} .<2*n>. (n: int n): bool = if n = 0 then true else isodd (n-1)
and isodd{n: nat} .<2*n+1>. (n: int n): bool = not(isevn(n))
が何故.<2 * n>.と.<2 * n + 1>になるか理解できん…
.<n>.と.<n + 1>.で大丈夫だと思ったんだが…
たぶんまだ、停止性メトリクスとやらが正しく理解できていないんだろうな…
誰か詳しく解説してくれないか？

844(6): デフォルトの名無しさん [sage] 2018/06/30(土) 23:16:50.81 ID:tr0WXiW5(2/2) AAS
>>837
Ruby のProc, block はクロージャだから、クロージャを囲む関数から戻る。
一方ラムダは、単にクロージャを抜けるだけ。
Groovy なども参照

def f
(0..5).each do |i|
puts i
return if i == 3
end
end

f() #=> 0, 1, 2, 3

847(4): デフォルトの名無しさん [] 2018/07/01(日) 01:54:08.61 ID:5prQoZWD(1/8) AAS
>>845
ヒント：Smalltalk