数式表示制御装置、コンピュータプログラム、プログラム格納媒体
【課題】ブラウザ端末の種別に依らず数式を含むＷｅｂページを正確に表示させる。
【解決手段】ＷＷＷサーバー機能を備え、数式記述言語の数式と所定のプログラムの実行指示を含んだ第１文書整形データを記憶し、ブラウザ端末が要求したＷｅｂページの第１文書整形データを返送してプログラムを実行させた結果、数式記述言語を解釈できるブラウザ端末に１文書整形データに基づいてＷｅｂページを表示させ、解釈できないブラウザ端末にページ識別情報をページ変換手段に送付させ、ページ変換手段はページ識別情報に対応する第１文書整形データの数式を別言語で記載するともに別言語の数式を画像として表示させるための第２文書整形データを生成し、第２文書整形データを解釈したブラウザ端末に別言語の数式を数式変換手段に送付させ、数式変換手段が変換した数式画像をブラウザ端末に返送してＷｅｂページ中に表示させる数式表示制御装置としている。
【解決手段】ＷＷＷサーバー機能を備え、数式記述言語の数式と所定のプログラムの実行指示を含んだ第１文書整形データを記憶し、ブラウザ端末が要求したＷｅｂページの第１文書整形データを返送してプログラムを実行させた結果、数式記述言語を解釈できるブラウザ端末に１文書整形データに基づいてＷｅｂページを表示させ、解釈できないブラウザ端末にページ識別情報をページ変換手段に送付させ、ページ変換手段はページ識別情報に対応する第１文書整形データの数式を別言語で記載するともに別言語の数式を画像として表示させるための第２文書整形データを生成し、第２文書整形データを解釈したブラウザ端末に別言語の数式を数式変換手段に送付させ、数式変換手段が変換した数式画像をブラウザ端末に返送してＷｅｂページ中に表示させる数式表示制御装置としている。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、ＷＷＷサーバー機能を備えたコンピュータシステムにより、ブラウザ端末に数式を含むＷｅｂページを表示させるための制御技術に関する。
【背景技術】
【０００２】
周知のごとく、ＨＴＭＬに代表される文書整形言語（マークアップ言語）は、Ｗｅｂページがブラウザを実行するコンピュータ（ブラウザ端末）に表示された際の文章の構造（段落など）や見栄え（フォントサイズなど）の体裁（組版状態）を記述するための言語であり、その組版状態における各種指定（段落、フォントなど）をマークアップと呼び、マークアップを記述するための文字列をタグと呼んでいる。１ページ分のＷｅｂページの組版状態を記載したＨＴＭＬ文書などの文書整形データには、多数のタグが記述され、ブラウザ端末は、文書整形データを解釈し、各タグに記述されている指定に従って組版処理を行い、Ｗｅｂページの作成者が意図した組版状態でＷｅｂページを表示する。
【０００３】
ところで、ブラウザ端末に数式を含むＷｅｂページを表示させようとする場合、数式中に文字コードが存在しない特殊な記号が存在すると、通常のＨＴＭＬ文書では、その記号を文字として表示させることができない。
【０００４】
しかし、特殊な記号を伴う数式があっても、数式を画像にしてしまえば、ブラウザ端末は、問題なくＷｅｂページ中に数式を表示することができる。また、数式を取り扱うための専用のマークアップ言語もあり、ブラウザ端末に実装されているブラウザがその言語に対応していれば、数式を表示することができる。例えば、MathMLと呼ばれる数式を記述するためのマークアップ言語（数式記述言語）では、ＷＷＷサーバー側で、ＸＭＬで組版状態と数式記述言語に特有のタグを指定してＷｅｂページを記述しておき、ブラウザ端末側に、この数式記述言語の解釈が可能なブラウザと数式で用いる各種記号を表現するためのフォントデータをインストールしておけば、ブラウザ端末は、数式を画像ではなく、文字として表示することができる。また、数式を記述するタグをＷｅｂページとは別のウインドウで表示したりすることができる。もちろん、数式やその数式を記述するためのタグを文字列として周知のコピー／ペーストにより他の文書に複写することもできる。
【０００５】
また、一部のブラウザ（例えば、インターネット・エクスプローラ［Internet Explorer］（登録商標））がインストールされているブラウザ端末では、MathMLのタグを解釈して表示するプラグインと呼ばれる補助プログラム（例えば、Mathplayer）を追加インストールすることで、Ｗｅｂページ中にMathMLで表現された数式を表示し、その数式を拡大したり、数式やその数式を記述するタグをコピー／ペーストしたりすることができる。
【発明の概要】
【発明が解決しようとする課題】
【０００６】
上述したように、数式を含むＷｅｂページをブラウザ端末に表示させる方式がいくつか存在するが、技術的には、数式を画像として表示させる方式（画像表示方式）と、数式記述言語によって記述する方式（数式記述言語方式）の２方式に集約できる。数式記述言語方式は、Ｗｅｂページの閲覧者側については、ブラウザ端末がパーソナルコンピュータなどの汎用のコンピュータであれば、数式記述言語の解釈が可能なブラウザやプラグインを別途インストールすることで容易に対応することができ、Ｗｅｂページの作成者側では、数式を画像に変換する作業がないので、修正などにも迅速に対応することができるという利点がある。画像よりデータ量が少ない、という利点もある。以上から、数式記述言語で数式を記述したＷｅｂページが今後の主流となる可能性が高い。
【０００７】
しかし、同じＷｅｂページを閲覧するユーザが使用するブラウザ端末が多種多様である限り、数式を含むＷｅｂページをどちらか一方の方式だけで公開することは難しい。特に、数式記述言語に対応させることが難しいブラウザを実装した携帯電話（以下、ブラウザフォン）をブラウザ端末として使用しているユーザが多数存在することを考慮すれば、数式を含む同じ内容の文書をインターネット上に公開する際には、その文書を要求してきたブラウザ端末の種別に応じて数式を画像で表示するＷｅｂページと数式記述言語記で記述したＷｅｂページを選別して送付することになる。
【０００８】
ここで、画像表示方式と数式記述言語方式の両方式に対応させる場合について考察すると、数式を画像で表示するブラウザ端末用のＷｅｂページと数式記述言語記を解釈するブラウザ端末用のＷｅｂページの双方を個別の文書整形データにしてＷＷＷサーバーの記憶資源に格納させると、その記憶資源のデータ格納容量を圧迫させてしまう。また、Ｗｅｂページの作成者にとっては、数式を修正する際に、画像と数式記述言語の双方を修正する必要があり、その修正作業に膨大な時間が掛かる。さらに、数式を画像で表示するブラウザ端末が画面面積の小さいブラウザフォンなどである場合、その数式の画像の表示サイズがＷｅｂページ中で相対的に小さくなるため、その数式が見にくくなる。とくに、数学や物理学、経済学など、文書において数式が最も重要な情報である場合で、しかも、教育機関がそれらの学問についての講義や基礎知識などをＷｅｂページを使って提供している場合では、各学生におけるＷｅｂページの閲覧環境の差がそのまま学力差につながる可能性もある。
【課題を解決するための手段】
【０００９】
本発明者は、上述したような数式を含むＷｅｂページをブラウザ端末に表示させる際に生じる様々な課題について考察した。そして、数式を含むＷｅｂページとして、数式記述言語で数式を記述したＷｅｂページのみをＷＷＷサーバーに格納しておき、アクセスしてきたブラウザの種別に応じてその数式部分を画像に変換すれば、ＷＷＷサーバーの記憶資源を節約することができ、数式の修正にも迅速に対応できると考えた。
【００１０】
さらに、すでにある所定のマークアップ言語処理ソフトウエア（例えばmimeTeX[マイム・テフ]）では、特定のマークアップ言語（例えばTeX[テフ]）で規定されている記述方式に従って記述されている数式を所定形式（例えばGIF形式）の画像に変換することができるので、その既存のマークアップ言語処理ソフトウエアを有効活用することも考えた。すなわち、今後の主流となることが予想されるMathMLなどの数式記述言語で数式を記述しておき、このMathMLなどをTexなどの画像変換に有利なマークアップ言語で記述し直し、その記述し直した数式を既存のソフトウエアを使って画像に変換することを考えた。もちろん、画面サイズが小さいブラウザ端末で数式を画像で表示させてもその数式を見やすくするための技術についても考察した。
【００１１】
本発明は、以上の考察に基づきなされたもので、その目的は、ユーザがブラウザ端末の種別に依らず快適に数式を含むＷｅｂページを閲覧することができ、Ｗｅｂページの作成者が数式を迅速に修正できるＷＷＷサーバー機能を備えたコンピュータシステム（数式表示制御装置）と、当該数式表示制御装置自身の処理負荷を軽減させ記憶資源を節約させるための仕組みを提供することにある。
【００１２】
上記目的を達成するための本発明は、ブラウザ端末とＨＴＴＰ通信を行うＷＷＷサーバー機能を備えたコンピュータシステムから構成されて、数式を含んだＷｅｂページをブラウザに表示させるための数式表示制御装置であって、
記憶手段と、第１文書返送手段と、第１ページ変換手段と、数式変換手段とを備え、
記憶手段は、多数のＷｅｂページのそれぞれの起源として、Ｗｅｂページの組版状態が第１形式の文書整形言語で記述されているとともに、第１形式の数式記述言語で記述された数式Ｂと、ブラウザ端末Ａに種別判別プログラムを実行させるための記載とを含んだ第１文書整形データを記憶し、
第１文書返送手段は、特定のＷｅｂページを要求してアクセスしてきたブラウザ端末Ａに、当該Ｗｅｂページの第１文書整形データＣを返送し、
種別判別プログラムは、当該プログラムを実行したブラウザ端末Ａに対し、実装されているブラウザの種別を判別させるとともに、その判別結果として、前記種別が前記第１形式の数式記述言語を解釈可能な第１種ブラウザ端末である場合は第１文書整形データＣを解釈させてＷｅｂページの組版を行わせるとともに、当該第１文書整形データＣ中の前記第１形式の数式記述言語で記述された数式Ｂを当該Ｗｅｂページに挿入表示させ、
前記種別判別プログラムを実行したブラウザ端末Ａが前記第１形式の数式記述言語の解釈が不可能な第２種ブラウザ端末である場合は、前記第１文書整形データＣを特定するためのページ識別情報Ｄをパラメータとして、当該パラメータを第１ページ変換手段に送付させ、
前記第１ページ変換手段は、前記種別判別プログラムを解釈したブラウザ端末Ａから送付されてきたページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該第１文書整形データＣ中の数式Ｂを第２形式の数式記述言語で記述した数式Ｅに変換する処理と、前記第１形式の文書整形言語で前記組版状態を記述するとともに、数式Ｅと、ブラウザ端末Ａに対し数式Ｅを数式変換手段に送付させるための数式画像要求制御文と、ブラウザ端末Ａに対し前記数式変換手段から送付されてきた画像を表示させるための数式画像表示制御文とを記載した第２文書整形データＦを生成する処理と、当該第２文書整形データＦをブラウザ端末Ａに返送する処理とを実行し、
前記数式変換手段は、第２文書整形データＦを送付したブラウザ端末Ａが前記数式画像要求制御文を解釈して第２形式の数式記述言語で記述された数式Ｅが送付されてくると、当該数式Ｅを画像に変換してブラウザ端末Ａに送付する数式表示制御装置としている。
【００１３】
上記数式表示制御装置は、第２ページ変換手段を備え、
前記第１種ブラウザ端末は、第１形式の数式記述言語を解釈するプログラムがブラウザ用の補助プログラムとして実装されているブラウザ端末であり、
前記種別判別プログラムは、前記判別結果として、前記種別が前記補助プログラムを必要としないで第１形式の数式言語の解釈が可能な第３種のブラウザ端末である場合、前記ブラウザ端末Ａに対し、前記第１文書整形データＣを特定するためのページ識別情報Ｄをパラメータとして、当該パラメータを前記第２ページ変換手段に送付させ、
第２ページ変換手段は、前記ブラウザ端末Ａから送付されてきたページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該取り出した第１文書整形データＣにおいて前記第１形式の文書整形言語で記述された前記組版状態を第２形式の文書整形言語で記述した第３文書整形データＧに変換する処理と、当該第３文書整形データＧを前記ブラウザ端末Ａに返送する処理とを実行することとしてもよい。
【００１４】
そして、前記第１ページ変換手段は、前記第１文書整形データＣに設定されているハイパーリンクについて、当該設定箇所に記載されているリンク先を識別するための情報をパラメータとして、当該パラメータを第１ページ変換手段に送付する旨のハイパーリンクに再設定し、当該再設定したハイパーリンクを前記第２文書整形データＦに含ませるようにした数式表示制御装置とすることもできる。
【００１５】
前記第２ページ変換手段を備えた数式表示制御装置は、前記第１文書整形データＣに設定されているハイパーリンクについて、当該設定箇所に記載されているリンク先を識別するための情報をパラメータとして、当該パラメータを第２ページ変換手段に送付する旨のハイパーリンクに再設定し、当該再設定したハイパーリンクを前記第３文書整形データＧに含ませるように構成してもよい。
【００１６】
上記いずれかの数式表示制御装置において、前記第１ページ変換手段は、前記数式画像要求制御文に、数式変換手段を宛先として、数式の表示サイズを指定するための数式サイズ情報の初期値をブラウザ端末Ａに送付させるための記載を含ませるとともに、ブラウザ端末Ａに対するユーザ入力によって表示サイズの指定を受け付ける機能と、ブラウザ端末に対するユーザ入力によって前記表示サイズの指定情報と前記ページ識別情報Ｄを第１ページ変換手段に送付させるための機能とを第２文書整形データＦに含ませ、
前記第１ページ変換手段は、第２文書整形データＦを送付したブラウザ端末において入力された前記表示サイズの指定情報Ｈが前記ページ識別情報Ｄとともに送付されてくると、当該指定情報Ｈとページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該第１文書整形データＣ中の数式Ｂを第２形式の数式記述言語で記述した数式Ｅに変換する処理と、前記第１形式の文書整形言語で前記組版状態を記述するとともに、前記指定情報Ｈを数式サイズ情報として、ブラウザ端末Ａに対し当該数式サイズ情報と数式Ｅとページ識別情報Ｄを数式変換手段に送付させるための数式画像要求制御文と、ブラウザ端末Ａに対し前記数式変換手段から送付されてきた画像を表示させるための数式画像表示制御文とを記載した第２文書整形データＪを生成する処理と、当該第２文書整形データＪをブラウザ端末Ａに返送する処理とを実行し、
前記数式変換手段は、ブラウザ端末Ａが前記数式画像要求制御文を解釈して第２形式の数式記述言語で記述された数式Ｅと数式サイズ情報が送付されてくると、当該数式Ｅを数式サイズ情報に対応する表示サイズの画像に変換してブラウザ端末Ａに送付する数式表示制御装置とすることもできる。
【００１７】
また、本発明はコンピュータプログラムにも及んでおり、当該コンピュータプログラムは、ＷＷＷサーバー機能と前記記憶手段とを備えたコンピュータにインストールされるコンピュータプログラムであって、前記コンピュータが当該コンピュータプログラムを実行することで、上記いずれかの数式表示装置として機能することを特徴としている。そして、当該コンピュータプログラムを記憶したプログラム格納媒体も本発明の範囲とした。
【発明の効果】
【００１８】
本発明の数式表示制御装置によれば、数式を含むＷｅｂページをインターネット上に公開する際、ユーザはブラウザ端末の種別に依らず快適なＷｅｂページ閲覧環境を得ることができ、Ｗｅｂページの作成者は、数式を迅速に修正でき、かつ装置自体の処理負荷を低減させるとともに、記憶資源を節約することができる。
【図面の簡単な説明】
【００１９】
【図１】本発明の実施例における数式表示制御装置の機能ブロック構成とネットワーク構成を示す図である。
【図２】上記数式表示制御装置がインターネット上に公開するＷｅｂページの画面概略図である。
【図３】上記Ｗｅｂページの起源となる第１文書整形データの一部を示す図である。
【図４】上記第１文書整形データに基づくＷｅｂページに含まれる機能を説明するための図である。
【図５】上記数式表示制御装置とブラウザ端末との通信手順と当該通信過程における情報処理の流れを示す図である。
【図６】第１種ブラウザ端末が表示するＷｅｂページのＵＲＬを示す図である。
【図７】第２種ブラウザ端末が表示するＷｅｂページのＵＲＬを示す図である。
【図８】上記第２種ブラウザ端末が表示するＷｅｂページの起源となる第２文書整形データの一部を示す図である。
【図９】第３種ブラウザ端末が表示するＷｅｂページのＵＲＬを示す図である。
【図１０】上記第３種ブラウザ端末が表示するＷｅｂページの起源となる第３文書整形データの一部を示す図である。
【図１１】上記第２種ブラウザ端末が表示するＷｅｂページの画面概略図である。
【図１２】上記第２種ブラウザ端末が表示するＷｅｂページ中の数式画像のサイズを変更するための数式表示制御装置と第２種ブラウザ端末との通信手順と当該通信過程における情報処理の流れを示す図である。
【図１３】上記数式表示制御装置において、第１文書整形データ中のリンクの記載を書き換える処理の概略図である。
【発明を実施するための形態】
【００２０】
＝＝＝数式表示制御装置＝＝＝
本発明の実施例における数式表示制御装置の機能ブロック構成を図１に示した。本実施例において、数式表示制御装置１のハードウエアは、一般的なコンピュータであり、実装されているプログラムの実行によりＷＷＷサーバーとしての機能１１を備え、インターネットやイントラネットなどのＴＣＰ／ＩＰに準拠したネットワーク２０を介してブラウザ端末とＨＴＴＰ通信する。ここでは、数式表示制御装置１がインターネット２０を介してブラウザ端末３０と通信する例を示した。また、ブラウザフォン３１もブラウザ端末３０として、移動体通信網２１とゲートウエイ２２とを経由してインターネット２０に接続されている。
【００２１】
数式表示制御装置１に付帯されているデータベース１２には、Ｗｅｂページの起源として、Ｗｅｂページがブラウザ端末に表示された際の組版状態を規定するための文書整形データやＷｅｂページ中に挿入される画像などのデータやＣＧＩやｊａｖａ（登録商標）プログラムなど、ブラウザ端末から送付されてきたデータを処理するためのプログラムや、ブラウザ端末側で処理されるプログラムなどが格納されている。
【００２２】
また、ＷＷＷサーバー機能１１を含め、数式表示制御装置１が備える各種情報処理手段（１３〜１５）は、数式表示制御装置１に実装されているプログラムを実行することで実現される。そして、数式表示制御装置１は、ＷＷＷサーバー機能１１により、数式を含むＷｅｂページをインターネット２０上に公開する際、データベース１２に格納されている情報やブラウザ端末３０から送付されてくる情報を各種情報処理手段（１１，１３〜１５）によって処理することで、Ｗｅｂページの閲覧者であるユーザに対し、使用しているブラウザ端末３０におけるブラウザの種別に依存することなく快適にＷｅｂページを閲覧させることができる。また、Ｗｅｂページの作成者が数式を迅速に修正でき、当該制御装置１自身については、記憶資源を節約しつつ処理負荷を低減させることができる。
【００２３】
＝＝＝文書整形データ＝＝＝
数式表示制御装置１の基本機能は、アクセスしてきたブラウザ端末３０に実装されているブラウザの種別（以下、ブラウザ端末の種別）に応じて、数式記述言語で記述した数式を含むＷｅｂページ、あるいは画像にした数式（以下、数式画像）を含むＷｅｂページのいずれかをブラウザ端末３０に送付することにある。しかし、本実施例の数式表示制御装置１は、同じ内容の一つのＷｅｂページについて、ブラウザ端末３０の種別に応じて複数種類の文書整形データを用意せず、原型となる文書整形データ（第１文書整形データ）のみをデータベース１２に格納しておき、アクセスしてきたブラウザ端末３０の種別に応じてその第１文書整形データを他の文書整形データに変換することとしている。それによって、データベース１２の記憶容量を節約している。
【００２４】
図２に本実施例の数式表示制御装置１がＷＷＷサーバー機能１１によってインターネット２０上に公開しているＷｅｂページの画面概略を示した。Ｗｅｂページ５０ａには、積分に関する内容が記載され、変数や関数や関係式など（以下、数式）５１ａが記載されている。図３に、データベース１２に格納されているこのＷｅｂページの起源となる第１文書整形データの一部を示した。所定のマークアップ言語（本実施例では、ＨＴＭＬ）によって記述された文書中に所定の数式記述言語（本実施例ではMathML）によって記述された数式６１ａが含まれている。この文書整形データ６０ａは、特定のブラウザ（本実施例ではInternet Explorer）と特定のプラグイン（本実施例ではMathPlayer）が実装されたブラウザ端末（第１種ブラウザ端末）を対象として作成されたものである。この第１種ブラウザ端末であれば、この第１文書整形データ６０ａを解釈実行して図２に示したＷｅｂページ５０ａを表示することができる。
【００２５】
なお、本実施例における文書整形データ６０ａでは、マークアップ言語としてＨＴＭＬを使用するとともに、objectタグ６３を用いてMathMLの解釈にMathplayerを使用する旨、すなわちMathPlayerの実行ファイルを指定する旨が記述されている。このように、数式を記述する部分以外をＨＴＭＬ形式で記述することは、ＨＴＭＬが文法エラーに対する許容範囲がＸＭＬと比較して広く、Ｗｅｂページの作成者にとっては、第１文書データを厳密に設計しなくても済み、修正や更新作業が容易となる、という利点がある。例えば、改行タグもxmlでは＜br/＞を使わなければならないが、htmlでは＜br＞を使えばよい。同様に、imgタグもxmlでは厳密に、＜mg ・・・・・・ /＞と記述しなければならいが、HTMLでは＜img ・・・・・・＞と記述すればよい。
【００２６】
そして、上述したプラグインが実装されているブラウザ端末であれば、この第１文書整形データ６０ａを解釈実行して図２に示したＷｅｂページ５０ａを表示することができる。また、図４に示したように、数式の部分を拡大表示させたり（図中符号５２参照）、数式部分のタグをコピーして（図中符号５３参照）、他の文書に複写したりすることができる。
【００２７】
本実施例において、数式表示制御装置１は、ＷｅｂページのＵＲＬを指定してアクセスしてきたブラウザ端末３０に対し、まず、第１文書整形データ６０ａを送付することとしている。そのため、第１文書整形データ６０ａにおける数式記述言語を解釈できないブラウザ端末３０は、Ｗｅｂページを正しく表示することができない。そこで、第１文書整形データ６０ａには、どのような種別のブラウザ端末３０であっても、最終的には正しく数式を含んだＷｅｂページを表示させるための制御文（図３符号６２）が含まれている。この制御文６２自体は、ブラウザ端末３０の種別に依らず、どのようなブラウザ端末３０でも解釈可能であり、この制御文６２を解釈したブラウザ端末３０は、数式表示制御装置１と各種情報をやりとりながら、最終的に数式を含んだＷｅｂページを正しく表示するための文書整形データを受け取って、そのＷｅｂページを表示する。
【００２８】
＝＝＝ブラウザの種別＝＝＝
本実施例では、ブラウザ端末３０の種別として、上記特定のブラウザに特定のプラグインを実装し、第１文書整形データから直接Ｗｅｂページを表示する第１種ブラウザ端末と、数式記述言語の解釈が不可能で、数式を画像として表示する第２種ブラウザ端末（例えば、オペラ［Opera］、ブラウザフォンなど）に加え、上記数式記述言語を単独で解釈可能なブラウザ（本実施例では、ＸＭＬとMathMLをともに解釈可能なブラウザ：例えば、ファイヤーフォックス［Firefox］（登録商標））と数式に使用される各種記号に対応するフォントデータが実装されている第３種ブラウザ端末を想定している。なお、インターネット・エクスプローラを実装していても、MathPlayerがインストールされていないブラウザ端末は、第２種ブラウザ端末となる。
【００２９】
また、以下では、第２種ブラウザ端末が数式を含むＷｅｂページを表示するために解釈実行する文書整形データを第２文書整形データとし、第３種ブラウザ端末がＷｅｂページを表示する際に解釈する文書整形データを第３文書整形データと称することにする。
【００３０】
＝＝＝数式を含むＷｅｂページの表示制御＝＝＝
図５に、数式表示制御装置１とブラウザ端末３０との通信手順や、数式表示制御装置１、およびブラウザ端末３０における情報処理の流れを示した。まず、数式表示制御装置１は、ブラウザ端末３０が数式を含むＷｅｂページのＵＲＬ（初期ＵＲＬ）を指定してＨＴＴＰリクエストを送付してくると（ｓ１）、先の第１文書整形データを返送する（ｓ２）。図６に初期ＵＲＬ７０ａの文字列を例示した。第１文書整形データには、ブラウザ端末３０に対し、所定のプログラム（種別判別プログラム）を取り寄せて解釈実行させるための先の制御文（図３符号６２）が記載されている。ブラウザ端末３０は、返送されてきた第１文書整形データ６０ａを解釈し、この制御文６２に従って種別判別プログラムを数式表示制御装置１に要求し、それを返送してもらう（ｓ３〜ｓ５）。そして、そのプログラムを実行する（ｓ６）。なお、本実施例では、種別判別プログラムは、JavaScript（Javaは登録商標）によって記述されており、第１〜第３種のブラウザ端末はいずれも、JavaScriptの解釈が可能で、かつ、JavaScriptを実行を許可するように設定されているものとする。
【００３１】
種別判別プログラムを解釈実行したブラウザ端末３０は、まず、自身の種別（ブラウザの種別、プラグインの有無など）に応じ、第１文書整形データ６０ａの解釈実行を継続するか、あるいは次のＨＴＴＰリクエストの内容を決定する。このリクエストの送付先は、数式表示制御装置１に実装されているＣＧＩであり、第１ページ変換手段１３、あるいは第２ページ変換手段１４に対応する。そして、ＨＴＴＰリクエストを送出する場合には、その送付先のＣＧＩに、例えば、図６におけるサーバー名やファイル名などからなる初期ＵＲＬ７０ａに含まれているＷｅｂページの識別情報（ページ識別情報）７１をパラメータとして送付する。なお、種別判別プログラムに相当するスクリプトが第１文書整形データ６０ａ中に記載されていてもよい。
【００３２】
本実施例では、ブラウザ端末３０が第１種ブラウザ端末である場合は、そのまま第１文書整形データを読み込む。そして、第１文書整形データ中に記述されている数式記述言語をプラグインに処理させて図２に示した数式５１ａを含むＷｅｂページ５０ａを表示させる（ｓ７→ｓ８）。
【００３３】
第２種ブラウザ端末である場合は、第１文書整形データを第２文書整形データに変換するためのＣＧＩプログラム（第１ページ変換手段）１３を宛先として、当該手段１３に、Ｗｅｂページの識別データ７１をパラメータとして送付する（ｓ７→ｓ９→ｓ１０）。
【００３４】
図７に第１ページ変換手段１３に相当する所在７２とパラメータ（ページ識別情報７１）を含んだＵＲＬ７０ｂの文字列を示した。そして、第１ページ変換手段１３は、パラメータとして受け取ったページ識別情報７１に基づいて特定される第１文書整形データ６０ａをデータベース１２より取り出し、これを第２文書整形データに変換してブラウザ端末３０に返送する（ｓ１１,ｓ１２）。
【００３５】
具体的には、第１ページ変換手段１３は、様々な数式語号や数式の表記の仕方について、MathMLとTeXとの対応表などを備え、その対応表に基づいて第１文書整形データ６０ａにおいてMathMLで記述された数式６１をTeX形式で記述し直す。また、第１文書データにおいて組版状態を規定するタグについては、そのまま採用する。図８に第２文書整形データ６０ｂの一部を示した。MathMLで記述されていた数式６１ａがTeXで規定されている形式で記述されている。また、その数式部分６１ｂは、周知のＵＲＬエンコード形式に変換されている。そして、ブラウザ端末３０に対し、そのTeXで記述された数式６１ｂと数式の表示サイズを指定するための表示サイズ情報とを所定のＣＧＩ（数式変換手段）６５に送付させるとともに、その数式変換手段から返送されてきた画像を表示する旨の指示６６が記載されている。なお、表示サイズ情報は、第１ページ変換手段１３により初期値に設定されている。もちろん、数式変換手段が一律に所定サイズの数式画像を生成するのであれば、この初期値の設定は必要ない。
【００３６】
第１ページ変換手段１３から返送されてきた第２文書整形データ６０ｂを解釈したブラウザ端末３０は、TeXで記述された数式６１ｂを含むタグを解釈し、数式変換手段１５にそのTeX形式の数式６１ｂと数式サイズ情報の初期値６４とを送付する（ｓ１３，ｓ１４）。本実施例では、数式変換手段１５としてMimeTeXが実装されており、数式変換手段１５は、ブラウザ端末３０から送付されてきた数式６１ｂを指定されたサイズ（初期値）の大きさの画像に変換して返送する（ｓ１５，ｓ１６）。ブラウザ端末３０は、この画像をＷｅｂページ中に挿入し、数式を表示する（ｓ１７）。
【００３７】
第３種ブラウザ端末である場合は、第１文書整形データを第３文書整形データに変換するためのＣＧＩプログラム（第２ページ変換手段）１４を宛先として、当該手段１４にページ識別情報７１をパラメータとして送付する（ｓ９→ｓ１８）。すなわち、第１ページ変換手段１４に相当する所在とパラメータを含んだＵＲＬを含んだＨＴＴＰリクエストをインターネット上に送出する。図９に当該ＵＲＬ７０ｃの文字列を示した。第２ページ変換手段１４に相当するＣＧＩの所在７４とページ識別情報７１とが含まれている。そして、第２ページ変換手段１４は、パラメータとして受け取ったページ識別情報７１に基づいて特定される第１文書整形データをデータベース１２より取り出し、これを第３文書整形データに変換してブラウザ端末３０に返送する（ｓ１９,ｓ２０）。図１０に第３文書整形データ６０ｃの一部を示した。第３種ブラウザ端末は、プラグインが不要であるが、第３文書整形データ６０ｃでは、ＨＴＭＬでは規定されていないMathMLで記述されたタグを指定する必要から、ＸＭＬをマークアップ言語として宣言する記載６７とそのタグを指定する旨の記載６８を含んでいる。MathMLによる数式の記述部分６１は第１文書整形データ６０ａと同じである。そして、ブラウザ端末３０は、返送されてきた第３文書整形データ６０ｃを解釈実行して数式を含むＷｅｂページを表示する（ｓ２１）。
【００３８】
＝＝＝数式画像サイズ変換＝＝
上述したように、第１ページ変換手段１３は、数式画像を初期値のサイズで表示させるためのタグを生成し、そのタグを第２文書整形データ中に含め、数式変換手段１５はその数式画像を初期値のサイズとなるように生成している。しかし、ブラウザ端末の画面サイズによっては、数式画像のサイズが初期値では小さくて見づらい場合も想定される。そして、数式画像は、数式記述言語による数式のよう拡大して表示させることができない。そこで、本実施例の数式表示制御装置１は、数式画像のサイズをユーザが指定するサイズに変換し直して第２文書整形データを再作成し、その再作成した第２文書整形データを第２種ブラウザ端末に返送する機能も備えている。
【００３９】
図１１に第２種ブラウザ端末が表示するＷｅｂページ５０ｂの画面概略を示した。上述したように、当該画面の起源となる第２文書整形データは、第１ページ変換手段１３が第１文書整形データを処理することで生成される。このＷｅｂページ５０ｂには画像データに変換された数式（数式画像）５１ｂとその数式画像５１ｂのサイズを指定するためのリストダウンボックス５４と、そのサイズを数式表示制御装置１に送付して、指定のサイズの数式画像５１ｂを表示するための第２文書整形データを返送してもらうためのボタン５５とが配設されており、このボタン５５には、第１文書変換手段１３を宛先として、ブラウザ端末３０によってリストダウンボックス５４から選択されたサイズと現在表示中のＷｅｂページのページ識別情報を当該ブラウザ端末３０に送付させるためのタグが対応付けされている。
【００４０】
図１２に、第２種ブラウザ端末が一度表示したＷｅｂページの数式画像の部分を指定したサイズで再表示するまでの数式表示制御装置１との通信手順や情報処理の流れを示した。なお、この図１２には、この数式のサイズを変更するための通信手順や情報処理に関連して、図５に記載した通信手順や情報処理ステップの一部（ｓ１５〜ｓ１７）も含まれている。
【００４１】
まず、ブラウザ端末３０は、第２文書データを解釈して数式の画像サイズが初期値になっているＷｅｂページを表示し、この状態で、数式のサイズがユーザ入力により選択され、上記ボタン５５が指示されると、図７に示したＵＲＬにおける数式の表示サイズの記載部分７３がリストダウンボックス５４から選択したサイズと置換されたＵＲＬを含むＨＴＴＰリクエストを数式表示制御装置１に送付する（ｓ３１→ｓ３２→ｓ３３）。すなわち、ブラウザ端末３０はユーザが指定したサイズの数式サイズ情報とページ識別情報とを第１ページ変換手段１３に送付する。
【００４２】
第１ページ変換手段１３は、送付されてきたページ識別情報に対応する第１文書整形データを第２文書整形データに変換する（ｓ３４）。このとき、TeX形式で記述する数式を含むタグには、このタグがブラウザ端末３０により解釈された際に、この数式と指定の数式サイズ情報とを数式変換手段１５に送付させる旨を記載する。そして、この第２文書整形データをブラウザ端末３０に返送する（ｓ３５）。ブラウザ端末３０は、この第２文書整形データを解釈し（ｓ３６）、数式とユーザが指定したサイズに相当する数式サイズ情報とを数式変換手段１５に送付して指定のサイズの数式画像を生成して返送してもらい、その数式画像を含むＷｅｂページを表示する（ｓ１５〜ｓ１７）。
【００４３】
＝＝＝リンク先変換＝＝＝
ここで、例えば、ユーザがブラウザ端末３０によって、数式を含むあるＷｅｂページ（第１ページとする）を閲覧し、そのＷｅｂページ中のリンクを指示して同じＷｅｂサイトの他の数式を含むＷｅｂページ（第２ページ）を表示させたとする。第１ページを再表示させる場合で、このリンク先の第２ページにリンク元の第１ページへのリンクが設定されていない場合には、ユーザはブラウザの「戻る」ボタンを指示して、ブラウザ端末３０の外部記憶にキャッシュとして残っている第１ページを再表示させる。そして、その再表示させた第１ページのリンクを指示して第２ページとは異なる数式を含むＷｅｂページ（第３ページ）を表示させようとする。
【００４４】
このような場合では、普通、Ｗｅｂページ中で、同じＷｅｂサイトにあるＷｅｂページへのリンクへの設定箇所には、ＷＷＷサーバーのデータベースに格納されている文書整形データを取り寄せるためのＵＲＬが記載されている。本実施例の場合では、第１文書整形データを取り寄せるためのＵＲＬが記載されている。確かに、ブラウザ端末３０が第１種ブラウザ端末である場合には、これで問題がない。しかし、第２種、第３種のブラウザ端末である場合には、リンクが指示される度に数式表示制御装置１は、第１文書整形データをブラウザ端末３０に送付し、ブラウザ端末３０は、先の制御文（図３符号６２）を解釈して自身の種別に応じて第１文書整形データを第２あるいは第３文書整形データに変換してもらい、その文書整形データを返送してもらう。そのため、第１文書整形データの送付からブラウザ端末３０の種別に応じた文書整形データの送付までの処理ステップ数が増加し、数式表示制御装置１の処理負荷が増大する。また、ブラウザ端末３０側でもリンクを指示する度に第１文書整形データを解釈して先の制御文６２の解釈や種別判別プログラムの処理が必要となる。したがって、Ｗｅｂページを表示するまでに時間が掛かる。
【００４５】
ブラウザフォン３１では、移動体通信事業者とユーザがパケット従量制の料金体系で契約している場合、第１文書整形データを取り寄せるための通信費が余分に掛かることにもなる。
【００４６】
本実施例では、第１種ブラウザ端末と第３種ブラウザ端末は、ともにMathMLを解釈可能であり、これらブラウザ端末がＷｅｂページの表示起源として解釈する第１文書整形データと第３文書整形データとには大きな差が無く、第１文書整形データから第３文書整形データに変換する処理に掛かる負担も小さい。また、第１種ブラウザ、端末第２種ブラウザ端末は、処理能力が高いパーソナルコンピュータなどである可能性が高いことから、第２種ブラウザ端末が上記第１ページを起点としてＷｅｂサイト内の他のＷｅｂページヘのリンクを指示する場合に限り、第１文書整形データを再度送付することなく、第２文書整形データを直接送付できるようにしている。そのために、第１文書整形データを第２文書整形データに変換する際、第１文書整形データ中のリンクの記載を第１ページ変換手段１３を宛先としたリンクの記載に書き換えている。
【００４７】
図１３に当該リンクの記載を書き換える処理の概略を示した。この図では、第１種ブラウザ端末が表示する第１ページ（図２符号５０ａ）におけるあるＷｅｂページ（第２ページ）へのリンク設定箇所（図２符号５６ａ）と、第２種ブラウザ端末が表示する第１ページ（図１１符号５０ｂ）における第２ページへのリンク設定箇所（図１１符号５６ｂ）について、第１文書整形データにおける第２ページへのリンクを示すタグ記載部分８０ａと第２文書整形データにおける第２ページへのリンクを示すタグ記載部分８０ｂとを比較している。
【００４８】
第１文書整形データにおけるリンクのタグ記載部分８０ａには、第１文書整形データ８１を要求する旨が記載されている。第２文書整形データにおけるリンクのタグ記載部分８０ｂには、第１文書整形データのページ識別情報８２と数式サイズ情報８３と第１変換手段の所在８４とが記載され、ページ識別情報８２と数式サイズ情報８３をパラメータとして第１変換手段１３に送付させる旨が記載されている。
【００４９】
なお、ユーザによって数式画像のサイズが指定された後にブラウザ端末に送付された第２文書整形データでは、上記リンクの記載箇所８０ｂの数式サイズ情報８３が指定された数式サイズ情報となる。それによって、ユーザの指定により数式画像のサイズが変更された後は、再度数式のサイズを指定しなくても、ユーザが先に指定したサイズの数式画像を表示するための第２文書整形データがブラウザ端末３０に送付されてくることになる。
【００５０】
＝＝＝ブラウザフォンについて＝＝＝
ブラウザフォンは、画面サイズが小さく、機種によってディスプレイの画素数も異なる。そのため、第２種ブラウザ端末として、パーソナルコンピュータとブラウザフォンを一律に扱うと、ブラウザフォンでは、正しい組版状態でＷｅｂページが表示されない可能性がある。そこで、種別判別プログラムは、ブラウザ端末３０によって処理されてその種別がブラウザフォン３１であった場合には、その機種情報を第１ページ変換手段１３に送付させるようにしてもよい。もちろん、機種情報に代えて画面サイズや画素数を送付させるようにしてもよい。そして、第１ページ変換手段１３は、画面サイズや画素数に応じて第２文書整形データの組版状態を決定するようにしてもよい。
【００５１】
種別判別プログラムがブラウザフォン３１に機種情報を送付させる場合には、記憶手段１２にブラウザフォン３１の機種と画面サイズや画素数を対応付けしたテーブルを格納しておき、第１ページ変換手段１３は、そのテーブルを参照して第２文書整形データに記述する組版状態を決定すればよい。あるいは、ブラウザフォンは、普通、ＨＴＴＰリクエストに自身の機種番号を含めているので、第１ページ変換手段１３が、送付されてきた機種番号と上記テーブルと同様の対応表とに基づいて組版状態を決定することもできる。
【符号の説明】
【００５２】
１ 数式表示制御装置
１１ ＷＷＷサーバー
１２ データベース
１３ 第１ページ変換手段
１４ 第２ページ変換手段
１５ 数式変換手段
２０ インターネット
３０ ブラウザ端末
３１ ブラウザフォン
５０ａ、５０ｂ Ｗｅｂページ
５１ａ、５１ｂ Ｗｅｂページに表示された数式
６０ａ 第１文書整形データ
６０ｂ 第２文書整形データ
６０ｃ 第３文書整形データ
【技術分野】
【０００１】
この発明は、ＷＷＷサーバー機能を備えたコンピュータシステムにより、ブラウザ端末に数式を含むＷｅｂページを表示させるための制御技術に関する。
【背景技術】
【０００２】
周知のごとく、ＨＴＭＬに代表される文書整形言語（マークアップ言語）は、Ｗｅｂページがブラウザを実行するコンピュータ（ブラウザ端末）に表示された際の文章の構造（段落など）や見栄え（フォントサイズなど）の体裁（組版状態）を記述するための言語であり、その組版状態における各種指定（段落、フォントなど）をマークアップと呼び、マークアップを記述するための文字列をタグと呼んでいる。１ページ分のＷｅｂページの組版状態を記載したＨＴＭＬ文書などの文書整形データには、多数のタグが記述され、ブラウザ端末は、文書整形データを解釈し、各タグに記述されている指定に従って組版処理を行い、Ｗｅｂページの作成者が意図した組版状態でＷｅｂページを表示する。
【０００３】
ところで、ブラウザ端末に数式を含むＷｅｂページを表示させようとする場合、数式中に文字コードが存在しない特殊な記号が存在すると、通常のＨＴＭＬ文書では、その記号を文字として表示させることができない。
【０００４】
しかし、特殊な記号を伴う数式があっても、数式を画像にしてしまえば、ブラウザ端末は、問題なくＷｅｂページ中に数式を表示することができる。また、数式を取り扱うための専用のマークアップ言語もあり、ブラウザ端末に実装されているブラウザがその言語に対応していれば、数式を表示することができる。例えば、MathMLと呼ばれる数式を記述するためのマークアップ言語（数式記述言語）では、ＷＷＷサーバー側で、ＸＭＬで組版状態と数式記述言語に特有のタグを指定してＷｅｂページを記述しておき、ブラウザ端末側に、この数式記述言語の解釈が可能なブラウザと数式で用いる各種記号を表現するためのフォントデータをインストールしておけば、ブラウザ端末は、数式を画像ではなく、文字として表示することができる。また、数式を記述するタグをＷｅｂページとは別のウインドウで表示したりすることができる。もちろん、数式やその数式を記述するためのタグを文字列として周知のコピー／ペーストにより他の文書に複写することもできる。
【０００５】
また、一部のブラウザ（例えば、インターネット・エクスプローラ［Internet Explorer］（登録商標））がインストールされているブラウザ端末では、MathMLのタグを解釈して表示するプラグインと呼ばれる補助プログラム（例えば、Mathplayer）を追加インストールすることで、Ｗｅｂページ中にMathMLで表現された数式を表示し、その数式を拡大したり、数式やその数式を記述するタグをコピー／ペーストしたりすることができる。
【発明の概要】
【発明が解決しようとする課題】
【０００６】
上述したように、数式を含むＷｅｂページをブラウザ端末に表示させる方式がいくつか存在するが、技術的には、数式を画像として表示させる方式（画像表示方式）と、数式記述言語によって記述する方式（数式記述言語方式）の２方式に集約できる。数式記述言語方式は、Ｗｅｂページの閲覧者側については、ブラウザ端末がパーソナルコンピュータなどの汎用のコンピュータであれば、数式記述言語の解釈が可能なブラウザやプラグインを別途インストールすることで容易に対応することができ、Ｗｅｂページの作成者側では、数式を画像に変換する作業がないので、修正などにも迅速に対応することができるという利点がある。画像よりデータ量が少ない、という利点もある。以上から、数式記述言語で数式を記述したＷｅｂページが今後の主流となる可能性が高い。
【０００７】
しかし、同じＷｅｂページを閲覧するユーザが使用するブラウザ端末が多種多様である限り、数式を含むＷｅｂページをどちらか一方の方式だけで公開することは難しい。特に、数式記述言語に対応させることが難しいブラウザを実装した携帯電話（以下、ブラウザフォン）をブラウザ端末として使用しているユーザが多数存在することを考慮すれば、数式を含む同じ内容の文書をインターネット上に公開する際には、その文書を要求してきたブラウザ端末の種別に応じて数式を画像で表示するＷｅｂページと数式記述言語記で記述したＷｅｂページを選別して送付することになる。
【０００８】
ここで、画像表示方式と数式記述言語方式の両方式に対応させる場合について考察すると、数式を画像で表示するブラウザ端末用のＷｅｂページと数式記述言語記を解釈するブラウザ端末用のＷｅｂページの双方を個別の文書整形データにしてＷＷＷサーバーの記憶資源に格納させると、その記憶資源のデータ格納容量を圧迫させてしまう。また、Ｗｅｂページの作成者にとっては、数式を修正する際に、画像と数式記述言語の双方を修正する必要があり、その修正作業に膨大な時間が掛かる。さらに、数式を画像で表示するブラウザ端末が画面面積の小さいブラウザフォンなどである場合、その数式の画像の表示サイズがＷｅｂページ中で相対的に小さくなるため、その数式が見にくくなる。とくに、数学や物理学、経済学など、文書において数式が最も重要な情報である場合で、しかも、教育機関がそれらの学問についての講義や基礎知識などをＷｅｂページを使って提供している場合では、各学生におけるＷｅｂページの閲覧環境の差がそのまま学力差につながる可能性もある。
【課題を解決するための手段】
【０００９】
本発明者は、上述したような数式を含むＷｅｂページをブラウザ端末に表示させる際に生じる様々な課題について考察した。そして、数式を含むＷｅｂページとして、数式記述言語で数式を記述したＷｅｂページのみをＷＷＷサーバーに格納しておき、アクセスしてきたブラウザの種別に応じてその数式部分を画像に変換すれば、ＷＷＷサーバーの記憶資源を節約することができ、数式の修正にも迅速に対応できると考えた。
【００１０】
さらに、すでにある所定のマークアップ言語処理ソフトウエア（例えばmimeTeX[マイム・テフ]）では、特定のマークアップ言語（例えばTeX[テフ]）で規定されている記述方式に従って記述されている数式を所定形式（例えばGIF形式）の画像に変換することができるので、その既存のマークアップ言語処理ソフトウエアを有効活用することも考えた。すなわち、今後の主流となることが予想されるMathMLなどの数式記述言語で数式を記述しておき、このMathMLなどをTexなどの画像変換に有利なマークアップ言語で記述し直し、その記述し直した数式を既存のソフトウエアを使って画像に変換することを考えた。もちろん、画面サイズが小さいブラウザ端末で数式を画像で表示させてもその数式を見やすくするための技術についても考察した。
【００１１】
本発明は、以上の考察に基づきなされたもので、その目的は、ユーザがブラウザ端末の種別に依らず快適に数式を含むＷｅｂページを閲覧することができ、Ｗｅｂページの作成者が数式を迅速に修正できるＷＷＷサーバー機能を備えたコンピュータシステム（数式表示制御装置）と、当該数式表示制御装置自身の処理負荷を軽減させ記憶資源を節約させるための仕組みを提供することにある。
【００１２】
上記目的を達成するための本発明は、ブラウザ端末とＨＴＴＰ通信を行うＷＷＷサーバー機能を備えたコンピュータシステムから構成されて、数式を含んだＷｅｂページをブラウザに表示させるための数式表示制御装置であって、
記憶手段と、第１文書返送手段と、第１ページ変換手段と、数式変換手段とを備え、
記憶手段は、多数のＷｅｂページのそれぞれの起源として、Ｗｅｂページの組版状態が第１形式の文書整形言語で記述されているとともに、第１形式の数式記述言語で記述された数式Ｂと、ブラウザ端末Ａに種別判別プログラムを実行させるための記載とを含んだ第１文書整形データを記憶し、
第１文書返送手段は、特定のＷｅｂページを要求してアクセスしてきたブラウザ端末Ａに、当該Ｗｅｂページの第１文書整形データＣを返送し、
種別判別プログラムは、当該プログラムを実行したブラウザ端末Ａに対し、実装されているブラウザの種別を判別させるとともに、その判別結果として、前記種別が前記第１形式の数式記述言語を解釈可能な第１種ブラウザ端末である場合は第１文書整形データＣを解釈させてＷｅｂページの組版を行わせるとともに、当該第１文書整形データＣ中の前記第１形式の数式記述言語で記述された数式Ｂを当該Ｗｅｂページに挿入表示させ、
前記種別判別プログラムを実行したブラウザ端末Ａが前記第１形式の数式記述言語の解釈が不可能な第２種ブラウザ端末である場合は、前記第１文書整形データＣを特定するためのページ識別情報Ｄをパラメータとして、当該パラメータを第１ページ変換手段に送付させ、
前記第１ページ変換手段は、前記種別判別プログラムを解釈したブラウザ端末Ａから送付されてきたページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該第１文書整形データＣ中の数式Ｂを第２形式の数式記述言語で記述した数式Ｅに変換する処理と、前記第１形式の文書整形言語で前記組版状態を記述するとともに、数式Ｅと、ブラウザ端末Ａに対し数式Ｅを数式変換手段に送付させるための数式画像要求制御文と、ブラウザ端末Ａに対し前記数式変換手段から送付されてきた画像を表示させるための数式画像表示制御文とを記載した第２文書整形データＦを生成する処理と、当該第２文書整形データＦをブラウザ端末Ａに返送する処理とを実行し、
前記数式変換手段は、第２文書整形データＦを送付したブラウザ端末Ａが前記数式画像要求制御文を解釈して第２形式の数式記述言語で記述された数式Ｅが送付されてくると、当該数式Ｅを画像に変換してブラウザ端末Ａに送付する数式表示制御装置としている。
【００１３】
上記数式表示制御装置は、第２ページ変換手段を備え、
前記第１種ブラウザ端末は、第１形式の数式記述言語を解釈するプログラムがブラウザ用の補助プログラムとして実装されているブラウザ端末であり、
前記種別判別プログラムは、前記判別結果として、前記種別が前記補助プログラムを必要としないで第１形式の数式言語の解釈が可能な第３種のブラウザ端末である場合、前記ブラウザ端末Ａに対し、前記第１文書整形データＣを特定するためのページ識別情報Ｄをパラメータとして、当該パラメータを前記第２ページ変換手段に送付させ、
第２ページ変換手段は、前記ブラウザ端末Ａから送付されてきたページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該取り出した第１文書整形データＣにおいて前記第１形式の文書整形言語で記述された前記組版状態を第２形式の文書整形言語で記述した第３文書整形データＧに変換する処理と、当該第３文書整形データＧを前記ブラウザ端末Ａに返送する処理とを実行することとしてもよい。
【００１４】
そして、前記第１ページ変換手段は、前記第１文書整形データＣに設定されているハイパーリンクについて、当該設定箇所に記載されているリンク先を識別するための情報をパラメータとして、当該パラメータを第１ページ変換手段に送付する旨のハイパーリンクに再設定し、当該再設定したハイパーリンクを前記第２文書整形データＦに含ませるようにした数式表示制御装置とすることもできる。
【００１５】
前記第２ページ変換手段を備えた数式表示制御装置は、前記第１文書整形データＣに設定されているハイパーリンクについて、当該設定箇所に記載されているリンク先を識別するための情報をパラメータとして、当該パラメータを第２ページ変換手段に送付する旨のハイパーリンクに再設定し、当該再設定したハイパーリンクを前記第３文書整形データＧに含ませるように構成してもよい。
【００１６】
上記いずれかの数式表示制御装置において、前記第１ページ変換手段は、前記数式画像要求制御文に、数式変換手段を宛先として、数式の表示サイズを指定するための数式サイズ情報の初期値をブラウザ端末Ａに送付させるための記載を含ませるとともに、ブラウザ端末Ａに対するユーザ入力によって表示サイズの指定を受け付ける機能と、ブラウザ端末に対するユーザ入力によって前記表示サイズの指定情報と前記ページ識別情報Ｄを第１ページ変換手段に送付させるための機能とを第２文書整形データＦに含ませ、
前記第１ページ変換手段は、第２文書整形データＦを送付したブラウザ端末において入力された前記表示サイズの指定情報Ｈが前記ページ識別情報Ｄとともに送付されてくると、当該指定情報Ｈとページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該第１文書整形データＣ中の数式Ｂを第２形式の数式記述言語で記述した数式Ｅに変換する処理と、前記第１形式の文書整形言語で前記組版状態を記述するとともに、前記指定情報Ｈを数式サイズ情報として、ブラウザ端末Ａに対し当該数式サイズ情報と数式Ｅとページ識別情報Ｄを数式変換手段に送付させるための数式画像要求制御文と、ブラウザ端末Ａに対し前記数式変換手段から送付されてきた画像を表示させるための数式画像表示制御文とを記載した第２文書整形データＪを生成する処理と、当該第２文書整形データＪをブラウザ端末Ａに返送する処理とを実行し、
前記数式変換手段は、ブラウザ端末Ａが前記数式画像要求制御文を解釈して第２形式の数式記述言語で記述された数式Ｅと数式サイズ情報が送付されてくると、当該数式Ｅを数式サイズ情報に対応する表示サイズの画像に変換してブラウザ端末Ａに送付する数式表示制御装置とすることもできる。
【００１７】
また、本発明はコンピュータプログラムにも及んでおり、当該コンピュータプログラムは、ＷＷＷサーバー機能と前記記憶手段とを備えたコンピュータにインストールされるコンピュータプログラムであって、前記コンピュータが当該コンピュータプログラムを実行することで、上記いずれかの数式表示装置として機能することを特徴としている。そして、当該コンピュータプログラムを記憶したプログラム格納媒体も本発明の範囲とした。
【発明の効果】
【００１８】
本発明の数式表示制御装置によれば、数式を含むＷｅｂページをインターネット上に公開する際、ユーザはブラウザ端末の種別に依らず快適なＷｅｂページ閲覧環境を得ることができ、Ｗｅｂページの作成者は、数式を迅速に修正でき、かつ装置自体の処理負荷を低減させるとともに、記憶資源を節約することができる。
【図面の簡単な説明】
【００１９】
【図１】本発明の実施例における数式表示制御装置の機能ブロック構成とネットワーク構成を示す図である。
【図２】上記数式表示制御装置がインターネット上に公開するＷｅｂページの画面概略図である。
【図３】上記Ｗｅｂページの起源となる第１文書整形データの一部を示す図である。
【図４】上記第１文書整形データに基づくＷｅｂページに含まれる機能を説明するための図である。
【図５】上記数式表示制御装置とブラウザ端末との通信手順と当該通信過程における情報処理の流れを示す図である。
【図６】第１種ブラウザ端末が表示するＷｅｂページのＵＲＬを示す図である。
【図７】第２種ブラウザ端末が表示するＷｅｂページのＵＲＬを示す図である。
【図８】上記第２種ブラウザ端末が表示するＷｅｂページの起源となる第２文書整形データの一部を示す図である。
【図９】第３種ブラウザ端末が表示するＷｅｂページのＵＲＬを示す図である。
【図１０】上記第３種ブラウザ端末が表示するＷｅｂページの起源となる第３文書整形データの一部を示す図である。
【図１１】上記第２種ブラウザ端末が表示するＷｅｂページの画面概略図である。
【図１２】上記第２種ブラウザ端末が表示するＷｅｂページ中の数式画像のサイズを変更するための数式表示制御装置と第２種ブラウザ端末との通信手順と当該通信過程における情報処理の流れを示す図である。
【図１３】上記数式表示制御装置において、第１文書整形データ中のリンクの記載を書き換える処理の概略図である。
【発明を実施するための形態】
【００２０】
＝＝＝数式表示制御装置＝＝＝
本発明の実施例における数式表示制御装置の機能ブロック構成を図１に示した。本実施例において、数式表示制御装置１のハードウエアは、一般的なコンピュータであり、実装されているプログラムの実行によりＷＷＷサーバーとしての機能１１を備え、インターネットやイントラネットなどのＴＣＰ／ＩＰに準拠したネットワーク２０を介してブラウザ端末とＨＴＴＰ通信する。ここでは、数式表示制御装置１がインターネット２０を介してブラウザ端末３０と通信する例を示した。また、ブラウザフォン３１もブラウザ端末３０として、移動体通信網２１とゲートウエイ２２とを経由してインターネット２０に接続されている。
【００２１】
数式表示制御装置１に付帯されているデータベース１２には、Ｗｅｂページの起源として、Ｗｅｂページがブラウザ端末に表示された際の組版状態を規定するための文書整形データやＷｅｂページ中に挿入される画像などのデータやＣＧＩやｊａｖａ（登録商標）プログラムなど、ブラウザ端末から送付されてきたデータを処理するためのプログラムや、ブラウザ端末側で処理されるプログラムなどが格納されている。
【００２２】
また、ＷＷＷサーバー機能１１を含め、数式表示制御装置１が備える各種情報処理手段（１３〜１５）は、数式表示制御装置１に実装されているプログラムを実行することで実現される。そして、数式表示制御装置１は、ＷＷＷサーバー機能１１により、数式を含むＷｅｂページをインターネット２０上に公開する際、データベース１２に格納されている情報やブラウザ端末３０から送付されてくる情報を各種情報処理手段（１１，１３〜１５）によって処理することで、Ｗｅｂページの閲覧者であるユーザに対し、使用しているブラウザ端末３０におけるブラウザの種別に依存することなく快適にＷｅｂページを閲覧させることができる。また、Ｗｅｂページの作成者が数式を迅速に修正でき、当該制御装置１自身については、記憶資源を節約しつつ処理負荷を低減させることができる。
【００２３】
＝＝＝文書整形データ＝＝＝
数式表示制御装置１の基本機能は、アクセスしてきたブラウザ端末３０に実装されているブラウザの種別（以下、ブラウザ端末の種別）に応じて、数式記述言語で記述した数式を含むＷｅｂページ、あるいは画像にした数式（以下、数式画像）を含むＷｅｂページのいずれかをブラウザ端末３０に送付することにある。しかし、本実施例の数式表示制御装置１は、同じ内容の一つのＷｅｂページについて、ブラウザ端末３０の種別に応じて複数種類の文書整形データを用意せず、原型となる文書整形データ（第１文書整形データ）のみをデータベース１２に格納しておき、アクセスしてきたブラウザ端末３０の種別に応じてその第１文書整形データを他の文書整形データに変換することとしている。それによって、データベース１２の記憶容量を節約している。
【００２４】
図２に本実施例の数式表示制御装置１がＷＷＷサーバー機能１１によってインターネット２０上に公開しているＷｅｂページの画面概略を示した。Ｗｅｂページ５０ａには、積分に関する内容が記載され、変数や関数や関係式など（以下、数式）５１ａが記載されている。図３に、データベース１２に格納されているこのＷｅｂページの起源となる第１文書整形データの一部を示した。所定のマークアップ言語（本実施例では、ＨＴＭＬ）によって記述された文書中に所定の数式記述言語（本実施例ではMathML）によって記述された数式６１ａが含まれている。この文書整形データ６０ａは、特定のブラウザ（本実施例ではInternet Explorer）と特定のプラグイン（本実施例ではMathPlayer）が実装されたブラウザ端末（第１種ブラウザ端末）を対象として作成されたものである。この第１種ブラウザ端末であれば、この第１文書整形データ６０ａを解釈実行して図２に示したＷｅｂページ５０ａを表示することができる。
【００２５】
なお、本実施例における文書整形データ６０ａでは、マークアップ言語としてＨＴＭＬを使用するとともに、objectタグ６３を用いてMathMLの解釈にMathplayerを使用する旨、すなわちMathPlayerの実行ファイルを指定する旨が記述されている。このように、数式を記述する部分以外をＨＴＭＬ形式で記述することは、ＨＴＭＬが文法エラーに対する許容範囲がＸＭＬと比較して広く、Ｗｅｂページの作成者にとっては、第１文書データを厳密に設計しなくても済み、修正や更新作業が容易となる、という利点がある。例えば、改行タグもxmlでは＜br/＞を使わなければならないが、htmlでは＜br＞を使えばよい。同様に、imgタグもxmlでは厳密に、＜mg ・・・・・・ /＞と記述しなければならいが、HTMLでは＜img ・・・・・・＞と記述すればよい。
【００２６】
そして、上述したプラグインが実装されているブラウザ端末であれば、この第１文書整形データ６０ａを解釈実行して図２に示したＷｅｂページ５０ａを表示することができる。また、図４に示したように、数式の部分を拡大表示させたり（図中符号５２参照）、数式部分のタグをコピーして（図中符号５３参照）、他の文書に複写したりすることができる。
【００２７】
本実施例において、数式表示制御装置１は、ＷｅｂページのＵＲＬを指定してアクセスしてきたブラウザ端末３０に対し、まず、第１文書整形データ６０ａを送付することとしている。そのため、第１文書整形データ６０ａにおける数式記述言語を解釈できないブラウザ端末３０は、Ｗｅｂページを正しく表示することができない。そこで、第１文書整形データ６０ａには、どのような種別のブラウザ端末３０であっても、最終的には正しく数式を含んだＷｅｂページを表示させるための制御文（図３符号６２）が含まれている。この制御文６２自体は、ブラウザ端末３０の種別に依らず、どのようなブラウザ端末３０でも解釈可能であり、この制御文６２を解釈したブラウザ端末３０は、数式表示制御装置１と各種情報をやりとりながら、最終的に数式を含んだＷｅｂページを正しく表示するための文書整形データを受け取って、そのＷｅｂページを表示する。
【００２８】
＝＝＝ブラウザの種別＝＝＝
本実施例では、ブラウザ端末３０の種別として、上記特定のブラウザに特定のプラグインを実装し、第１文書整形データから直接Ｗｅｂページを表示する第１種ブラウザ端末と、数式記述言語の解釈が不可能で、数式を画像として表示する第２種ブラウザ端末（例えば、オペラ［Opera］、ブラウザフォンなど）に加え、上記数式記述言語を単独で解釈可能なブラウザ（本実施例では、ＸＭＬとMathMLをともに解釈可能なブラウザ：例えば、ファイヤーフォックス［Firefox］（登録商標））と数式に使用される各種記号に対応するフォントデータが実装されている第３種ブラウザ端末を想定している。なお、インターネット・エクスプローラを実装していても、MathPlayerがインストールされていないブラウザ端末は、第２種ブラウザ端末となる。
【００２９】
また、以下では、第２種ブラウザ端末が数式を含むＷｅｂページを表示するために解釈実行する文書整形データを第２文書整形データとし、第３種ブラウザ端末がＷｅｂページを表示する際に解釈する文書整形データを第３文書整形データと称することにする。
【００３０】
＝＝＝数式を含むＷｅｂページの表示制御＝＝＝
図５に、数式表示制御装置１とブラウザ端末３０との通信手順や、数式表示制御装置１、およびブラウザ端末３０における情報処理の流れを示した。まず、数式表示制御装置１は、ブラウザ端末３０が数式を含むＷｅｂページのＵＲＬ（初期ＵＲＬ）を指定してＨＴＴＰリクエストを送付してくると（ｓ１）、先の第１文書整形データを返送する（ｓ２）。図６に初期ＵＲＬ７０ａの文字列を例示した。第１文書整形データには、ブラウザ端末３０に対し、所定のプログラム（種別判別プログラム）を取り寄せて解釈実行させるための先の制御文（図３符号６２）が記載されている。ブラウザ端末３０は、返送されてきた第１文書整形データ６０ａを解釈し、この制御文６２に従って種別判別プログラムを数式表示制御装置１に要求し、それを返送してもらう（ｓ３〜ｓ５）。そして、そのプログラムを実行する（ｓ６）。なお、本実施例では、種別判別プログラムは、JavaScript（Javaは登録商標）によって記述されており、第１〜第３種のブラウザ端末はいずれも、JavaScriptの解釈が可能で、かつ、JavaScriptを実行を許可するように設定されているものとする。
【００３１】
種別判別プログラムを解釈実行したブラウザ端末３０は、まず、自身の種別（ブラウザの種別、プラグインの有無など）に応じ、第１文書整形データ６０ａの解釈実行を継続するか、あるいは次のＨＴＴＰリクエストの内容を決定する。このリクエストの送付先は、数式表示制御装置１に実装されているＣＧＩであり、第１ページ変換手段１３、あるいは第２ページ変換手段１４に対応する。そして、ＨＴＴＰリクエストを送出する場合には、その送付先のＣＧＩに、例えば、図６におけるサーバー名やファイル名などからなる初期ＵＲＬ７０ａに含まれているＷｅｂページの識別情報（ページ識別情報）７１をパラメータとして送付する。なお、種別判別プログラムに相当するスクリプトが第１文書整形データ６０ａ中に記載されていてもよい。
【００３２】
本実施例では、ブラウザ端末３０が第１種ブラウザ端末である場合は、そのまま第１文書整形データを読み込む。そして、第１文書整形データ中に記述されている数式記述言語をプラグインに処理させて図２に示した数式５１ａを含むＷｅｂページ５０ａを表示させる（ｓ７→ｓ８）。
【００３３】
第２種ブラウザ端末である場合は、第１文書整形データを第２文書整形データに変換するためのＣＧＩプログラム（第１ページ変換手段）１３を宛先として、当該手段１３に、Ｗｅｂページの識別データ７１をパラメータとして送付する（ｓ７→ｓ９→ｓ１０）。
【００３４】
図７に第１ページ変換手段１３に相当する所在７２とパラメータ（ページ識別情報７１）を含んだＵＲＬ７０ｂの文字列を示した。そして、第１ページ変換手段１３は、パラメータとして受け取ったページ識別情報７１に基づいて特定される第１文書整形データ６０ａをデータベース１２より取り出し、これを第２文書整形データに変換してブラウザ端末３０に返送する（ｓ１１,ｓ１２）。
【００３５】
具体的には、第１ページ変換手段１３は、様々な数式語号や数式の表記の仕方について、MathMLとTeXとの対応表などを備え、その対応表に基づいて第１文書整形データ６０ａにおいてMathMLで記述された数式６１をTeX形式で記述し直す。また、第１文書データにおいて組版状態を規定するタグについては、そのまま採用する。図８に第２文書整形データ６０ｂの一部を示した。MathMLで記述されていた数式６１ａがTeXで規定されている形式で記述されている。また、その数式部分６１ｂは、周知のＵＲＬエンコード形式に変換されている。そして、ブラウザ端末３０に対し、そのTeXで記述された数式６１ｂと数式の表示サイズを指定するための表示サイズ情報とを所定のＣＧＩ（数式変換手段）６５に送付させるとともに、その数式変換手段から返送されてきた画像を表示する旨の指示６６が記載されている。なお、表示サイズ情報は、第１ページ変換手段１３により初期値に設定されている。もちろん、数式変換手段が一律に所定サイズの数式画像を生成するのであれば、この初期値の設定は必要ない。
【００３６】
第１ページ変換手段１３から返送されてきた第２文書整形データ６０ｂを解釈したブラウザ端末３０は、TeXで記述された数式６１ｂを含むタグを解釈し、数式変換手段１５にそのTeX形式の数式６１ｂと数式サイズ情報の初期値６４とを送付する（ｓ１３，ｓ１４）。本実施例では、数式変換手段１５としてMimeTeXが実装されており、数式変換手段１５は、ブラウザ端末３０から送付されてきた数式６１ｂを指定されたサイズ（初期値）の大きさの画像に変換して返送する（ｓ１５，ｓ１６）。ブラウザ端末３０は、この画像をＷｅｂページ中に挿入し、数式を表示する（ｓ１７）。
【００３７】
第３種ブラウザ端末である場合は、第１文書整形データを第３文書整形データに変換するためのＣＧＩプログラム（第２ページ変換手段）１４を宛先として、当該手段１４にページ識別情報７１をパラメータとして送付する（ｓ９→ｓ１８）。すなわち、第１ページ変換手段１４に相当する所在とパラメータを含んだＵＲＬを含んだＨＴＴＰリクエストをインターネット上に送出する。図９に当該ＵＲＬ７０ｃの文字列を示した。第２ページ変換手段１４に相当するＣＧＩの所在７４とページ識別情報７１とが含まれている。そして、第２ページ変換手段１４は、パラメータとして受け取ったページ識別情報７１に基づいて特定される第１文書整形データをデータベース１２より取り出し、これを第３文書整形データに変換してブラウザ端末３０に返送する（ｓ１９,ｓ２０）。図１０に第３文書整形データ６０ｃの一部を示した。第３種ブラウザ端末は、プラグインが不要であるが、第３文書整形データ６０ｃでは、ＨＴＭＬでは規定されていないMathMLで記述されたタグを指定する必要から、ＸＭＬをマークアップ言語として宣言する記載６７とそのタグを指定する旨の記載６８を含んでいる。MathMLによる数式の記述部分６１は第１文書整形データ６０ａと同じである。そして、ブラウザ端末３０は、返送されてきた第３文書整形データ６０ｃを解釈実行して数式を含むＷｅｂページを表示する（ｓ２１）。
【００３８】
＝＝＝数式画像サイズ変換＝＝
上述したように、第１ページ変換手段１３は、数式画像を初期値のサイズで表示させるためのタグを生成し、そのタグを第２文書整形データ中に含め、数式変換手段１５はその数式画像を初期値のサイズとなるように生成している。しかし、ブラウザ端末の画面サイズによっては、数式画像のサイズが初期値では小さくて見づらい場合も想定される。そして、数式画像は、数式記述言語による数式のよう拡大して表示させることができない。そこで、本実施例の数式表示制御装置１は、数式画像のサイズをユーザが指定するサイズに変換し直して第２文書整形データを再作成し、その再作成した第２文書整形データを第２種ブラウザ端末に返送する機能も備えている。
【００３９】
図１１に第２種ブラウザ端末が表示するＷｅｂページ５０ｂの画面概略を示した。上述したように、当該画面の起源となる第２文書整形データは、第１ページ変換手段１３が第１文書整形データを処理することで生成される。このＷｅｂページ５０ｂには画像データに変換された数式（数式画像）５１ｂとその数式画像５１ｂのサイズを指定するためのリストダウンボックス５４と、そのサイズを数式表示制御装置１に送付して、指定のサイズの数式画像５１ｂを表示するための第２文書整形データを返送してもらうためのボタン５５とが配設されており、このボタン５５には、第１文書変換手段１３を宛先として、ブラウザ端末３０によってリストダウンボックス５４から選択されたサイズと現在表示中のＷｅｂページのページ識別情報を当該ブラウザ端末３０に送付させるためのタグが対応付けされている。
【００４０】
図１２に、第２種ブラウザ端末が一度表示したＷｅｂページの数式画像の部分を指定したサイズで再表示するまでの数式表示制御装置１との通信手順や情報処理の流れを示した。なお、この図１２には、この数式のサイズを変更するための通信手順や情報処理に関連して、図５に記載した通信手順や情報処理ステップの一部（ｓ１５〜ｓ１７）も含まれている。
【００４１】
まず、ブラウザ端末３０は、第２文書データを解釈して数式の画像サイズが初期値になっているＷｅｂページを表示し、この状態で、数式のサイズがユーザ入力により選択され、上記ボタン５５が指示されると、図７に示したＵＲＬにおける数式の表示サイズの記載部分７３がリストダウンボックス５４から選択したサイズと置換されたＵＲＬを含むＨＴＴＰリクエストを数式表示制御装置１に送付する（ｓ３１→ｓ３２→ｓ３３）。すなわち、ブラウザ端末３０はユーザが指定したサイズの数式サイズ情報とページ識別情報とを第１ページ変換手段１３に送付する。
【００４２】
第１ページ変換手段１３は、送付されてきたページ識別情報に対応する第１文書整形データを第２文書整形データに変換する（ｓ３４）。このとき、TeX形式で記述する数式を含むタグには、このタグがブラウザ端末３０により解釈された際に、この数式と指定の数式サイズ情報とを数式変換手段１５に送付させる旨を記載する。そして、この第２文書整形データをブラウザ端末３０に返送する（ｓ３５）。ブラウザ端末３０は、この第２文書整形データを解釈し（ｓ３６）、数式とユーザが指定したサイズに相当する数式サイズ情報とを数式変換手段１５に送付して指定のサイズの数式画像を生成して返送してもらい、その数式画像を含むＷｅｂページを表示する（ｓ１５〜ｓ１７）。
【００４３】
＝＝＝リンク先変換＝＝＝
ここで、例えば、ユーザがブラウザ端末３０によって、数式を含むあるＷｅｂページ（第１ページとする）を閲覧し、そのＷｅｂページ中のリンクを指示して同じＷｅｂサイトの他の数式を含むＷｅｂページ（第２ページ）を表示させたとする。第１ページを再表示させる場合で、このリンク先の第２ページにリンク元の第１ページへのリンクが設定されていない場合には、ユーザはブラウザの「戻る」ボタンを指示して、ブラウザ端末３０の外部記憶にキャッシュとして残っている第１ページを再表示させる。そして、その再表示させた第１ページのリンクを指示して第２ページとは異なる数式を含むＷｅｂページ（第３ページ）を表示させようとする。
【００４４】
このような場合では、普通、Ｗｅｂページ中で、同じＷｅｂサイトにあるＷｅｂページへのリンクへの設定箇所には、ＷＷＷサーバーのデータベースに格納されている文書整形データを取り寄せるためのＵＲＬが記載されている。本実施例の場合では、第１文書整形データを取り寄せるためのＵＲＬが記載されている。確かに、ブラウザ端末３０が第１種ブラウザ端末である場合には、これで問題がない。しかし、第２種、第３種のブラウザ端末である場合には、リンクが指示される度に数式表示制御装置１は、第１文書整形データをブラウザ端末３０に送付し、ブラウザ端末３０は、先の制御文（図３符号６２）を解釈して自身の種別に応じて第１文書整形データを第２あるいは第３文書整形データに変換してもらい、その文書整形データを返送してもらう。そのため、第１文書整形データの送付からブラウザ端末３０の種別に応じた文書整形データの送付までの処理ステップ数が増加し、数式表示制御装置１の処理負荷が増大する。また、ブラウザ端末３０側でもリンクを指示する度に第１文書整形データを解釈して先の制御文６２の解釈や種別判別プログラムの処理が必要となる。したがって、Ｗｅｂページを表示するまでに時間が掛かる。
【００４５】
ブラウザフォン３１では、移動体通信事業者とユーザがパケット従量制の料金体系で契約している場合、第１文書整形データを取り寄せるための通信費が余分に掛かることにもなる。
【００４６】
本実施例では、第１種ブラウザ端末と第３種ブラウザ端末は、ともにMathMLを解釈可能であり、これらブラウザ端末がＷｅｂページの表示起源として解釈する第１文書整形データと第３文書整形データとには大きな差が無く、第１文書整形データから第３文書整形データに変換する処理に掛かる負担も小さい。また、第１種ブラウザ、端末第２種ブラウザ端末は、処理能力が高いパーソナルコンピュータなどである可能性が高いことから、第２種ブラウザ端末が上記第１ページを起点としてＷｅｂサイト内の他のＷｅｂページヘのリンクを指示する場合に限り、第１文書整形データを再度送付することなく、第２文書整形データを直接送付できるようにしている。そのために、第１文書整形データを第２文書整形データに変換する際、第１文書整形データ中のリンクの記載を第１ページ変換手段１３を宛先としたリンクの記載に書き換えている。
【００４７】
図１３に当該リンクの記載を書き換える処理の概略を示した。この図では、第１種ブラウザ端末が表示する第１ページ（図２符号５０ａ）におけるあるＷｅｂページ（第２ページ）へのリンク設定箇所（図２符号５６ａ）と、第２種ブラウザ端末が表示する第１ページ（図１１符号５０ｂ）における第２ページへのリンク設定箇所（図１１符号５６ｂ）について、第１文書整形データにおける第２ページへのリンクを示すタグ記載部分８０ａと第２文書整形データにおける第２ページへのリンクを示すタグ記載部分８０ｂとを比較している。
【００４８】
第１文書整形データにおけるリンクのタグ記載部分８０ａには、第１文書整形データ８１を要求する旨が記載されている。第２文書整形データにおけるリンクのタグ記載部分８０ｂには、第１文書整形データのページ識別情報８２と数式サイズ情報８３と第１変換手段の所在８４とが記載され、ページ識別情報８２と数式サイズ情報８３をパラメータとして第１変換手段１３に送付させる旨が記載されている。
【００４９】
なお、ユーザによって数式画像のサイズが指定された後にブラウザ端末に送付された第２文書整形データでは、上記リンクの記載箇所８０ｂの数式サイズ情報８３が指定された数式サイズ情報となる。それによって、ユーザの指定により数式画像のサイズが変更された後は、再度数式のサイズを指定しなくても、ユーザが先に指定したサイズの数式画像を表示するための第２文書整形データがブラウザ端末３０に送付されてくることになる。
【００５０】
＝＝＝ブラウザフォンについて＝＝＝
ブラウザフォンは、画面サイズが小さく、機種によってディスプレイの画素数も異なる。そのため、第２種ブラウザ端末として、パーソナルコンピュータとブラウザフォンを一律に扱うと、ブラウザフォンでは、正しい組版状態でＷｅｂページが表示されない可能性がある。そこで、種別判別プログラムは、ブラウザ端末３０によって処理されてその種別がブラウザフォン３１であった場合には、その機種情報を第１ページ変換手段１３に送付させるようにしてもよい。もちろん、機種情報に代えて画面サイズや画素数を送付させるようにしてもよい。そして、第１ページ変換手段１３は、画面サイズや画素数に応じて第２文書整形データの組版状態を決定するようにしてもよい。
【００５１】
種別判別プログラムがブラウザフォン３１に機種情報を送付させる場合には、記憶手段１２にブラウザフォン３１の機種と画面サイズや画素数を対応付けしたテーブルを格納しておき、第１ページ変換手段１３は、そのテーブルを参照して第２文書整形データに記述する組版状態を決定すればよい。あるいは、ブラウザフォンは、普通、ＨＴＴＰリクエストに自身の機種番号を含めているので、第１ページ変換手段１３が、送付されてきた機種番号と上記テーブルと同様の対応表とに基づいて組版状態を決定することもできる。
【符号の説明】
【００５２】
１ 数式表示制御装置
１１ ＷＷＷサーバー
１２ データベース
１３ 第１ページ変換手段
１４ 第２ページ変換手段
１５ 数式変換手段
２０ インターネット
３０ ブラウザ端末
３１ ブラウザフォン
５０ａ、５０ｂ Ｗｅｂページ
５１ａ、５１ｂ Ｗｅｂページに表示された数式
６０ａ 第１文書整形データ
６０ｂ 第２文書整形データ
６０ｃ 第３文書整形データ
【特許請求の範囲】
【請求項１】
ブラウザ端末とＨＴＴＰ通信を行うＷＷＷサーバー機能を備えたコンピュータシステムから構成されて、数式を含んだＷｅｂページをブラウザに表示させるための数式表示制御装置であって、
記憶手段と、第１文書返送手段と、第１ページ変換手段と、数式変換手段とを備え、
記憶手段は、多数のＷｅｂページのそれぞれの起源として、Ｗｅｂページの組版状態が第１形式の文書整形言語で記述されているとともに、第１形式の数式記述言語で記述された数式Ｂと、ブラウザ端末Ａに種別判別プログラムを実行させるための記載とを含んだ第１文書整形データを記憶し、
第１文書返送手段は、特定のＷｅｂページを要求してアクセスしてきたブラウザ端末Ａに、当該Ｗｅｂページの第１文書整形データＣを返送し、
種別判別プログラムは、当該プログラムを実行したブラウザ端末Ａに対し、実装されているブラウザの種別を判別させるとともに、その判別結果として、前記種別が前記第１形式の数式記述言語を解釈可能な第１種ブラウザ端末である場合は第１文書整形データＣを解釈させてＷｅｂページの組版を行わせるとともに、当該第１文書整形データＣ中の前記第１形式の数式記述言語で記述された数式Ｂを当該Ｗｅｂページに挿入表示させ、
前記種別判別プログラムを実行したブラウザ端末Ａが前記第１形式の数式記述言語の解釈が不可能な第２種ブラウザ端末である場合は、前記第１文書整形データＣを特定するためのページ識別情報Ｄをパラメータとして、当該パラメータを第１ページ変換手段に送付させ、
前記第１ページ変換手段は、前記種別判別プログラムを解釈したブラウザ端末Ａから送付されてきたページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該第１文書整形データＣ中の数式Ｂを第２形式の数式記述言語で記述した数式Ｅに変換する処理と、前記第１形式の文書整形言語で前記組版状態を記述するとともに、数式Ｅと、ブラウザ端末Ａに対し数式Ｅを数式変換手段に送付させるための数式画像要求制御文と、ブラウザ端末Ａに対し前記数式変換手段から送付されてきた画像を表示させるための数式画像表示制御文とを記載した第２文書整形データＦを生成する処理と、当該第２文書整形データＦをブラウザ端末Ａに返送する処理とを実行し、
前記数式変換手段は、第２文書整形データＦを送付したブラウザ端末Ａが前記数式画像要求制御文を解釈して第２形式の数式記述言語で記述された数式Ｅが送付されてくると、当該数式Ｅを画像に変換してブラウザ端末Ａに送付する
ことを特徴とする数式表示制御装置。
【請求項２】
第２ページ変換手段を備え、
前記第１種ブラウザ端末は、第１形式の数式記述言語を解釈するプログラムがブラウザ用の補助プログラムとして実装されているブラウザ端末であり、
前記種別判別プログラムは、前記判別結果として、前記種別が前記補助プログラムを必要としないで第１形式の数式言語の解釈が可能な第３種のブラウザ端末である場合、前記ブラウザ端末Ａに対し、前記第１文書整形データＣを特定するためのページ識別情報Ｄをパラメータとして、当該パラメータを前記第２ページ変換手段に送付させ、
第２ページ変換手段は、前記ブラウザ端末Ａから送付されてきたページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該取り出した第１文書整形データＣにおいて前記第１形式の文書整形言語で記述された前記組版状態を第２形式の文書整形言語で記述した第３文書整形データＧに変換する処理と、当該第３文書整形データＧを前記ブラウザ端末Ａに返送する処理とを実行する
ことを特徴とする請求項１に記載の数式表示制御装置。
【請求項３】
前記第１ページ変換手段は、前記第１文書整形データＣに設定されているハイパーリンクについて、当該設定箇所に記載されているリンク先を識別するための情報をパラメータとして、当該パラメータを第１ページ変換手段に送付する旨のハイパーリンクに再設定し、当該再設定したハイパーリンクを前記第２文書整形データＦに含ませることを特徴とする請求項１または２に記載の数式表示制御装置。
【請求項４】
前記第２ページ変換手段は、前記第１文書整形データＣに設定されているハイパーリンクについて、当該設定箇所に記載されているリンク先を識別するための情報をパラメータとして、当該パラメータを第２ページ変換手段に送付する旨のハイパーリンクに再設定し、当該再設定したハイパーリンクを前記第３文書整形データＧに含ませることを特徴とする請求項２または３に記載の数式表示制御装置。
【請求項５】
前記第１ページ変換手段は、前記数式画像要求制御文に、数式変換手段を宛先として、数式の表示サイズを指定するための数式サイズ情報の初期値をブラウザ端末Ａに送付させるための記載を含ませるとともに、ブラウザ端末Ａに対するユーザ入力によって表示サイズの指定を受け付ける機能と、ブラウザ端末に対するユーザ入力によって前記表示サイズの指定情報と前記ページ識別情報Ｄを第１ページ変換手段に送付させるための機能とを第２文書整形データＦに含ませ、
前記第１ページ変換手段は、第２文書整形データＦを送付したブラウザ端末において入力された前記表示サイズの指定情報Ｈが前記ページ識別情報Ｄとともに送付されてくると、当該指定情報Ｈとページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該第１文書整形データＣ中の数式Ｂを第２形式の数式記述言語で記述した数式Ｅに変換する処理と、前記第１形式の文書整形言語で前記組版状態を記述するとともに、前記指定情報Ｈを数式サイズ情報として、ブラウザ端末Ａに対し当該数式サイズ情報と数式Ｅとページ識別情報Ｄを数式変換手段に送付させるための数式画像要求制御文と、ブラウザ端末Ａに対し前記数式変換手段から送付されてきた画像を表示させるための数式画像表示制御文とを記載した第２文書整形データＪを生成する処理と、当該第２文書整形データＪをブラウザ端末Ａに返送する処理とを実行し、
前記数式変換手段は、ブラウザ端末Ａが前記数式画像要求制御文を解釈して第２形式の数式記述言語で記述された数式Ｅと数式サイズ情報が送付されてくると、当該数式Ｅを数式サイズ情報に対応する表示サイズの画像に変換してブラウザ端末Ａに送付する
ことを特徴とする請求項１〜４のいずれかに記載の数式表示制御装置。
【請求項６】
ＷＷＷサーバー機能と前記記憶手段とを備えたコンピュータにインストールされるコンピュータプログラムであって、
前記コンピュータが当該コンピュータプログラムを実行することで、請求項１〜５の何れかに記載の数式表示装置として機能することを特徴とするコンピュータプログラム。
【請求項７】
請求項６に記載のコンピュータプログラムを記憶したプログラム格納媒体。
【請求項１】
ブラウザ端末とＨＴＴＰ通信を行うＷＷＷサーバー機能を備えたコンピュータシステムから構成されて、数式を含んだＷｅｂページをブラウザに表示させるための数式表示制御装置であって、
記憶手段と、第１文書返送手段と、第１ページ変換手段と、数式変換手段とを備え、
記憶手段は、多数のＷｅｂページのそれぞれの起源として、Ｗｅｂページの組版状態が第１形式の文書整形言語で記述されているとともに、第１形式の数式記述言語で記述された数式Ｂと、ブラウザ端末Ａに種別判別プログラムを実行させるための記載とを含んだ第１文書整形データを記憶し、
第１文書返送手段は、特定のＷｅｂページを要求してアクセスしてきたブラウザ端末Ａに、当該Ｗｅｂページの第１文書整形データＣを返送し、
種別判別プログラムは、当該プログラムを実行したブラウザ端末Ａに対し、実装されているブラウザの種別を判別させるとともに、その判別結果として、前記種別が前記第１形式の数式記述言語を解釈可能な第１種ブラウザ端末である場合は第１文書整形データＣを解釈させてＷｅｂページの組版を行わせるとともに、当該第１文書整形データＣ中の前記第１形式の数式記述言語で記述された数式Ｂを当該Ｗｅｂページに挿入表示させ、
前記種別判別プログラムを実行したブラウザ端末Ａが前記第１形式の数式記述言語の解釈が不可能な第２種ブラウザ端末である場合は、前記第１文書整形データＣを特定するためのページ識別情報Ｄをパラメータとして、当該パラメータを第１ページ変換手段に送付させ、
前記第１ページ変換手段は、前記種別判別プログラムを解釈したブラウザ端末Ａから送付されてきたページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該第１文書整形データＣ中の数式Ｂを第２形式の数式記述言語で記述した数式Ｅに変換する処理と、前記第１形式の文書整形言語で前記組版状態を記述するとともに、数式Ｅと、ブラウザ端末Ａに対し数式Ｅを数式変換手段に送付させるための数式画像要求制御文と、ブラウザ端末Ａに対し前記数式変換手段から送付されてきた画像を表示させるための数式画像表示制御文とを記載した第２文書整形データＦを生成する処理と、当該第２文書整形データＦをブラウザ端末Ａに返送する処理とを実行し、
前記数式変換手段は、第２文書整形データＦを送付したブラウザ端末Ａが前記数式画像要求制御文を解釈して第２形式の数式記述言語で記述された数式Ｅが送付されてくると、当該数式Ｅを画像に変換してブラウザ端末Ａに送付する
ことを特徴とする数式表示制御装置。
【請求項２】
第２ページ変換手段を備え、
前記第１種ブラウザ端末は、第１形式の数式記述言語を解釈するプログラムがブラウザ用の補助プログラムとして実装されているブラウザ端末であり、
前記種別判別プログラムは、前記判別結果として、前記種別が前記補助プログラムを必要としないで第１形式の数式言語の解釈が可能な第３種のブラウザ端末である場合、前記ブラウザ端末Ａに対し、前記第１文書整形データＣを特定するためのページ識別情報Ｄをパラメータとして、当該パラメータを前記第２ページ変換手段に送付させ、
第２ページ変換手段は、前記ブラウザ端末Ａから送付されてきたページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該取り出した第１文書整形データＣにおいて前記第１形式の文書整形言語で記述された前記組版状態を第２形式の文書整形言語で記述した第３文書整形データＧに変換する処理と、当該第３文書整形データＧを前記ブラウザ端末Ａに返送する処理とを実行する
ことを特徴とする請求項１に記載の数式表示制御装置。
【請求項３】
前記第１ページ変換手段は、前記第１文書整形データＣに設定されているハイパーリンクについて、当該設定箇所に記載されているリンク先を識別するための情報をパラメータとして、当該パラメータを第１ページ変換手段に送付する旨のハイパーリンクに再設定し、当該再設定したハイパーリンクを前記第２文書整形データＦに含ませることを特徴とする請求項１または２に記載の数式表示制御装置。
【請求項４】
前記第２ページ変換手段は、前記第１文書整形データＣに設定されているハイパーリンクについて、当該設定箇所に記載されているリンク先を識別するための情報をパラメータとして、当該パラメータを第２ページ変換手段に送付する旨のハイパーリンクに再設定し、当該再設定したハイパーリンクを前記第３文書整形データＧに含ませることを特徴とする請求項２または３に記載の数式表示制御装置。
【請求項５】
前記第１ページ変換手段は、前記数式画像要求制御文に、数式変換手段を宛先として、数式の表示サイズを指定するための数式サイズ情報の初期値をブラウザ端末Ａに送付させるための記載を含ませるとともに、ブラウザ端末Ａに対するユーザ入力によって表示サイズの指定を受け付ける機能と、ブラウザ端末に対するユーザ入力によって前記表示サイズの指定情報と前記ページ識別情報Ｄを第１ページ変換手段に送付させるための機能とを第２文書整形データＦに含ませ、
前記第１ページ変換手段は、第２文書整形データＦを送付したブラウザ端末において入力された前記表示サイズの指定情報Ｈが前記ページ識別情報Ｄとともに送付されてくると、当該指定情報Ｈとページ識別情報Ｄを取得する処理と、取得したページ識別情報Ｄに基づいて特定される第１文書整形データＣをデータベースより取り出す処理と、当該第１文書整形データＣ中の数式Ｂを第２形式の数式記述言語で記述した数式Ｅに変換する処理と、前記第１形式の文書整形言語で前記組版状態を記述するとともに、前記指定情報Ｈを数式サイズ情報として、ブラウザ端末Ａに対し当該数式サイズ情報と数式Ｅとページ識別情報Ｄを数式変換手段に送付させるための数式画像要求制御文と、ブラウザ端末Ａに対し前記数式変換手段から送付されてきた画像を表示させるための数式画像表示制御文とを記載した第２文書整形データＪを生成する処理と、当該第２文書整形データＪをブラウザ端末Ａに返送する処理とを実行し、
前記数式変換手段は、ブラウザ端末Ａが前記数式画像要求制御文を解釈して第２形式の数式記述言語で記述された数式Ｅと数式サイズ情報が送付されてくると、当該数式Ｅを数式サイズ情報に対応する表示サイズの画像に変換してブラウザ端末Ａに送付する
ことを特徴とする請求項１〜４のいずれかに記載の数式表示制御装置。
【請求項６】
ＷＷＷサーバー機能と前記記憶手段とを備えたコンピュータにインストールされるコンピュータプログラムであって、
前記コンピュータが当該コンピュータプログラムを実行することで、請求項１〜５の何れかに記載の数式表示装置として機能することを特徴とするコンピュータプログラム。
【請求項７】
請求項６に記載のコンピュータプログラムを記憶したプログラム格納媒体。
【図１】
【図３】
【図５】
【図６】
【図７】
【図８】
【図９】
【図１０】
【図１２】
【図１３】
【図２】
【図４】
【図１１】
【図３】
【図５】
【図６】
【図７】
【図８】
【図９】
【図１０】
【図１２】
【図１３】
【図２】
【図４】
【図１１】
【公開番号】特開２０１０−１６０６５６（Ｐ２０１０−１６０６５６Ａ）
【公開日】平成２２年７月２２日（２０１０．７．２２）
【国際特許分類】
【出願番号】特願２００９−２００５（Ｐ２００９−２００５）
【出願日】平成２１年１月７日（２００９．１．７）
【出願人】（５９３１６５４８７）学校法人金沢工業大学 (202)
【Ｆターム（参考）】
【公開日】平成２２年７月２２日（２０１０．７．２２）
【国際特許分類】
【出願日】平成２１年１月７日（２００９．１．７）
【出願人】（５９３１６５４８７）学校法人金沢工業大学 (202)
【Ｆターム（参考）】
[ Back to top ]