数式入力システムXeedのTEX対応への拡張
スポンサーリンク
概要
- 論文の詳細を見る
近年,コンピュータ高機能化とデスクトップパブリシング(DTP)ソフトウェアの充実により,誰でもある程度の学習により高品質の文書を作成することができる環境が整いつつある.しかし,理工系の文書に頻繁に現われる数式を組版することは依然として複雑な作業である.図形エディタを用いて数式を描くことも可能ではあるが,数式の整形作業をユーザーが全て行わなければならないため,不便である.文章中における数式の持つ意味は,挿し絵や図表のような図形というより,むしろ文章そのものに近い.TEX,Roff等の組版,清書プログラムは現在広く普及しているが,高品質な印刷結果が得られる反面,期待通りの結果を得るためには,かなりの熟練が必要となる.また,プレビューアを用いて何度も印刷結果の確認をしなければならず,繰り返し作業が多い,従って,多くの初心者にとっては,入力した数式の形が即座に確認できるWYSIWYG方式の方が作業効率の点では優れている.以上の観点から,我々は数式をキーボードから直接入力・編集できる数式エディタXeedを開発している.本文では組版システムとして広く普及しているTEXへの対応が可能なように,XeedにTEXファイルの入出力機能を組み込み,WYSIWYG方式のXeedをTEXファイルの数式入力用フロントエンドプロセッサとして利用可能にしたので,その概要を報告する.
- 一般社団法人情報処理学会の論文
- 1992-02-24
著者
関連論文
- 統計的静的遅延解析手法における相関の取り扱いについて(システムオンシリコン設計技術並びにこれを活用したVLSI)
- nMOSレベルシフタ回路の性能比較(低消費電力回路,システムオンシリコンを支える設計技術)
- グラウンド平面・シールド配線によるシステム・オン・パネルの配線間容量の低減と容量見積りの容易化(レイアウト設計,システムLSI設計とその技術)
- システム液晶のための配線容量抽出手法(レイアウト設計検証, システムLSIの設計技術と設計自動化)
- システム液晶のための配線容量抽出手法(レイアウト)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- システム液晶のための配線容量抽出手法(レイアウト)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 領域分割による配線間容量モデル化手法について(通信と非線形特集及び一般)
- 製造ばらつきを考慮したDフリップフロップの性能評価
- 配線間容量モデル化とその評価について
- 製造ばらつきを考慮したマクロセルレイアウト合成システム
- 統計的静的遅延解析における偽パス除去手法について
- CMOS組み合わせ回路のための相関を考慮した統計的静的遅延解析手法
- マクロセルの最適レイアウト合成システム
- 入力遷移時間を考慮した高フィデリティ配線遅延見積もりの一手法
- A-3-7 遅延の相関を考慮した統計的静的遅延解析手法の性能評価
- 製造ばらつきを考慮したマクロセルレイアウト合成システム
- CMOS組み合わせ回路のための相関を考慮した統計的静的遅延解析手法
- CMOS組み合わせ回路のための相関を考慮した統計的静的遅延解析手法
- マクロセルの最適レイアウト合成システム
- nMOSレベルシフタ回路の性能比較手法について(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- nMOSレベルシフタ回路の性能比較手法について(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- nMOSレベルシフタ回路の性能比較手法について(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- 小型LCD駆動回路用タイミングパルス生成回路の自動レイアウトシステム(性能及び製造性考慮物理設計,システムオンシリコンを支える設計技術)
- 製造ばらつきを考慮した電源電圧低下による回路タイミングエラー危険度解析と電源配線最適化(信号処理,LSI,及び一般)
- 製造ばらつきを考慮した電源電圧低下による回路タイミングエラー危険度解析と電源配線最適化(信号処理,LSI,及び一般)
- 製造ばらつきを考慮した電源電圧低下による回路タイミングエラー危険度解析と電源配線最適化(信号処理,LSI,及び一般)
- 製造ばらつきを考慮したDフリップフロップの性能評価
- トップダウン型遅延最小化配線の一手法
- 統計的静的遅延解析における偽パス除去手法について
- 統計的静的遅延解析における偽パス除去手法について
- 電圧および温度変動を考慮した遅延ばらつきモデル構築の一手法(製造性考慮設計,システムオンシリコンを支える設計技術)
- 統計的設計のための2つの指標の評価(低消費電力回路,システムオンシリコンを支える設計技術)
- マルチチップモジュｰル向き高速配線システム
- アニーリング法における段階的近傍制限手法について(グラフ,ペトリ,ニューラルネット,及び一般)
- アニーリング法における段階的近傍制限手法について(グラフ,ペトリ,ニューラルネット,及び一般)
- アニーリング法における段階的近傍制限手法について
- 統計的タイミング解析のための遅延およびスリューの分布表現手法について(SoC・解析,組込技術とネットワークに関するワークショップETNET2008)
- 統計的タイミング解析のための遅延およびスリューの分布表現手法について(SoC・解析,組込技術とネットワークに関するワークショップETNET2008)
- 統計的タイミング解析のための遅延およびスリューの分布表現手法について(SoC・解析,組込技術とネットワークに関するワークショップETNET2008)
- 統計的タイミング解析のための遅延およびスリューの分布表現手法について(SoC・解析,組込技術とネットワークに関するワークショップETNET2008)
- 混合正規分布を用いた統計的タイミング解析手法の精度向上について(低電力設計と回路設計技術,システムオンシリコンを支える設計技術)
- パワーゲーティングにおけるラッシュカレント評価のための大規模LSIモデル構築の一提案(低電力設計,デザインガイア2010-VLSI設計の新しい大地-)
- パワーゲーティングにおけるラッシュカレント評価のための大規模LSIモデル構築の一提案(低電力設計,デザインガイア2010-VLSI設計の新しい大地-)
- 4.製造ばらつきを考慮した自動設計手法(CMOSデバイスの微細化に伴う特性ばらつきの増大とその対策)
- CADツールの使い方? : タイミング解析を中心に(低消費電力設計,信号処理,LSI,及び一般)
- CADツールの使い方? : タイミング解析を中心に(低消費電力設計,信号処理,LSI,及び一般)
- CADツールの使い方? : タイミング解析を中心に(低消費電力設計,信号処理,LSI,及び一般)
- VLSIのフロアプラン最適化における解の評価手法について
- IT 社会における電子技術者
- フロアプラン最適化における解の評価手法について
- A-3-22 最適3端子Elmore配線木について
- Elmore遅延の重み付き総和最小化配線問題に関する一考察
- グラフの極小Separating Setの列挙について
- グラフの極小separating setの列挙について
- BDDの分割によるパストランジスタ論理回路の生成に関する一考察
- BDDの分割によるパストランジスタ論理回路の生成に関する一考察
- 木状ネットワークにおけるp-回収問題に対する新手法
- 並列配線のための仮想端子位置決定問題に対する一手法
- 並列配線手法における仮想端子位置決定問題について
- nMOSレベルシフタ回路の性能比較手法について(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- 液晶ディスプレイ用サンプリング回路におけるサンプリングパルスとトランジスタサイズの最適設計手法(VLSI設計技術とCAD)
- 遷移時間ばらつきを考慮した統計的タイミング解析に関する一考察
- 液晶ディスプレイ用サンプリング回路の最適性について(演算回路/専用回路,システムオンシリコン設計技術並びにこれを活用したVLSI)
- 液晶ディスプレイ用サンプリング回路の最適性について(演算回路/専用回路,システムオンシリコン設計技術並びにこれを活用したVLSI)
- 画素充電率制約を満足する液晶ドライバ回路のトランジスタサイズ決定技術(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 画素充電率制約を満足する液晶ドライバ回路のトランジスタサイズ決定技術(システムオンシリコン設計技術並びにこれを活用したVLSI)
- A-3-4 液晶ディスプレイ用サンプリング回路の設計手法について(A-3.VLSI設計技術,基礎・境界)
- ハイブリッド階層型多層概略配線手法
- システム液晶のための配線容量抽出手法(レイアウト)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- システム液晶のための配線容量抽出手法(レイアウト)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 配線間容量モデル化とその評価について
- 配線間容量モデル化とその評価について
- nMOSダイナミック論理を用いた液晶駆動回路の設計手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
- nMOSダイナミック論理を用いた液晶駆動回路の設計手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 数式入力システムXeedのTEX対応への拡張
- 数式エディタXeedの試作
- 卓上出版における最適行構成手法に関する一考察(ネットワークプロセッサ,通信のための信号処理,及び一般)
- 卓上出版における最適行構成手法に関する一考察(ネットワークプロセッサ,通信のための信号処理,及び一般)
- 卓上出版における最適行構成手法に関する一考察(ネットワークプロセッサ,通信のための信号処理,及び一般)
- ゲ-トアレイ方式LSIに対する一グロ-バル配線手法 (LSI特集) -- (配置・配線CAD)
- パス遅延の相関を考慮した統計的静的遅延解析手法の実装とその評価(VLSI設計技術とCAD)
- 正規分布を用いた統計的静的遅延解析手法の性能評価(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 正規分布を用いた統計的静的遅延解析手法の性能評価(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 正規分布を用いた統計的静的遅延解析手法の性能評価(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 正規分布を用いた統計的静的遅延解析手法の性能評価(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- A-3-5 統計的静的遅延解析手法の高速化プログラミング(A-3.VLSI設計技術,基礎・境界)
- Elmore遅延を用いた配線遅延ばらつきの相関計算手法(プロセス・デバイス・回路シミュレーション及び一般)
- Elmore遅延を用いた配線遅延ばらつきの相関計算手法(プロセス・デバイス・回路シミュレーション及び一般)
- 木の変換手法を用いた配線木型状最適化の一手法
- 混合正規分布を用いた統計的静的遅延解析手法の性能評価(DFM,システムオンシリコンを支える設計技術)
- 混合正規分布統計的最大値演算における最適性評価の一考察(DFM,システムオンシリコンを支える設計技術)
- 移動通信ネットワークにおける適応型リソース割当て方式(モバイルNW)
- A-3-2 CMOSインバータの出力波形ばらつきの記号解法について(A-3.VLSI設計技術,一般講演)
- 2頂点間のすべての順路の一生成手法とその応用
- カットセットの列挙法について
- 有向グラフのすべてのサイクルを求めるための一手法
- 拘束を入れた割当問題の計算複雑度について(グラフ理論とその応用)
- 外部端子割当問題の計算複雑度について
- 経年劣化を考慮した統計的遅延解析の一手法
- 経年劣化を考慮した統計的遅延解析の一手法