lambda-calculus

1熱

2答えて

ラムダ計算にはnotesを読んでいましたが、始めに式の1つを減らしたり評価したりするのに問題があります。特に、関数（λf.λx.f（f（x）））（λy.y^ 2）（5）。どのようにこれを正確に開始しますか？私の数学的な直感では、（λf.λx.f（f（x）））（5^2）のように進んでいて、f（x）はマップ X | - > X^2 ので、F（f（x）が）=（F）^ 2 = X^4 ので、更なる

1熱

2答えて

再帰ラムダ計算関数

が((x y)(x P)(P z))というようなラムダ微積分関数Pを作成したいと思います。私はYコンビネータ/チューリングコンビネータの変種、すなわち形λg.(g g)の関数を使用しようとしました。なぜなら、関数自体を再現する必要があるからですが、私は前方を見ることができません。どんな助けでも大歓迎です。

0熱

1答えて

よく入力された型の悪いラムダ用語

私は、適用されたラムダ計算を理解しようとしています。これまでは、型推論の仕組みを理解していました。しかし、私は、用語がよくタイプされているか、またはタイプミスであるということの意味に従うことができません。そして、どのタイプが適切なタイプのものか、タイプの悪いものかを決定する方法はありますか？たとえば、λ用語twをλx[(x x)]と定義します。どのようにそれはよく型付けされたまたは悪い型の用語で

6熱

2答えて

Javaラムダ式が新しいレベルのスコープを導入しないのはなぜですか？

私が理解しているように、Haskellのような言語やラムダ計算の一部として、各ラムダ式には独自のスコープがあります。したがって、\x -> (\x -> x)のネストされたラムダ式があると、最初の\xパラメータは、 \x。 Javaの場合、パラメータ名やラムダ内のローカル変数名としてxを再度使用した場合と同様に、コンパイルエラーが発生します。メソッドパラメータとして使用します。 Javaがこのよう

2熱

1答えて

ラムからアラーム音が鳴らなくなったとき

アラーム音が鳴ったときにアラームを閉じるために、ユーザーに特定の作業を依頼する目覚まし時計を作っています。正常に機能していますが、問題は、アラームが鳴っている間にユーザーが最近のアクティビティからアラームアプリを閉じると、アラームが鳴らなくなることです。私はそれが鳴っている間、ユーザーがアプリをクリアしても、それが鳴るのを止めてはならない。与えられたタスクが完了したら、それはただ停止するべきです。

0熱

1答えて

Androidのアプリサブスクリプション期限通知の戦略を決定する - （クライアント側またはサーバー側）

アプリのサブスクリプションが期限切れになったときにAndroidアプリユーザーに通知する必要があります。私はこれを行う2つの方法を考え出しましたが、どちらを選択するかはわかりません。 Androidの携帯電話で毎日アラームを設定し、登録日が経過したかどうかを確認します。有効期限が切れている場合は、ユーザーに通知を表示し、アプリの購読が終了したサーバーを更新します。サーバー側（node.js）に毎

0熱

3答えて

Android：シャットダウン後にAlarmManagerが強制終了される

デバイスをシャットダウンした後に設定したアラームが破棄されるか、デバイスの電源を入れ直したときにすぐにスケジュールとブロードキャストの状態が保存されるのだろうか？スケジュールされた時間が現在の時刻よりも前である限り長い。

0熱

1答えて

AlarmManager RTC_WAKEUPバッテリが放電する

定期的にサーバからデータをダウンロードするサービスをバックグラウンドで実行しています。 1時間ごとにデータをダウンロードする必要があります。しかし、バッテリーは素早く消耗しています。コードは以下の通りです。アラーム電源を効率的にするにはどうしたらいいですか？ public class BackgroundFetchService extends Service { @Override

2熱

1答えて

Android Alarm Managerでの問題、ブート完了

デバイスの再起動後にスケジュールされたタスクが機能しなくなるという問題が発生しました。私は、これがAlarm Managerの通常の動作であり、BOOT_COMPLETEDアクションを使用する必要があると通知されました。残念ながら、それはまだ動作していません。ここで私が持っているものであるメイン/ランチャー活動 public class launch_activity extends AppCo

3熱

1答えて

ハスケルで糖度の高いλ項を表現するには？

この文法を使用して、糖化λ-計算のデータ定義を設定します。 Λ → v Λ → (λ v Λ) Λ → (Λ Λ) Λ → (L Λ) L → (LET (LL) Λ) LL → (v Λ) ここに私がしたいことがあります。だから私はDrRacketのためにこれをしました。どのように私はハスケルのためにこれを行うことができますか？ここではDrRacketで私のコードです： ;; λ