次世代言語11[Rust Swift TypeScript Dart]at TECH次世代言語11[Rust Swift TypeScript Dart] - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト603:ﾌ名無しさん 18/06/18 19:23:14.64 xdRdwSco.net >>595 ＞すまない。俺はバカなんだ。分からないんで教えて下さい。 辞書順を保ったまま <n, 0>, <n,1> をそれぞれ 2*n, 2*n+1 で置き換えられる 3*nとか4nでもいいけど2つしかないから2nで十分 例 fun f {n:nat} .<3*n>. (n: int n) : bool = if n = 0 then true else g (n-1) and g {n:nat} .<3*n+2>. (n: int n) : bool = not (h (n)) and h {n:nat} .<3*n+1>. (n: int n) : bool = not (f (n)) 604:デフォルトの名無しさん 18/06/18 19:24:20.04 EvkbZGBx.net >>595 引数のnと、isoddとisevnの2つの関数の区別(+0, +1)を位取り(*2)して足してるだけじゃないかな…… 605:デフォルトの名無しさん 18/06/18 19:33:04.83 vrc1WpPf.net >>581 全部そうだよ やっぱりJavaやC、Pythonが最終的に一番良いってことだな 新しいものに飛び付いてるとドワンゴになるぞ 606:デフォルトの名無しさん 18/06/18 19:52:57.33 wJzzPYpc.net ドワンゴはc++みたいなもんだな。 とりあえず新言語(新機能)の実験台になってもらえるっていう。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch