[過去ﾛｸﾞ]
次世代言語11[Rust Swift TypeScript Dart] (1002ﾚｽ)
次世代言語11[Rust Swift TypeScript Dart] http://mevius.5ch.net/test/read.cgi/tech/1528037607/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
48: デフォルトの名無しさん [sage] 2018/06/04(月) 21:16:25.53 ID:MwYJH1hR linuxを起動する円盤にもパッケージが入ってるので この仕組みを解明できたらネット接続は本質ではない http://mevius.5ch.net/test/read.cgi/tech/1528037607/48
131: デフォルトの名無しさん [sage] 2018/06/09(土) 07:54:30.53 ID:z5G1iXxN VBとPHPからのリプレース案件はたまにある http://mevius.5ch.net/test/read.cgi/tech/1528037607/131
209: デフォルトの名無しさん [sage] 2018/06/09(土) 20:20:46.53 ID:XXrObf0z >>208 それはすごい。一体何を作ったというのですか？ http://mevius.5ch.net/test/read.cgi/tech/1528037607/209
218: デフォルトの名無しさん [sage] 2018/06/09(土) 21:35:08.53 ID:vR0+9df+ MSに買収されてからSkypeはグタグタだしRoboVMは消滅したやん 楽観視してる方が不思議だわ atomは死刑宣告されたようなもんだろうし http://mevius.5ch.net/test/read.cgi/tech/1528037607/218
232: デフォルトの名無しさん [sage] 2018/06/10(日) 00:06:12.53 ID:flig3pd5 githubはそもそもまともに収益出てないから売ったわけで、 その時点でMSに文句垂れてる事自体が筋違いなんだよ。 http://mevius.5ch.net/test/read.cgi/tech/1528037607/232
394: デフォルトの名無しさん [sage] 2018/06/14(木) 03:01:24.53 ID:BlJjVFjE Foはジェネリクス対応してるのな もうこっちでいいんじゃねw http://mevius.5ch.net/test/read.cgi/tech/1528037607/394
554: デフォルトの名無しさん [sage] 2018/06/17(日) 23:00:14.53 ID:9aKhKpN8 C#やりたいなあ http://mevius.5ch.net/test/read.cgi/tech/1528037607/554
574: デフォルトの名無しさん [sage] 2018/06/18(月) 14:05:58.53 ID:7nYEmGe5 そもそも次世代言語が次世代なうちは個人の趣味プロぐらいにしか使わんだろ http://mevius.5ch.net/test/read.cgi/tech/1528037607/574
579: デフォルトの名無しさん [sage] 2018/06/18(月) 15:31:22.53 ID:/sFO+jYl >>575 ドワンゴ（失笑）とかか？wwww http://mevius.5ch.net/test/read.cgi/tech/1528037607/579
589: デフォルトの名無しさん [sage] 2018/06/18(月) 18:04:53.53 ID:xdRdwSco >>578 とある関数呼び出しの定義内に表れる再帰的呼び出しの 停止性マトリクスが、大元の関数呼び出しの停止性マトリクスから辞書順で下降していくことから停止性を担保しようというのが停止性マトリクスの意味。 そして停止性マトリクスの記述に表れる n は issven や isodd の引数そのものだということに注意 iseven、isodd の停止性マトリクスがそれぞれ n、n+1 だと、 iseven n の停止性マトリクス→n iseven n の定義に出てくる isodd (n-1) の停止性マトリクス→n-1+1=n 減っていないから停止性が担保されない(NG)。 説明にあるように <n, 0> と <n,1> ならば、 iseven n の停止性マトリクス→<n,0> iseven n の定義に出てくる isodd (n-1) の停止性マトリクス→<n-1,1> (下降している！OK) isodd も同様に isodd n の停止性マトリクス→<n,1> isodd n の定義に出てくる iseven (n) の停止性マトリクス→<n,1> (下降している！OK) そして<n,0>, <n,1> の代わりに n*2, n*2+1 を使っている(この代用が可能なことはわかるよね)。 http://mevius.5ch.net/test/read.cgi/tech/1528037607/589
591: デフォルトの名無しさん [sage] 2018/06/18(月) 18:09:50.53 ID:xdRdwSco >>589 ＞isodd も同様に ＞isodd n の停止性マトリクス→<n,1> ＞isodd n の定義に出てくる iseven (n) の停止性マトリクス→<n,1> (下降している！OK) 最後の行は isodd n の定義に出てくる iseven (n) の停止性マトリクス→<n,0> (下降している！OK) の間違いでした http://mevius.5ch.net/test/read.cgi/tech/1528037607/591
924: デフォルトの名無しさん [sage] 2018/07/02(月) 20:33:18.53 ID:9WbprnCr クロージャの問題は結局変数の評価タイミングが分かりづらくなりやすいってところ。 common lispはその点わかりやすい。 http://mevius.5ch.net/test/read.cgi/tech/1528037607/924
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.041s