問題タブ [infinite]

無限の答えを与えるために choose/2 を定義するにはどうすればよいですか

my choose/2 は 1 つの答えしか与えません

例:

True画像を表す2つの四分木が与えられた場合、両方の四分木が同じ色で対応する位置にある場合はピクセルの値を使用して、別のブール四分木「マスク」を出力する関数を作成しようとしていFalseます。

このエラーが発生します：

理由がわかりません。関数は次のとおりです。

私はそのように無限の地図を生成しようとしています。私はこれをPythonで行っていますが、ノイズライブラリを正しく機能させることができません（VS2010が見つからないようで、生のPythonで行うのは遅すぎます）。そのため、私はDiamond-Squareアルゴリズムを使用しようとしています。

何らかの方法で、これを技術的に無限にすることは可能でしょうか？

そうでない場合は、Pythonノイズバインディングの1つを機能させるための試行に戻る必要がありますか？

さて、私はすでに動作しているプログラムを変更して、2つの別々のクラスを使用する必要がありました... 1つはタスクを実行し、もう1つは情報を保存します。最初の計算を実行して2番目のエントリに到達すると、従業員名をスキップします。なんで？助けてください。コードは次のとおりです。

ページの一番下までスクロールすると、より多くのコンテンツをロードするプラグインをいくつか見てきましたが、これらのほとんどは、自動インクリメントされた ID を持つデータベースの列にリンクされています。これを行う必要があるのは、XML ファイルのみです。

何か案は？

とても有難い。

私はデータ型を持っています

バラの木と Applicative インスタンスの

適用法を証明する必要があります。ただし、pureは無限に深く、無限に分岐するツリーを作成します。したがって、たとえば、準同型の法則を証明する際に、

等式の証明だと思った

近似（またはテイク）によって補題が機能します。しかし、私の試みは、帰納的なステップで「悪循環」につながります。特に、削減

与える

ここで、approxは近似関数です。明示的な帰納的証明なしに、どうすれば等しいことを証明できますか?

これは、スカラでのフィボナッチ数の正確で有用な定義であると私が考えたものです。

ただし、次のエラーが表示されます。

圧縮されたものがストリームで正しく機能しないと思いますか? これを機能させる方法、またはこれが機能しない理由について何か提案はありますか?

(有限) バッファから (ファイル記述子への) 無限ストリームを生成する方法、つまり、ユーザー空間から呼び出しを呼び出さずに (バッファの初期設定を除く) バッファを繰り返す方法はありますか? のようなデータ ソースを定義する方法を探していると思いますが/dev/zero、値のソースとしてユーザー定義の有限バッファのみを使用します。

(目的は、これが奇妙な要求のように聞こえる場合に備えて、シリアル接続を介して外部デバイスへの IO を刺激することです。)

背景: 私のコンピューター サイエンスのクラスでは、小学生が基本的な数学を学ぶのに役立つプログラムを作成するように依頼されました。
彼らは、学習したい演算 (加算、減算、乗算、または除算) を選択するか、これらの演算のいずれかをランダムに選択するランダムを選択します。
操作が選択されると、ユーザーは質問をされ、答えを入力するように求められます。正しい場合、プログラムは合計 4 つの質問まで別の質問をし、その後、プログラムはメニューに戻ります。
答えが間違っている場合は、ユーザーに答えを再入力するように求めます。最大 3 回まで、答えがまだ間違っている場合は正しい答えが表示され、その後別の問題が尋ねられます (4 つの質問の制限に達していない場合)。 ) または他に質問がない場合は、メニューに戻ります。

問題: 私はすべて書き出しており、IDLE でプログラムを実行するとすべてが機能しているように見えますが、何らかの理由で操作を選択すると、プログラムが無限ループに陥り、4 つの質問が終了した後もメニューに戻りません。尋ねられました。最初に for ループを使用して 4 つの質問のクォータを満たしましたが、うまくいきませんでした。そのため、while ループの前に x を x=0 として定義し、関数の最後に を追加する
while ループを試しました 。while x<4: etc etcx=x+1

再びコードを読むと、各関数で機能するように見えますが、実行した後も無限ループに陥っています。

コードは次のとおりです。

ここにいる誰もが提供できる支援を前もって感謝します!

ユーザーがリストの一番下に達したときに、より多くのデータをロードするListViewを作成することがどういうわけか可能であることを私は知っています。ただし、LinearLayoutを使用しているScrollViewを使用しており、これら2つのコンポーネントはスクロールなどでうまく機能します。しかし、どうすればよいかわからないので、無限にスクロールします。

画面に表示されているLinearLayoutの内容を読み取るものを追加する必要があると思います。これにより、（現在の位置とビューの高さを使用して）表示されているLinearLayoutの下部であると計算されます。イベントをトリガーします。
しかし、私が言ったように、私はこれを達成する方法がわかりません。ですから、誰かが私に助けを与えることができれば、私は非常に感謝するでしょう。

編集：私はここStackOverflowでこの投稿を見つけましたscrollViewがAndroidで一番下に達したときにイベントをトリガーする方法は？、しかし私は答えをどうするかわかりません：

要件を考えると、BaseAdapterを拡張する可能性があります（別のメカニズムを利用するCursorAdapterとは対照的です）。

そのためのスニペットは次のとおりです。