問題タブ [kframework]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
50 問題
0
投票する
0
に答える
25
参照
kframework - 円周率計算における変数置換エラー
私は言語 K を学んでいるので、K を使って円周率計算を少し実装し始めましたQ[Z/Y]。以下のプログラムで置換が機能しない理由がわかりません。
私のプログラムは次のとおりです: (m(z) . m ! z) | (m ! 4 . m(x))(2 つのスレッド間のピンポン)、以下の K セマンティックを使用すると、次の出力が得られます。
でもz代用されない。私はこの出力を期待します：
これが、円周率計算の K セマンティックです。send 構造のx!y代わりに使用していることに注意してください。x<y>
前もって感謝します。