Tabrou

エラー

[×]ボタン、またはこのダイアログ以外のところをクリックすると閉じます。

警告

[×]ボタン、またはこのダイアログ以外のところをクリックすると閉じます。

情報

[×]ボタン、またはこのダイアログ以外のところをクリックすると閉じます。

個体名の選択

量化記号の展開のときの個体名の選択

[×]ボタン、またはこのダイアログ以外のところをクリックすると閉じます。

置き換えの方向

同一性肯定のときの置き換えの方向

式：

[×]ボタン、またはこのダイアログ以外のところをクリックすると閉じます。

エクスポート

以下のTeXソースをコピー＆ペーストしてください。

TeX source here
Exmaple:
\ptbegtree
 \ptbeg
 \npile{S\\
        see' (s, k)\\
        \lambda y see' ( y,k ) (s)}
    \ptbeg
    \npile{NP\\s}
      \npile{Sam\\s}
    \ptend
    \ptbeg
    \npile{VP\\ \lambda y see' ( y,k )\\
                 \lambda x \lambda y see' ( y,x ) (k)}
            \ptbeg
            \npile{V\\ \lambda x \lambda y see' ( y,x ) }
                \npile{saw\\ \lambda x \lambda y see ( y,x )}
            \ptend
            \ptbeg
            \npile{NP\\k}
                  \npile{Kim\\k}
            \ptend
     \ptend
\ptend
\ptendtree

[X]ボタン、またはこのダイアログ以外のところをクリックすると閉じます。

説明ページ English Version

式の入力

前提

結論

タブロー

ここはデバッグ・テスト用本番では消えます

式の入力

前提

結論

タブロー

ここはデバッグ・テスト用 本番では消えます

ここはデバッグ・テスト用本番では消えます