問題タブ [continuation]

私は何年もの間、Trilinos LOCA (c++) で疑似弧長連続、非線形ソルバーのユーザーでしたが、最近、python パッケージ petsc4py に出くわしました。これにより、速度がわずかに低下するためのプログラミングが大幅に簡素化されました。

petsc4py で唯一欠けているクラスは、疑似アークレングス継続ソルバーです。PETSC には疑似時間ステッパー ソルバーがありますが、ターニング ポイントがアルゴリズムを分解するので、これはほとんど役に立ちません。

Trilinos LOCA には PETSC のラッパーがありますが、c や c++ ではなく Python (petsc4py から) で問題が指定されているソリューションを探していました。

したがって、petsc4py で記述された、または petsc4py から呼び出し可能で、疑似弧長継続を実装するクラスを探しています。

どうもありがとうございました。

(GNU sed バージョン 4.0.7 - Win32 用にコンパイル - http://unxutils.sourceforge.netから)

大きな txt ファイルの先頭に 1 行追加するには、次の 1 行のバッチ スクリプトが正常に機能します。

ただし、わかりやすくするために、リテラル文字列を複数の行に分割してバッチ スクリプトをフォーマットすると便利です。

残念ながら、上記のバッチ スクリプトの実行は次のエラーで失敗します。

'longheader1' は、内部コマンドまたは外部コマンド、操作可能なプログラムまたはバッチ ファイルとして認識されません。

行継続文字の置き換え^も\失敗します。

「行継続」スクリプトが失敗する理由、および潜在的な簡潔な回避策に関する提案はありますか?

__フィリップ

私はSchemeでの呼び出しの継続に完全に迷っています。誰かがこの例で私を助けることができますか?

最初の結果(3)はわかりますが、2017年の結果はわかりません。

だから私は、intリストからターゲット番号への有効な算術演算を見つける関数に取り組んでいます。throw/callac の使用は許可されていません。ここでは、add と mul のみが有効な算術演算であり、結合されたままになっています。

関数は以下のように動作するはずです:

リスト [1,1,2,~1] とターゲット番号 ~4 が与えられた場合、受け入れられる操作リストは [ADD,ADD,MULT] または [ADD,MULT,MULT] になります。 )*~1) = ((1+1) 2 ~1) = ~4. ただし、(((1*1)+2)*~​​1) = ~3 であるため、[MULT,ADD,MULT] は有効ではありません。

返された結果が k() かどうかを確認する方法がわかりません。= を使用して戻り値を確認することは、ポリモーフィックであるため不可能です。これを処理する方法はありますか？

Ruby で Continuation の多いプロジェクトを実行しようとしていますが、非常に遅いです... メモリが詰まっていると仮定して、コードの重要なポイントに GC.start 行を挿入して速度を上げようとしましたが、それはうまくいきませんでした助けません。Maglev を実行してみましたが、Maglev と互換性のない gem が多すぎます。

何か案は？

ReStructuredTextの次のリストを検討してください。

リストがSphinxでコンパイルされると、メモの後の番号は次のようにリセットされ1ます。

セクションの後に番号付きリストを続ける方法はありnoteますか?

試験の準備をしている間、F# のいくつかの課題に苦労しています。

割り当ては次のように述べています。

次の F# 宣言を検討してください。

の型はfですint -> int list -> int list。式f 10 [0;1;2;3]は値を返します[10;12;14;16;14]。

関数fは末尾再帰ではありません。累積パラメーターfAを使用する末尾再帰バリアント を宣言します。f

と

の継続ベースの末尾再帰バリアント 、 を宣言しfCますf。

これまでのところ、次のようなことを試しました：

しかし、なぜこれらで動作しないのかわかりません。私はこれについてより深い理解を欠いていることを知っているので、ここですべての頭脳を試してみます.

Pharo の継続機能を次のコード (プレイグラウンドで) でテストしようとしています:

ただし、に保存されている継続を呼び出すとすぐに(でcont置き換えます)、画像がすぐにフリーズし、コントロールを取り戻すために を押す必要があります。cont.cont value.atl+.

VM バージョン:VM: NBCoInterpreter NativeBoost-CogPlugin-GuillermoPolito.19 uuid: acc98e51-2fba-4841-a965-2975997bba66 May 15 2014 NBCogit NativeBoost-CogPlugin-GuillermoPolito.19 uuid: acc98e51-2fba-4841-a965-2975997bba66 May 15 2014 https://github.com/pharo-project/pharo-vm.git Commit: ed4a4f59208968a21d82fd2406f75c2c4de558b2 Date: 2014-05-15 18:23:04 +0200 By: Esteban Lorenzano <estebanlm@gmail.com> Jenkins build #14826

ファロのバージョン:[version] 4.0 #40614

ありがとう。

編集：私は愚かで、これをよく考えていませんでした...

次のようなタイプのオートマトンタイプを作成したい：

これがAutomata arrowのタイプであることは知っていますが、矢印を探しているわけではありません。これをモナドにしたいので、おそらく次のような型になります

次のような関数を使用します。

したがって、Auto モナド内から「yield」を呼び出すと、「runAuto」関数は「yield」への引数と継続関数からなるペアを返します。アプリケーションプログラムが継続関数を呼び出すと、引数は「yield」の結果としてモナド内に返されます。

これには継続モナドのフレーバーが必要になることはわかっていますが、過去に継続と格闘したにもかかわらず、これをコーディングする方法がわかりません。

また、これは Michael Snoyman のConduit モナドにかなり似ていることも知っていますが、彼は "yield" と "await" を分けています。このモナドは、すべての入力に対して正確に 1 つの出力を持たなければなりません。

背景: GUI イベントに複雑な方法で応答するコードを書いています。これを手書きのステート マシンに変えるのではなく、ユーザー インタラクションの進行に合わせて画面を更新する代わりに、一連の入力を受け入れるコードを記述できるようにしたいと考えています。

編集

これはすべて微妙に間違っていることが判明しました。Petr Pudlák の返信で提案されたコードを書きましたが、動作しているように見えましたが、「yield」操作は常に前のyield からの出力を生成しました。それは奇妙でした。

画面をじっと見つめた後、ここにコードを貼り付ける必要があることがわかりました。決定的な違いは AutoF タイプにあります。以下のものをPetrによって提案されたものと比較してください。