ケット（ソフトウェア）
| ケット | |
|---|---|
 | |
| 安定版リリース | 0.5.05 / 2015年3月22日 |
| 書かれた | ジャワ |
| オペレーティング·システム | クロスプラットフォーム（マルチプラットフォーム） |
| タイプ | コンピュータ代数システム |
| ライセンス | GPL v2 |
| Webサイト | sourceforge.net/projects/ket |
Ketはオープンソースの代数エディタです。MathematicaやMapleのようなエディタやLaTeXのような組版システムとは異なり、主にインタラクティブ性を重視し、代数方程式を簡単に操作するための様々な機能を提供することで、テキストエディタや手書きに匹敵する利便性を提供することを目指しています。[ 1 ]
概要
Ket は、方程式編集のプロセスを、キーボードまたはマウス ジェスチャで実行される一連の小さな編集に分割します。
既存の式を削除、整理、結合するコマンドに加え、新しい記号や式を追加するためのコマンドも用意されています。式には多くの繰り返しが含まれることが多いため、既存の式を再利用する方が書き直すよりも速い場合があります。コマンドは瞬時に更新されるため、ユーザーは式を従来の数学表記法で表示しながら、小さな断片の集合として操作することができます。
表現
Ket は、数式を3つの異なる形式で表現します。まず、数式はユーザーに表示されるだけでなく、従来の数学表記法で画像としてエクスポートすることもできます。次に、内部的には、指示コマンドを標準化したツリー構造で数式を表現する方が効率的です。最後に、数式の一部を記述したりファイルに保存したりする際に、カスタムマークダウン言語が使用されます。この言語は、必要に応じて マークダウン、LaTeX、プレーンテキストの数式表記法を統合します。
従来の数学表記法は、文字と線が入ったボックスの中にボックスが連なり、それらが表す関数、演算、変数、または値を表します。編集するたびに、方程式はこの形式に変換され、レンダリングされます。
ただし、編集コマンドは方程式の表現方法が異なり、キーボードの方向コマンドもこれを反映しています。ファイルシステムにおけるファイルとフォルダ内のフォルダの階層構造に類似し、各方程式はツリー構造で表現されます。Ket の各方程式は、演算と関数（ツリーの枝）と変数と値（ツリーの葉）のツリー構造です。
ファイル形式は、独自の非標準マークダウン言語で構成されています。また、編集時には、数式の一部はプレーンテキストで入力され、ツリー構造に変換されます。数式はメモリ上に表現され、ユーザーに表示されるためにツリーマップに変換されます。ファイル形式はプレーンテキストで、ファイルの読み込みと保存時にツリー構造との間で変換されます。
交流
様々なインタラクションが可能です。ツリー構造の再構成や簡単な代数演算の実行など、様々な操作が可能です。マウスドラッグで関数の引数の順序を変更できます。また、式の一部を別の式に追加したり削除したり、変数を代入したりすることも可能です。ページ単位の数式をプレーンテキストで表現するとすぐに扱いにくくなりますが、小さなプレーンテキストの断片を操作することで、既存の選択範囲を素早く置換、識別、更新できます。優れた文章作成が書き直しだとすれば、優れた代数処理は既存の式を再構成することと言えるでしょう。
編集
最も簡単な編集方法は、マウスジェスチャーを使ってある式を別の式に置き換えることです。さらに、右クリックメニュー、またはメニュー項目の方向への右ドラッグで、引数を削除、コピー、または追加することもできます。
Ket はモーダル エディタです。つまり、エディタのモードに応じて情報の表示方法やユーザの操作方法が変わります。 デフォルトでは、キーボード コマンドは、現在の選択範囲を削除する ('x') など、特定の選択コマンドまたは変換コマンドを実行します。 コマンドによっては、貼り付け ('p') のように、指示を続ける必要があります。 選択範囲を数式の一部に置き換える ('r') など、テキスト ブロックを必要とするコマンドもあります。 テキスト行の編集 エディタには、テキスト、数式、画像、またはプロットの行のリストが表示されます。 テキストを編集するには、<Ctrl-r> でテキスト編集を開始し、<Esc> または <Ctrl-c> で編集を停止します。 ここで、<Enter> で改行し、テキスト編集を続行します。
すべての編集は現在の選択範囲を基準に行われるため、選択範囲を変更するためのさまざまなコマンドが用意されています。移動には矢印キーを使用できますが、タッチタイピングの位置に手を置いた方が速いため、さまざまなキーで方向を示すことができます。方程式間を上に移動するには「k」、下に移動するには「j」を使用するだけでなく、各方程式に出入りすることもできます。つまり、ツリーのさまざまな部分を選択できます。「h」と「l」で前の式と次の式を選択し、「i」と「o」でツリーの左と右の引数を選択します。最後に、<Space> キーで戻ります。
数式の一部を必要とするコマンドを入力すると、プログラムはモードを変更します。ここでは、数式の一部をプレーンテキストで入力できます。このモードでは、 BashやEmacsユーザーに馴染みのあるReadlineコマンドも使用できます。
これを<Enter>キーを押す（または<Escape>キーでキャンセルする）と、数式に変換されます。変換コマンド編集は、意味の異なるレベルで行うことができます。編集では、式の元の意味を維持する必要はありません。例えば、多項式パターンをコピーし、すべての変数を新しい変数に置き換えることで、再利用できます。様々な構文的および意味的な変換も可能です。現在選択されている「r」を新しい数式に置き換えるなど、単純なものもあれば、分配法則のように循環的に実行されるものもあります。
<Ctrl-n> と <Ctrl-p> を使用します。
replace などのコマンドでは、数式の一部をプレーンテキストで表現する必要があります。
多くの場合、テキストフラグメントは既に入力されており、参照することができます。そのフラグメントが現在の式内に存在する場合は、「\address」（バックスラッシュに続けて引用符なしのアドレスを記述）を使用します。ここで、アドレスの連続する数字はn番目の引数を参照します。
同様に、既存の方程式は、方程式 1 などに対して「#1」として参照される場合があります。また、別の方程式内のアドレスは、方程式 1 内の 2 番目の引数、3 番目の引数、4 番目の引数に対して「1#234」として参照されます。
参考文献
- ^ “What is Ket” . Ket.sourceforge.net . 2025年4月21日時点のオリジナルよりアーカイブ。 2025年4月21日閲覧。
外部リンク
