問題タブ [j]

Haskell と J モードを SourceForge からダウンロードしたところですが、それらを emacs 23 と連携させる方法を理解するのに苦労しています。ソースファイルをどこに貼り付けるべきかを把握するために。内部文書は、私が現在持っているよりも emacs 内部の経験が豊富であることを想定しているようで、問題は数日間解決できませんでした。これらのモードを起動して実行する方法を知っている人はいますか?

編集：答えを提供してくれたUntwistedに感謝します。最終的に、私の本当の問題は次のとおりでした。

1) .emacs が OSX ファインダーには表示されないが、ターミナルからは表示されることを知りませんでした。

2) emacs のインスタンスの実行中に .emacs を変更できるとは思いもしませんでした。

それが自分の問題だと気づいたので、Cx Cf を使用して ~/.emacs を開き、Untwisted の修正プログラムのテキストをコピーして、個人のファイル パスを反映するように修正しました。その後、すべてが機能しました。

私は現在、魅力的なJプログラミング言語を学んでいますが、私が理解できていないことの1つは、リストをフィルタリングする方法です。

任意のリストが3 2 2 7 7 2 9あり、2を削除したいが、他はすべて変更しないと仮定します。つまり、結果はになります3 7 7 9。一体どうやってこれを行うのですか？

次の J 式があるとします。

これは、3 で割り切れる 1 から 1000 までの数字の数を数えます。

次のように、これに対してモナド関数を定義するとしましょう。

これは、単一の引数でうまく機能します。

リストを渡すと、長さエラーが発生します。

これで、長さエラーが発生する理由が完全にわかりました。モナド1 2 3の引数をリストに置き換えると、次のようになります。y

J について何か知っていれば、長さのエラーが発生する理由は明らかです。ですから、その説明は必要ありません。

リストを渡すとリストが返されるように関数を定義したい。

(a) リストを取得してリストを返すようにこの関数を再定義するか、(b) 副詞やその他の手法を使用して、再定義せずに関数をそのままリストで機能させるにはどうすればよいですか?

J の数値のデジタル合計を計算する関数を次に示します。

b.この動詞のランクを照会するために使用すると_ 1 _、無限、つまり無限が得られます。( は 2 項ではないので、2 項のケースは無視できdigitalSumます。)

で報告されているように、この動詞の単項ランクを 0 にしたいと思いb.ます。これを行うために私が知っている唯一の方法は、「シム」を使用することです。

これはうまく機能しますが、これが唯一の方法なのか、それとも他に何か不足しているのか知りたいです。

明確化

このように定義された動詞のランクを変更する方法を発見しました：

"0宣言後の に注意してください3 : 0。任意の副詞または接続詞を入れることができ、動詞全体に適用されます。かなりクールなもの！

私はしばらくの間、リストをスキャンし、要素の連続したコピーを別々の連結されたボックスに入れることになっている J 関数に取り組んできました。私の努力は機能まで私を連れて行きました

(<;. 2) ((2&(~:/\)),1:)

連続するリスト エントリの不等式をテストし、ブール値のリストを返し、数値 1 が現れるたびに終了するボックスにリストを分割します。アプリケーションの例を次に示します。

これらすべてのブール値を入力引数の対応する値に置き換えることができれば、タスクは終了します。次のようなことができるミステリー関数を探していました

理想的な状況では、によって生成された入れ子パターンを抽象的に表現し、(<;. 2) ((2&(~:/\)),1:)それを元の入力リストに適用する方法がいくつかあります。(つまり、「このボックス化された配列は、深さ 1 でボックス化された最初の要素、深さ 1 でボックス化された 2 番目の要素、深さ 1 で一緒にボックス化された 3 番目、4 番目、および 5 番目の要素、...、そこのボックス化されていないリストを取得します。同じようにボックスに入れます。") ;.、S:、L:、をいじってその動作を生成しようL.と&.しましたが、うまくいきませんでした。これを実現するために、私が見逃しているある種の演算子または原則はありますか? 問題全体を考えすぎていたとしても驚かないでしょうが、アイデアが不足しています。

編集：

現時点で、私が持っている唯一の実用的な解決策はこれです：

これは、リストのランレングス エンコーディングを生成し、ボックスを削除せずにエンコーディングを元に戻す 2 段階のプロセスです。もともとJとHaskellを使って99問を連立で解こうと思ってやっているので、12問を先に解いて9問を解けばいいのか、という感じです。

Jで次の名前を定義したと想像してください。

これは次のようになります。

このリストのリストの各リストに適用されるランク1の単動詞を作成したいと思います。リスト内の各代替アイテムに2倍（+:）または1（）を追加します。>:この動詞を最初の行に適用すると、が得られ2 3 6 5 10ます。

各アイテムと交互になるブール値のリストを取得するのはかなり簡単です。たとえば、0 1 $~{:$ mを与え0 1 0 1 0ます。と思った、ああ！+:`の後にいくつかの式を続けるようなものを使用します>: @.が、それを完全に機能させることはできませんでした。

助言がありますか？

アップデート

以下は機能しているように見えますが、おそらくJプロによってよりエレガントなものにリファクタリングすることができます。

ローランド素数列に慣れていない場合は、ここで調べることができます。次のように、このシーケンスの最初のn項を生成するために、J で醜い手続き型単項動詞を作成しました。

これは完全に機能し、実際にシーケンスの最初のn項を生成します。( n項とは、最初のn 個 の異なる素数を意味します。)

の出力は次のrowland 20とおりです。

私の質問は、これをより慣用的な J でどのように書くことができるかということです。手がかりはありませんが、次の関数を作成して、必要な手順の 1 つである、数字のリスト内の連続する数字の違いを見つけました。これは、おそらく私よりも経験豊富な J プログラマーによってリファクタリングされる可能性がありますが、次のとおりです。

Project Euler の問題のうち 84 を解決しましたが、ほとんどは Haskell でした。J. _ _

現在、問題 56を解決しようとしています。Haskellですでに解決しているので、正しい答えが何であるかをすでに知っていることを強調させてください。とても簡単で、些細な問題です。答えはここでは言いません。

Jでの私の解決策は次のとおりです。

これにより、目的の結果よりも少ない数値が生成されます。つまり、どこか間違っている。そこにいるJ-ersは理由を知っていますか? それは非常に簡単で、完全に力ずくなので、私は困惑しています。

ファイルなどの読み取りと書き込みができるようにしたいのですが、どうすればよいですか？

私は C、Fortran、Python、R、Matlab、およびいくつかの Lisp のバックグラウンドを持っており、Haskell についていくつか読んだことがあります。J や APL ファミリーの他の言語で、より一般的な言語では実装されていないユニークなアイデア/例は何ですか? 何が欠けているのかを見つけることに常に興味があります...