substitution

1熱

3答えて

ファイルを開きたいです。簡単に。 fopen（）を使用してください。ただし、どのファイルを開くかはユーザーの入力によって異なります。私はKornシェルスクリプトに多少堪能ですが、これは変数置換を使って簡単にできます：$（var）。私はCで正しい形式を理解することができません。誰かが私にいくつかの洞察力を与えてくれますか？私のコード - #include <stdlib.h> #include

0熱

1答えて

代替方法による反復関係？

私は： T（N）= T（N/2）+ T（N/4）+ T（N/8）+ CN。 C> 0 これは私の誘導ステップである：はT（n）を証明したい（n）がOである、すなわち、いくつかのD> 0とN0ように、すべてのn> N0とT（n）が< DN T（N）= T（N/2）+ T（N/4）+ T（N/8）+ CN < = D（N/4）+ D（N/4）+ D（N/8）+ CN = DN（7/8）+ CN =

2熱

1答えて

Agdaの標準ライブラリのData.Fin.Substitutionで相互定義された型の代入を処理する

Agdaでisorecursive型のpush-valueラムダ計算をコードでエンコードしようとしています。そこで、以下のように、最大n個の空き値型変数を持つ値型と計算型を相互に定義します（これは単なる回帰型に値型を代入する必要があります）。スタイルhereで data VType (n : ℕ) : Set where vunit : VType n -- unit type

-1熱

2答えて

オブジェクトのリストから、その名前の文字ベクトルを取得

私は関数のリストを引数として取る関数を持っています。 library(moments) library(plyr) tests <- list(mean, varience, skewness, kurtosis) f <- function(X, tests){ out <- each(... = tests)(X) #each from plyr names(out)

1熱

1答えて

postgresの非常に奇妙な列文字列 "single-quote-comment-brace-time-char" -bugの置換は、おそらくJDBCにのみ関連します

これまでに何か類似していて、： --' select '{t'::text text ----- TIME ???

0熱

1答えて

代替変数の使用Oracle SQL Expertトピック

現在、Oracle SQlエキスパート・テストIt's pageの準備中です。「置換変数を使用する」という名前のトピックが見つかりました。これはSQlStarPlusトピック（WHERE id = '& param'のようなものをcmdで使用するために使用します）のように見えますが、公式ページにはSQLとPL/SQLだけのSQLStarPlusはありません。私は間違っているかもしれません。教

0熱

1答えて

PYTHONの解析ファイルと代替パラメータを再帰的

：私は、例えばという名前のファイルを持っていますこのようなneccessary値が10個の以上のパラメータ含むパラメータ-values.txt： param1=hello,dd param2=test param3=4g などを... とも私は、この変数が定義されているファイルの多くを持っている（ただし、すべてがでparamsはありませんすべてのファイル）。はFile1： #!/bin

1熱

1答えて

変数のバッチパス置換

%0の場合と同じ置換を行うにはどうすればよいですか？%9（%~dp0など）ですが、変数に置き換えますか？例： set MYVAR = %* echo %~dp{%MYVAR%} <--- how to do that ?

1熱

1答えて

bashのxargs {}から文字を取り除く

"*.data.done"という名前のファイルがあるとします。（動作していない grep -l -R -F "pattern" --include '*.data.done' * | xargs -I{} mv {} ${{}::-5} まあ、「の.done」は、このストリッピングを：今、私は戻って私たちが行くので、ここ"pattern" を含む「* .DATA」、その後のものに（再帰的に）

-2熱

5答えて

のPerl - n番目の区切り文字の後に代替

私は次のようになり、ファイルの行に何をしたいの置換基を有するいくつかの助けたいと思います：私は後にのみ,ておき.を交換したいが aoipp;dadada.12312;ss;1245454;Xiop;12.12;45.3;47.897;31.5; asdfafd;14355.54664;peasd;125.1;900.2;76.897;67.456;asdfdf; perio;777.2;ipo