近年、論理合成の技術が実用的になるにつれ、ハードウェア記述言語は、ハードウェア設計の全工程に探く関わる設計ツールの中心的な存在として認められるようになってきた。また様々な設計ツールが開発されるにともなって、ハードウェア記述言語の標準化が行なわれている。VHDL(VHSIC Hardware Description Language)はIEEEの標準ハードウェア記述言語で、シミュレータへの入力記述や仕様記述のために開発された言語である。SFL(Structured Function Language)は同期回路を記述の対象とした論理合成指向の言語であり、PARTHENONシステムのもとでシミュレーションと論理合成ができる。本研究はVHDLの記述を入力とする論理合成を可能にするために、VHDLの抽象構文木を走査することによるSFLへの変換を設計し試作したものである。そのためのVHDLサブセットを提案し、変換処理を考察する。
3 0 0 0 tf/idf重み付けに基づく動的文書作成
- 著者
- 関 洋平 原田 賢一
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告デジタルドキュメント(DD) (ISSN:09196072)
- 巻号頁・発行日
- vol.2001, no.120, pp.25-32, 2001-11-30
- 被引用文献数
- 2
近年,日本を中心として携帯端末上の情報提示を目的とした応用が盛んである。本研究では,そのような応用の一つとして,コラム記事から経済の流れをコンパクトに提示するための要約手法について提案する。また,文字数を考慮した個々の文の圧縮手法を提案する。実際の要約処理は,まず,要約に際して必要となる数値情報について考察し,重要文抽出を行った。続いて,その文に対して構文解析を行い,不必要と判断される形態素や句を除去した。構文構造はXML形式でタグ付けを行う。最後に,XSLT(Extensible Stylesheet Language Transformation)を使用して構文木の親子関係に対して制約を与えることにより,構造の圧縮を行った。結果の出力にあたっては,WML(Wireless Markup Language)を使用した。In these years, many applications on portable phones have been developed. We implement the experimental system for summarizing column articles to present economic information for office workers. It is based on character-number based size constraints. Our summarization process is as follows: at first, we set some nuneric criteria to extract important sentences. Second, those extaracted sentences are syntactically parsed and unnecessary phrases are removed. The syntax structure is tagged with XML-formalism. At last, we use XSLT technique and compress those structure based on syntactic tree constraints. The output of this experimental system is demonstrated on the portable phone by using WML(Wireless Markup Language).
2 0 0 0 範疇文法へ単一化文法形式を導入する新たな試み
範疇文法(Categorial Grammar)[1]と単一化文法(Unification Grammar)[2]は,いずれも計算的な文法記述として極めて興味深い枠組みである.計算的側面から眺めた場合,互いに相補的な役割を果たしていながら,共通して項書き換え(term rewriting)に基づく計算モデルを持っており並列化の可能性も高いといった特徴を有している.そこでそうした関係を踏まえ,両文法記述を融合する試みが従来よりなされている.本報告では,そのためのアプローチとして,CUG[3]で与えられているような複合範疇に対応する素性構造を(高階)関数の定義とみなして,それを直接計算する素朴なモデルを提案する.範疇文法は,構文的な構造規則を範疇と呼ばれる単語単位の要素(ほぼ,いわゆる品詞に対応)に分解し,辞書中の各語彙記述に埋め込むものである.このとき,範疇として,原子的な基本範疇だけでなく,(型付き)関数定義に似た表記をつかって基本範疇から組み合わせてつくる複合範疇の表記法を与えることにより,構造的な表現を部分的に与えることを可能にしている.それにより,範疇文法では,ボトムアップに範疇の列の項書換えを行っていくことで文の構文的な解析ができる.一方,単一化文法形式は,構文規則を論理式として表現する論理文法の枠組みに,単一化操作を定義したレコード表現(「属性名ラベル+属性値」対のリスト)である素性構造を取り入れたものである.その素性構造をつかって各単語のもつ性質を,同じ構文規則に現れる他の語の性質と制約として結び付けることにより,構文解析と同時に制約に基づく意味解析を行うことができる.ここでも,構文解析は,構文規則の項書換えとして行うことができる.この両者を融合する研究アプローチの一つにCUG(Categorial Unification Grammar)[3]がある.CUGにおける両者の融合は,単一化文法の枠組みの中に範疇文法をコーディングして埋め込むことで行われている.例えば,関数子を用いて基本範疇から作られる複合範疇は,その関数に対応する素性構造に変換されて,単一化文法の枠組に取り入れられる.しかし,この対応づけだけでは,単一化操作によって,意味制約を伴った構文構造を作り上げることはできても,範疇文法の特徴的な関数的な項書換えの動作を規定してはいない.本報告では,範疇文法と単一化文法を融合するという共通の目的のもとで,むしろ逆に範疇文法の枠組の中に素性構造とその単一化操作を埋め込むことを試みる.そこで原子的な基本範疇に素性構造を割り当てておき,それに加えて素性構造を対象とした単一化に基づく関数結合演算を与えることで,複合範疇のための素性構造を組み立てていく方法を与える.同演算には複合範疇に固有の素性を追加的に与えることができる.これによって,従来よりもより範疇文法の考え方に適した形で,単一化文法形式(意味情報の制約記述)を取り入れることができる.以下では,2章で範疇文法を概説し,3章で単一化文法の紹介とCUGにおける両文法記述の融合方法について解説した後,4章で本報告のアプローチを簡潔に紹介する.
1 0 0 0 カナ文字FORTRAN
- 著者
- 近藤 頌子 原田 賢一 土居 範久
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理 (ISSN:04478053)
- 巻号頁・発行日
- vol.5, no.4, pp.222-223, 1964-07-15
1 0 0 0 コンパイラ作成用の構造的プログラミング言語:SIMPL-T
- 著者
- 原田 賢一 Basili Victor R.
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理 (ISSN:04478053)
- 巻号頁・発行日
- vol.17, no.3, pp.222-228, 1976-03-15
1 0 0 0 コンパイラ : 原理・技法・ツール
- 著者
- A.V. エイホ [ほか] 共著 原田賢一訳
- 出版者
- サイエンス社
- 巻号頁・発行日
- 2009
1 0 0 0 LZH法における並列データ圧縮技法
LZH法はLZ77法という,多くのデータ圧縮プログラムで使用されている基本アルゴリズムにハフマン符号化を組み合わせた,高圧縮率をほこるアルゴリズムである.ハフマン符号化は,単純で高速に実行できるため,圧縮プログラムの実行時間の80%以上がLZ77法において最長一致を探索するために費されている.LZ77法は,データ復元に比べ圧縮に時間がかかるという特徴をもっている.最長一致を探索する時間を短縮するため,KMPやBMなどのパターンマッチングアルゴリズムを使用する他に,圧縮アルゴリズムに適したデータ型とアルゴリズムがいろいろ考えられている.並列化パターンマッチングを用いて,圧縮アルゴリズムを並列化することは,構造的に容易である.しかし非常に多くのプロセッサが使用可能だとしても,パターンマッチを行なう最初の段階しか,多くのプロセッサを必要とせず,最終的には多くのプロセッサがアイドル状態になる.また,並列化の単位が小さいため,プロセッサ間の通信コストが問題になる.以上のようなことを考慮して,考案したのが,今回,紹介するデータ圧縮アルゴリズムの並列化法である.実装はネットワーク環境において行っており,その時の,実験結果についても紹介する.
1 0 0 0 存在型と部分型をもつオブジェクト計算モデル
プログラミング言語は、型付き言語と型無しの言語に、大別できる。型付き言語は,静的型検査によって型誤りを起こさないことが保証される強く型付けされた言語、型誤りを起こす可能性のあるプログラムも型検査に合格してしまう弱く型付けされた言語とに分けられる。強く型付けされた言語では,型に関して安全で,信頼性の高いプログラムを作ることが可能である。型無しの言語では,型を明示的に指定する必要がないので,プログラムが簡潔に記述でき、変更などに対しても柔軟に対応できる。 強く型付けされた言語と型無しの言語の両方の長所を実現するために,型推論が考案された。型推論とは,プログラム中に現われる,非明示的な型に関する情報を使って,式の持ち得る型を厳密な推論規則によって、決定することである。型推論を行うことにより、明示的に型を指定しなくても,強い型検査を行うことができ,実行時の型誤りが起きないことが保証できる。