LATEXソースの解析による編集ツールの提供
スポンサーリンク
概要
- 論文の詳細を見る
Emacs editorを拡張して, 編集するテキストの構文解析を盛り込んだツールを用意しようとする場合, Emacsの内部でのテキスト・データの扱いや, Emacsの拡張言語であるEmacs lispの処理速度に起因する制限のため, Emacs lispでのプログラミングのみに頼った実現は実行速度の面での限界がある.本研究では, 時間のかかる構文解析の部分をflex/bisonを用いてEmacsの外側に実現し, このプログラムをEmacsから呼びだすことにより, Emacsl lispだけでは実用的な実行速度の実現の困難なツールを提供する, という方針の検討を行う.このようなツールの実現の例としてLATEXのソース・テキストの表示の色分けプログラムのプロトタイプを作成する.
- 一般社団法人情報処理学会の論文
- 2000-10-12
著者
-
吉田 慎
北見工業大学情報システム工学科
-
渕野 昌
北見工業大学情報システム工学科
-
渕野 昌
神戸大学大学院工学研究科
-
渕野 昌
Department Of Natural Science And Mathematics
関連論文
- LATEXソースの解析による編集ツールの提供
- LATEXソースの解析による編集ツールの提供
- A stronger version of stationarity preserved under
- A stronger version of stationarity preserved under
- On Kunen's Theorem Concerning Projective Absoluteness
- 加法的関数の連続性について
- R. Dedekind の数学の基礎付けと集合論の公理化 (数学史の研究)
- Fodor-type Reflection Principle and Balogh's reflection theorems (Combinatorial set theory and forcing theory)
- Left-separated topological spaces under Fodor-type Reflection Principle (Combinatorial and Descriptive Set Theory)
- A generalization of a problem of Fremlin (Axiomatic Set Theory and Set-theoretic Topology)
- $^\kappa\kappa$ in light of the Tukey ordering(Forcing and Infinitary Combinatorics)
- PRINC$(\kappa, \lambda)$, $C^s(\kappa)$, HP$(\kappa)$ etc. and variants of the bounding number (Forcing Method and Large Cardinal Axioms)
- Forcing Axioms と連続体問題 : 公理的集合論の最近の話題から
- Internal approachabilityの諸相とその応用 (集合論的手法による相対的無矛盾性の証明の周辺)
- Models of real-valued measurability (Axiomatic Set Theory)
- Weak Freese-Nation Propertyについて
- Open Coloring Axiomについて(数学基礎論およびその応用)
- Remarks on the coloring number of graphs (Interplay between large cardinals and small cardinals)
- On reflection and non-reflection of countable list-chromatic number of graphs (Aspects of Descriptive Set Theory)
- Is "naive set theory" really that naive ? (Study of the History of Mathematics)
- 加法的関数の連続性について
- A stronger version of stationarity : preserved under