1、POSIX Localeモデルによる地域化では、複数の文字群と言語の混在表記を必要とする蒙古系文字群のテキスト処理が不可能である。伝統的な蒙古文字は縦書きで左から右に改行するが、蒙古系文字群の中には右から左に記述する横書き文字群や、縦書きで右から左に改行する文字群が含まれ、これらをすべて矛盾なく混在表記、編集することが可能でなければならない。また、これらの文字群は、表記図形と文字とが1対1に対応しない。これらの特徴を持つ蒙古系文字群を分析して文字と図形の対応を求め、国際化として統一的に処理可能なシステムを開発し、X Window SystemとPOSIXに組み込んだ。
2、モンゴル文字資料のうち、戦前日本人が作ったモンゴル文字による文法書や教科書類が重要な位置を占めるが、これらは中国に残されたものも調査して始めてその全貌に迫り得る。その点で『旧満州東北地方文献連合目録(第二輯)』(葦書房)等の文献目録が役立つが、今年度は1961年作成の『蒙古史研究文献目録(日文部分)』を知った。これは言語関係文献類も登録しており、上記のモンゴル文字資料についての理解を深めることができた。

平成8年度の目標の概要は、蒙古文字の調査結果を元に、実際に動作する蒙古文字の入出力機構を実現して検証し、他の言語との混在での問題点の抽出と、テキスト処理の拡張である。
1)ホド文字2種、トド文字1種および、旧ウイグル文字を比較調査した結果から、文字、文字図形の関係を求め、作成した文字コードが使用できる範囲を調査した。
2)上述の文字コード群を元に、蒙古文字特有の情報を持つWCを使用した蒙古文字専用のプロトタイプを作成した。実際に入出力及びテキスト処理を行なって、WCの持つ情報の正当性を検証した。
3)蒙古系文字に特異なテキスト処理として、表示図形の任意の選択と、図形と文字名の両方を用いて検索されることが判明した。これは、アラビア系文字でも応用可能であることが示された。
4)上述の結果を用いて、他言語との混在が可能なシステムを設計し、基礎部分を作成した。この多言語処理系は、プロトタイプが既に動作している。
5)さらにOCRによる読み込みと、異なる蒙古文字で記述される蒙古語間でのデータ変換のため、基本的な1文字を読み込みアウトラインフォントを作成する研究を行ない、識別に関する基礎検討を行なった。
6)次年度で行なう予定のOCRによる読み込みのため、吉田は、蒙古文字資料の調査を継続的に行なっている。その過程で、新資料の発見があった。
本年度の研究は、ほぼ予定を満足した。これらの成果(部分)は、本重点領域シンポジウム等で発表済みである。来年度は、引続き、OCRによる読み込みの研究を行ない、蒙古系文字全般のテキスト処理を網羅する予定である。

情報構造や計算の複雑性の問題は、例えば高速離散フーリエ変換や、行列の積の効率的計算法、素数の判定法や巨大な素数の素因分解のように、ギリシャ時代から今日の情報処理の諸問題までの根本に横たわるものである。中でも計算量の理論(computational complexity)は特定の問題の処理手続きの限界計算量を問うもので、現在の数学ならびに情報工学の一つの中心的研究課題である。
この研究で得られた成果は
1)有限体上の楕円曲線とそれから自然に定まる可換群の位数と、有限体上のガウス型微分方程式の関係、特にワイヤストラスの標準形に対応してa_<12>(x)=x^<{(p+1)/4}>F(1/12,5/12,1,1-x)の素数pに対する絶対値最小剰余に関する研究を深めたこと。解析的性質と代数的性質の両面に関わる具体的成果が得られたこと。
2)一連の楕円曲線の類に対応する不変量jを変数として、有限体の原始根の冪から生ずる列から、絶対値の小さい整数、つまりa_<ij>/p(|a_<ij>|<2√p)を成分とする巡回直交行列の新しい系列を見つけたこと。非常に大きいpについては、位置の同定や計算過程の加え合わせなど今後の応用が期待される。
3)p=3n^2+3n+1型の素数を因数にもつ合成数の確率的多項式時間計算法を見つけたこと。

本年度は、片岡・辰己がシステムの実現のための基礎的な調査を中心に行なった。そのために、吉田がモンゴル語に関する知識・文献データを提供した。研究計画においては、この年度の研究主眼は、「X-Windowへのモンゴル語表示の仕組みと、ローマ字表記モンゴル語変換の仕組みの開発、およびシステムへの組み込み」であったが、実際には当初予想できなかった問題が生じ、ローマ字入力システムの実現までは至らなかった。これは、文字入力以前の段階である文字表示の検討段階において、種々の問題、とくにモンゴル文字固有の表記法が計算機上の文字表記に馴染まない点が明確にされたからである。
そこで、モンゴル文字表示方法についての検討を再度行ない、ある程度の表示に関する結果を得た。特に、文字の表示方向や合字の表示についてある程度の法則性を見い出すとともに、その結果にしたがって表示系を構築することが出来た。この成果は、情報処理学会研究会で発表した。この段階で、モンゴル地域で用いられている他の文字の表示に関しても調査を行ない、文字表示を可能とした。
なお、モンゴル文字アウトラインフォント作成のために、学生を用いてスキャニング作業を行なった。

最近、ソフトウェア構成の過程(プロセス)を明らかにして,効率的なソフトウェア開発に役立てようとする試みがなされている。本研究では,ソフトウェアの構成プロセスをいくつかの代表例に焦点をしぼっていろいろな方法で解明した。まず、ソフトウェア構成プロセスについて、2つのテーマに大きく分け、さらにそれぞれについて、以下のテーマについて研究を行なった。
1.ソフトウェア構成プロセスの分析、改良、適用
(a)プログラム生成過程の分析
論理式で書き表した仕様からプログラムを導出する方法を、比較的小規模の問題について研究し、導出システムの完成、適用、評価などを行った。また、プログラミング過程に現れる多量の文書を通り扱う知的システムを試作した。
(b)構成プロセスからの収集データを用いたプログラム開発過程の改善
構成プロセスからデータを自動収集、分析した後、リアルタイムにその結果を開発者にフィードバックする枠組みと試作システムを用いて、より、知的な構成プロセスの実働化を試みた。
(c)熟練者から得た構成プロセスによる初心者支援
被験者から構成プロセスを収集し、それを知識として分類整理を行って、熟練者から得た設計プロセスを初心者支援に用いるシステムを完成し、それを実際に適用、評価を行った。
2.ソフトウェア構成プロセスのモデル化、記述、実行支援
(a)並列分散言語によるソフトウェア構成プロセスの記述と実行支援
ソフトウェア構成プロセスをある種の並列分散システムとみなし、分散システム記述言語によって構成プロセスを記述した。また、その有効性を評価、検討した。
(b)関数型言語による構成プロセスの記述と実行支援
種々のモデルに基づいたソフトウェア構成プロセスから関数型の開発過程記述言語に変換を行い、その実行によって開発支援環境を得た。その記述言語の有用さ、モデルから言語記述への変換方法などについて検討した。

本研究ではソフトウェアの構成プロセスをいくつかの代表例に焦点をしぼっていろいろな方法で解明すると共に、それを記述するための言語体系の満たすべき条件の整理、それらの実働化実験としてプロセス実行支援系のプロトタイプの試作などを目的としている。
鳥居らは、ソフトウェアプロセスの種々の記述の比較を行なうための共通問題としてMarc Kellnerが提案したソフトウェアプロセスモデリングのための例題をまず、タイミングチャ-トを用いて記述した。しかし、これでは記述できないいくつかの問題があるため、それらを正確に記述するためにペトリネットを用いて記述を行なった。この記述を、プロセス記述言語PDLに変換、実行し、動作を確認した。
谷口らは、共通問題の全体記述を分散システムの仕様記述言語LOTOSで記述し、この記述から、開発に参加する技術者各人のプロセス記述を自動的に導出し、導出の際の問題点や得られた個人プロセスの有効性などについて調べた。
菊野らは、計測環境GINGERを用いたプロジェクト制御の支援をした。計測環境GIGNERはプロジェクト制御のための3つの作業,(1)プロジェクトの現状把握,(2)計画と現状の差の評価,(3)開発者と管理者への評価結果のフィ-ドバック,を自動的に行うものである。GINGERシステムのフィ-ドバック情報によって,開発者は自分の開発プロセスの理解・制御が可能となる.大学における適用実験の結果,GIGNERシステムを用いた開発者自身による自己管理(制御)の有効性が確認された。
落水らは、ソフトウェアプロセスの再利用技術を開発するという目標のもとに、ソフトウェアプロセス知識の獲得法、および整理法に関する研究をすすめており、その現状と問題点を整理した。獲得法に関しては事例推論、整理法に関しては帰納推論の手法を利用しているが、現在、以下の問題点をかかえている。(1)ソフトウェア開発活動の基本単位の定義法(事例の表記法)がつかめない(2)事例を一般化して得られる知識の評価法がつかめない、全体としては、「解決不可能な問題」にチャレンジしているのではという疑問も頭をもたげる。
仕様から算譜(program)を導出するプロセスにおいて、暗黙に仮定された解の「存在」を前提とした場合にいわゆるgenerate and test方式の算譜が出てしまうことが多い。筧らは、導出の支援システムが「背理法」を認めない程度にするのが、「訓練用」システムとしては良い結果をもたらすのではないか、という問題提起を行なった。

本研究ではソフトウェアの構成プロセスをいくつかの代表例に焦点をしぼっていろいろな方法で解明すると共に、それを記述するための言語体系の満たすべき条件の整理、それらの実働化実験としてプロセス実行支援系のプロトタイプの試作などを目的としている。
鳥居らは、主としてプロセス記述言語PDL(Process Description Language)の設計とその言語プロセッサのプロトタイプの試作、試作システム上での種々のソフトウェア構成プロセスの記述を行なってきた。また、比較的大きな自由度を持つ開発作業の構成プロセスを書くために、文脈自由文法を用いて作業系列を記述する方法を提案した。
落水らは、大学生4名を被験者として設計プロセスの実デ-タを収集しその結果を仕事の手順、利用した経験、知識格納に利用する記憶構造等の種々の観点から分析した。さらに、上記の実験で得た知見に洞察を加え、ソフトウェアプロセスに関する知識の型を、前向きの実行制御知識、オブジェクト知識、後向きの実行制御知識として分類した。
筧らは、学生演習程度の小規模プログラムを対象にして、その構成プロセスの解明にあたった。モデル化への手懸りが得やすいことを考慮して、問題となるプログラムの仕様を論理式で与え、プログラム正当性の検証作業と並行してプログラム構成を進めていく方式を採用した。
谷口らは、,実際に代数的言語によるソフトウェアの開発例を通して,ソフトウェア構成プロセスの解析を行った.対象とするソフトウェアの例としては,酒屋の在庫管理問題を取り上げ,代数的言語ASL及びASLに対するプログラム開発支援システムを用いて,実際に要求レベルの仕様からプログラムのレベルまで段階的に記述,検証を行った。
菊野らは、実際のソフトウェア開発から収集したデ-タを信頼性の観点から定量的に評価し,その結果に基づいてプロセスの改良を試みた。各プロセスで実行される作業手順を整理し,作業手順の各ステップで生成されるプロダクトに関するデ-タを収集した.そのデ-タの評価結果に基づいて,各プロセスのあるべき姿を検討した。

研究成果の概要は以下の通りである。
1.大学の代数学の指導における新しい視点
代数学の理論は、情報科学のような応用分野における概念形成・理論構成の手本としても重要である。その教育にコンピュ-タが果たす役割の根幹は次の2つであることが結論された。
(1)具体から理論化への試行錯誤を体験させる。
(2)完成された理論からヒュ-リスティックスを抽出し、人工知能的な立場から、一般の問題解決への戦略の適用を考察する。
2.CSC(Curriculum Supported by Computer)の実践
1.の前段階として、代表者寺田文行がすでに提唱しているCSCの考えに基づき、高等学校で実践を行った。
3.評価理論の数学教育への応用
教育的立場に立った場合、コ-スウェア・ハ-ドウェアなどの教育的効果を検証する事は肝要であり、とくにコンピュ-タを用いる優れた教育を考えると、評価・分析は不可欠である。そこで2.で述べたCSCの実践に対する意味構造分析による評価・分析を行った。
4.問題解決プロセスの分析及び問題解決支援システム
これまで寺田らが開発したシステムなどの高校数学教材を用いて学習者の問題解決の過程を整理し、問題解決に必要な知識を定義・定理・公式などの数学の事実である“数学的知識"と“戦略的知識"に分類し、それらをコンピュ-タ上に表現しコンピュ-タによる問題解決のシミュレ-トを実行した。さらにそのシミュレ-トされた知識を用いて学習者の問題解決を支援するシステムの枠組みを構築している。本システムでは解答の照合・誤りの指摘・解法の指針など学習者に応じた多様な教授法による支援を目指している。

日本語プログラミング言語は，変数や関数を日本語で名付け，日本語の語順でプログラムを書くプログラミング言語である．日本語でプログラムを書くことの利点は，英単語へ置き換えることなく母国語でソフトウェアを開発できることにある．プログラムを母国語で書くことで，ソフトウェア開発においても実装やデバッグ，保守に寄与することが期待される．我々は，日本語プログラミング言語"プロデル"を開発すると同時に，それを使って日本語プログラミングによるソフトウェア開発を実践している．本研究では，日本語プログラミング言語を用いてソフトウェア開発を行い，日本語表記で書かれたプログラムの可読性について評価実験を行った．その結果，日本語で書かれたプログラムは，Javaで書かれたプログラムと比較して，プログラムの理解やデバッグに要する時間が短くなる傾向があることを確認できた．本発表では，日本語プログラミング言語で書かれたプログラムの可読性について議論する．A Japanese Programming Language (JPL) is a programming language using Japanese words for identifiers, such as variables and functions, and its programs are written in a Japanese word order. The advantage of writing programs in Japanese words is to represent the program in our native language without having to replace to English words. We expect that a Japanese programming contributes to implementation, debugging and maintenance, in a large-scale software development. We developed a JPL "Produire" and has developed practical software using the JPL. In this study, we developed software using Produire and experimented to evaluate the readability of programs written in a JPL. This experiment shows that programs written in a JPL, compared to programs written in Java, tend to shorten the time required to understand and debug. In this presentation, we discuss the readability of programs written in a JPL.

過去に閲覧したWebページは,ブックマークや検索エンジンや閲覧履歴を利用することによって見つけ出せる.しかし,ブックマークをしておらず,検索ワードもわからない,閲覧履歴を探してみようにも,候補が多すぎて捜しきれないということがある. 本研究ではこのような状態を想定して,ユーザがうろ覚えの状態でも分かるような情報を基に,過去に閲覧したWebページの捜索を手助けしてくれるようなシステムを作成した. システムは,Webブラウザのアドオンとして実装する.閲覧時に予め保存しておいた閲覧情報を基に,ユーザが覚えている情報と比較して候補の絞り込みを行い,捜しているWebページの候補をユーザに提示する.

Twitterに投稿された情報から、イベントと思われる情報を抽出し、イベント開催地やイベント開催日時を利用者に提示するWebサービスの開発を行った。また、リアルタイムで出来事を検索するサービスとして、電車遅延情報や商品の発売延期情報を検索できるサービスの開発を行った。

大学での教育について内外から変革を求める声が高まっている。その要点は知識伝達教育から「学士力」「社会人基礎力」といった基本力の育成教育に力を注げ,ということにある。そうした基本力育成をどう行い,その成果をどう計ればいいのか,すでに多くの試行が行われているが,そこで得られた知見を共有するための場をもっと広げる必要がある。「教育とコンピュータ」研究会がそうした場の中核になっていくことを期待する。

本発表では，日本語プログラミング言語への適用を前提とした関数の多重定義解決の実装について報告する．最近の日本語プログラミング言語は，助詞や動詞の組合せによってより自由な表現で日本語として違和感なくプログラムを書くことができる．それだけでなくプログラムを気軽に書いて，すぐ動かすことができる動的型付けのスクリプト言語でもある．そのため，多くはコンパイル時に関数を確定できず，実行時に助詞や動詞の多数の組合せの中から呼び出すべき適切な関数を選ぶ必要がある．我々は，記号表の構築方法を改良することによって，多重定義解決を高速に行う方法を検討し，その処理速度を評価した．この方法により動的型付けによる日本語プログラミング言語処理系の実行速度を改善できた．We propose a function overload resolution method for Japanese Programming Languages (JPLs). Recent JPLs are lightweight script languages providing dynamic data typing of variables. At the same time, JPLs allow flexible argument arrangement of function calls by virtue of Japanese wording. Therefore JPL processor cannot identify a callee function at compile time and shall resolve one from a lot of candidates at run time. We devise a function overload resolution method by reorganizing the symbol table of the interpreter to accelerate resolving. Our experiment shows the method allows a JPL interpreter to execute programs faster.

現在の日本におけるソフトウェア開発では母国語である日本語で仕様書を作成し，Javaに代表されるような欧米発想のプログラミング言語を使って実装している．本来日本語と欧米言語とは表現や意味にギャップがあり，そのことで仕様と実装に違いが生じている．日本語で一貫してソフトウェア開発が行えることは，有益であると考えている．我々は，日本語プログラミング言語"プロデル"を開発すると同時に，仕様書から実装まで日本語で一貫したプログラム開発を実践している．本研究では，比較的小規模なソフトウェア開発を例に，UMLを用いて設計したものを，プロデルおよびJavaでそれぞれ実装し比較した．本論文ではソフトウェアの実装を日本語で行うことによる利点や浮かび上がった問題点について報告する．We propose a practice of programming with a Japanese programming language (JPL). Japanese programmers design specifications using Japanese words in designing phase; nevertheless, they write programs using alphabet characters in implement phase. We believe in good for Japanese programmers to read and write programs using Japanese words. We have been developing a JPL "Produire". We are trying to find advantages and research problems through software implementation with Produire. This presentation reports a case study on programming with a JPL through a small software development.

2007〜08年度に情報処理教育委具会の下で策定された情報専門学科カリキュラム」07について報告する.JO7は,1997年度に策定されたJ97の後継として策定されたものである.J97は,&quot;コンピュータサイエンス教育カリキュラム&quot;と銘打たれ,情報専門教育での一群の科目が提示してあった.その上で,当時すでに広がりつつあった情報専門教育の多様化に応じるため,9つの標準履修コース例がそれら科目の組合せとして示してあった.JO7では,さらに進んだ多様化に対応するため,情報専門教育をその目標とするところによってCS,IS,SE,CE,ITの5つの領域に分け,領城ごとにカリキュラム標準を示した.各カリキュラム標準は,その領域での教育対象となる知識項目を整理し分類して示した知識体系を定め,その中でその領域の教育として最低限押さえておくべき項目をコアとして推定したものである.すなわち,具体的な科目をどう構成しカリキュラムをどう組み立てるかは,教育機関の創意工夫にすべて委ねていて,わずかに参考としてコアをカバーする科目構成の例が示してあるに過ぎない.

日本語プログラミング言語において,日本語として違和感のない構文や命名規則を検討し,実用的なロジックを含むプログラムを挙げる.

ブラウザのみで利用でき、だれにでも手軽にウェブサービスが構築できるプログラミング環境を開発している。

第68回全国大会の2日目の午後に開かれたシンポジウム「日本学術会議と「情報学」の新展開」について報告する.2005年に日本学術会議の第20期の会員が決まったが,全学問領域にわたる210名の会員の中から15名の「情報学」の研究者が選ばれた.それだけ「情報学」の広がりが認知されたといえる.これを機に日本学術会議会員を招いて,日本学術会議が何を目指すのか,その中で「情報学」にどんな展開が期待されるのかを語っていただいた.

教室におけるネットワーク環境の整備が進み、プログラミングの授業において、学習者の書いたプログラムや、学習者が出したエラーなどの詳細な学習履歴を収集することが可能となった。この収集された情報から、学習者の特徴的な行動を抽出して、学習者の出来を判断したり、学習者に自動的にアドバイスを与えたりできるシステム&quot;proGrep&quot;を開発した。今回は、このシステムの機能と、授業での活用事例について報告する。

プログラミング学習における支援システムを開発し,Javaを用いたプログラミングの入門の授業において実践した事例を報告する.授業を行うにあたり,次のような点を重点的に実践した.まず,アニメーションなどの,興味の持てるプログラムを作らせること,次に,最初はプログラムとして書くべきことを少なくし,学習の発展に従い段階的に複雑なプログラムも書けるようにすること,また,ネットワーク教材を活用し,学習状況を把握したりたりすること,などである.この試みは2003年から行っているが,その年は,学習内容が進むにつれてそれまでの学習内容との違いに戸惑いを感じる学生が多かったなどの問題点があった.そこで,2003年までの学習環境,コースデザインに改良を加え,2004年度のプログラミング授業に再び適用した. T

初学者がプログラミングを学習する場合,一般に,最初は簡単な概念を学び,次第に高度な概念を習得するという順序を踏む.学習環境も,その進行に沿ったものが用意できるとよい.最初は,難しい概念を知らなくても使える取っ付きやすい言語や環境を与え,学習が進むに従って,高度な概念も扱えるJavaなどの実用的な言語へ移行させるとよい.これによって,初学者にプログラミングに対する興味を持たせ,学習意欲を継続させることが可能であると考えられる.そこで,プログラミング学習の導入部において用いるのに適した言語Nigariとその環境を開発した. Nigariの言語仕様は,Javaのそれを簡素化したものになっており,クラスやメソッドの宣言など,初学者にとって理解が難しいものを書く必要がない.一方,基本的な制御構造などは. Javaとぽとんど同じ仕様である.Nigariの実行環境は,オブジェクトを自動的に可視化する機能を持つ.これによって,学習者のプログラミングヘの意欲を向上させるだけでなく,オブジェクトの概念をも理解させることができる.早稲田大学コンピュータ・ネットワークエ学科1年前期のプログラミングの授業を実験の場とした.この授業は本来Javaを用いて実習を行うが,導入部にNigariを用いた.実験では,オブジェクトの可視化機能について学生から高い評価を得られた.また,言語を簡素にすることについても,...

初学者がプログラミングを学習する場合，一般に，最初は簡単な概念を学び，次第に高度な概念を習得するという順序を踏む．学習環境も，その進行に沿ったものが用意できるとよい．最初は，難しい概念を知らなくても使える取っ付きやすい言語や環境を与え，学習が進むに従って，高度な概念も扱えるJavaなどの実用的な言語へ移行させるとよい．これによって，初学者にプログラミングに対する興味を持たせ，学習意欲を継続させることが可能であると考えられる．そこで，プログラミング学習の導入部において用いるのに適した言語Nigariとその環境を開発した．Nigariの言語仕様は，Javaのそれを簡素化したものになっており，クラスやメソッドの宣言など，初学者にとって理解が難しいものを書く必要がない．一方，基本的な制御構造などは，Javaとほとんど同じ仕様である．Nigariの実行環境は，オブジェクトを自動的に可視化する機能を持つ．これによって，学習者のプログラミングへの意欲を向上させるだけでなく，オブジェクトの概念をも理解させることができる．早稲田大学コンピュータ・ネットワーク工学科1年前期のプログラミングの授業を実験の場とした．この授業は本来Javaを用いて実習を行うが，導入部にNigariを用いた．実験では，オブジェクトの可視化機能について学生から高い評価を得られた．また，言語を簡素にすることについても，ある程度の評価を得られた．When novice students learn programming, they usually start from basic notions and proceed to higher-level concepts. Teachers should provide materials adapted for students' progress: first, they should provide simple and easy programming language environment, then, shift to a practical one such as of Java, which can handle more sophisticated concepts. We developed a programming language Nigari and its environment. It is designed as a workbench at the first stage of programming lessons. The language specification of Nigari is a subset of Java: control structures are almost equal to Java, but no class declarations and no method declarations are required to write. It is intended that students can shift to Java ultimately without confusion. Moreover, the environment of Nigari has visualization feature that shows objects on a screen automatically. This feature fuels students' motivations to learn programming and helps their grasping basic concepts of "Objects". We applied Nigari, as an experiment, in a lesson of programming in Department of Computer Science, Waseda University. The course had been designed to use Java originally. We provided Nigari to students as their startup environment. Questionnaire in and after the course showed that many students favored its object visualization feature and some appreciated its language simplicity.

2003年4月から再編により発足した早稲田大学理工学部コンピュータ・ネットワーク工学科ではIEEE/ACM Computing Curricula 2001も参考にして,そのカリキュラムを作成した.編集からの依頼により,その経験で他機関に参考になると思われる部分を解説した.

大学のプログラミングの授業では,Javaなどの既存のプログラミング言語を題材とすることが多い.それらは習得が難しく,プログラミング嫌いを生む原因となる.初学者には,興味を惹く例題がすぐに書け,それでいて既存言語へ容易に移行できるプログラミング言語と環境を用いるのが適切である.そこで,オブジェクト指向のプログラミングにすぐ入れて,なおJavaへの移行も容易な言語Nigariとそのプログラミング環境を実際に開発して,授業に用いてみた.本発表では早稲田大学コンピュータ・ネットワーク工学科での,その試行結果を報告する.

ユーザの入力した検索語をもとに同義語の組を抽出する手法を提案する.本手法は,ユーザが入力した検索語の共起関係から,つながりと呼ばれる検索語間の関係を定義し,この関係を強く持つ検索語同士から同義語の組を抽出する.また,実際に稼働している全文検索システムを用いた実験を行い,本手法の有効性を検証した.実験に用いた検索システムはlinux-usersメーリングリストのアーカイブを検索するシステムであり,2002年2月から6月までの約7万リクエストについて解析を行った.

アクションゲームを作成する際に必要となる技術として,複数のオブジェクトの並行動作や,ゲーム画面の視覚的設計,といったことがあげられる。これらの技術をユーザから簡単に利用可能にする言語および開発環境Tonyu System(以下Tonyu)を作成した.まず,Tonyuは各オブジェクトの動きを独立に記述し,それらを並行動作させることが可能である.並行動作を行うには通常マルチスレッドを用いるが,アクションゲームはオブジェクトが多数出現するため,OSで用意されているスレッドでは負荷が大きすぎる.Tonyuは仮想機械による実行系を持ち,仮想的なスレッドを同時に複数実行できるが,OS上ではシングルスレッドで実行される.このため,同等の処理をOSのスレッドを利用して行う場合に比べて負荷が抑えられている.また,Tonyuはゲーム画面の設計を視覚的に行う仕組みを持つ.GUIアプリケーションの外観を設計するビジュアルツールは多く普及しているが,Tonyuはこのビジュアルツールの技術をゲーム画面のレイアウト設計に応用したものである.さらに,Tonyuはプログラムの実行中においても,設計時同様,ゲーム画面のクリックによるオブジェクトの選択,選択されたオブジェクトの値の閲覧,編集といったデバッグ操作をリアルタイムに行うことができる.この機能を利用して,他ユーザのプログラムを容易に解析,改変することがで...

アクションゲームを作成する際に必要となる技術として，複数のオブジェクトの並行動作や，ゲーム画面の視覚的設計，といったことがあげられる．これらの技術をユーザから簡単に利用可能にする言語および開発環境Tonyu System（以下Tonyu）を作成した．まず，Tonyuは各オブジェクトの動きを独立に記述し，それらを並行動作させることが可能である．並行動作を行うには通常マルチスレッドを用いるが，アクションゲームはオブジェクトが多数出現するため，OSで用意されているスレッドでは負荷が大きすぎる．Tonyuは仮想機械による実行系を持ち，仮想的なスレッドを同時に複数実行できるが，OS上ではシングルスレッドで実行される．このため，同等の処理をOSのスレッドを利用して行う場合に比べて負荷が抑えられている．また，Tonyuはゲーム画面の設計を視覚的に行う仕組みを持つ．GUIアプリケーションの外観を設計するビジュアルツールは多く普及しているが，Tonyuはこのビジュアルツールの技術をゲーム画面のレイアウト設計に応用したものである．さらに，Tonyuはプログラムの実行中においても，設計時同様，ゲーム画面のクリックによるオブジェクトの選択，選択されたオブジェクトの値の閲覧，編集といったデバッグ操作をリアルタイムに行うことができる．この機能を利用して，他ユーザのプログラムを容易に解析，改変することができる．これらの特徴を活かし，Tonyuをプログラムの共同開発やプログラミング教育のためのツールとして利用していく予定である．To making action games, we need following techniques: parallel processing of multiple objects and visual design of game fields. We developed "Tonyu System" to support these techniques for users. At first, Tonyu allows users write behavior of each object independently and then put them into a field and run them automatically in parallel. In action games, there may be many threads at a same time. That will charge very high load when using native threads (threads provided by OS). Tonyu can execute virtual multi-threads on the virtual machine. But consumes just one native thread. It charges less load than using native thread. Second, Tonyu enables users to design layouts of game fields visually. To design layouts of GUI-based applications, visual development tools are widely available. Tonyu is also a visual development tool, but for designing layouts of action games. Moreover, Tonyu has some useful debugging features: selecting each object by clicking the game screen and inspecting and editing values of the object. These features can be used not only at design time, but also at runtime. They support users to analyze and modify other user's programs. Using these features, we are using Tonyu for co-operating development, or programming education.

インターネットなどの情報通信で使用できる文字はラテンアルファベットが主流であり、ネットワークの国際化の反面、未だ母語を利用できず、ソフトウェアの国際化は進んでいないのが現状である。World Wide Webにおいても、HTML自信の仕様と Web Browserが特定のエンコーディングを対象としているため、任意に文字を混在させて利用可能な国際化の実現が困難である。そこで、X Window System上で開発した国際化ライブラリである System 1を利用し、国際化 Web Browser の開発を行っている。本稿では、HTML文書の表示と文字列検索考察し、Web Browserに必要な機能について述べる。

インターネットなどの情報通信で使用できる文字はラテンアルファベットが主流であり、ネットワークの国際化の反面、未だ母語を利用できず、ソフトウェアの国際化は進んでいないのが現状である。World Wide WebにおいてもHTML自身の仕様とWeb Browserが特定のエンコーディングを対象としているため、任意に文字を混在させて利用可能な国際化の実現が困難である。そこで、X Window System上で開発した国際化ライブラリであるSystem 1を利用し、国際化Web Browserの開発を行っている。本稿では、HTML文書の表示と文字列検索を考察し、Web Browserに必要な機能について述べる。

本稿では, 直接翻訳方式を利用した日-韓機械翻訳システムにおいて, 連語パターンによる変換手法を提案する. 筆者らは, 日本語での連語パターンを作成し, 変換規則として用いることにより語彙の曖昧性の問題を解決した. また, 意味素性をベースにした選択制限として, 連語パターンの中で最もパターン類似度が高いものを選択する類似度のスコア計算の方法を提案する. 我々は, このような変換方法を用いた日-韓機械翻訳システムを鉄鋼関係の特許文書翻訳のために構築し, その性能を評価法によって分析した. その結果, 翻訳成功率は約94%であるし, 意味的曖昧性を持つ用言と助詞に対して各々95.62%, 94.96%の語彙の曖昧性を解決し, この手法が十分有効であることを確認した.

定理の自動証明システムをWWW上で実現する。一般にハイパーテキストのビューワーと認識されているWWWブラウザを一つの環境ととらえ、その上に論理体系CLCに基づく証明システムを構築する。WWWブラウザとサーバ上の証明プログラムの間で、命令とデータのやりとりを繰り返しながら証明を進める。証明プログラムはサーバー上で実行されるので、ユーザーはただWWWブラウザを用意するだけでシステムを利用することができる。つまりコンピュータの機種やOSの種類によらない普遍的な環境を提供することができた。

ここで紹介するものは、従来のべた詰めの日本語組版とは違う、新しい日本語組版の方法である。日本語文書の組版は、一部の例外を除いてべた詰めで組まれてきた。これに対して、欧文では単語毎にスペースが入れられ、単語が行で分割される場合は、ハイフネーションが入れられる。我々が日本語文書を読み書きするとき自然に文節を意識しており、改行するときは、文節の切れ目で改行するのが自然である。しかし、印刷されたものは、一見して文節というものが分からない。そこで、日本語を文節単位で考え、2章で欧文・手書き文書の特徴を、3章でいくつかの新しい組版方法を提案する。

あるフォーマットにしたがって書かれているテキストファイルを別の形のフォーマットに直すという作業を行なう時、ある種のツール類が存在している。しかしこれらのほとんどは、決められたフォーマットの間のテキストでしか変換ができない。変換したいフォーマットに適したものがある場合は良いがいつもそうであるとは限らない。たとえば構造に関するマークアップなどは明示されていない文章があったとする。しかしこの文章に章の番号などが振られていたとすれば構造を知ることができる。つまり、構造に関するマークアップが明示されていないものも、定型に収まっていれば構造を知ることはできるということである。そこで、変換元のテキストの構造を定義し、変換の方法を指定すれば望む結果が得られるようなテキストコンバータを作成した。

蒙古(関連)語は、複数の異なるタイプの文字群で記述されてきた。これらの文字群は、極めて複雑な正書法を持つため、文字コード化及び計算機処理化が進んでいなかった。特にこれらの文字群は、歴史的経緯により、縦書きと横書きでの混在処理が必要とされる。全世界の文字を分析し、一文字の定義と文字を構成する情報を得た。これにより複雑な正書法をもつ蒙古文字に最適な文字コードを決定することができた。この結果、国際化の一環として、蒙古文字を含む全ての文字の混在文書の、単一的機構による一般化した入出力・文書処理が可能となった。

数列の区間および数平面上の矩形に関する問題は問題は明解であるが,その効率の良い解法は複雑である.したがって多くの学生はそれらの問題の最適な解法の理解に困難を感じている.筆者らは,P区間表と呼ばれるデータ構造を提案し,その区間や矩形に関する問題解決の有効性について調査した.本稿ではその教育上の有効性について報告する.なお,P区間表には右区間表と左区間表があるが,ここでは簡便のためP区間表により右P区間表を表すことにする.

本稿では、依存文法による構文解析システムを利用して、自然言語の形態素及び文法属性を推定し、辞書に登録・管理する辞書管理システムについて述べる。現在の自然言語処理システムは言語に関する情報が辞書に存在することを前提として構築されているが、実際、膨大な言語に関する情報を持つ辞書を構築することは不可能に近いことである。そこで、我々は構文解析システムの実行結果を基に日本語の形態素及び文法属性を仮想辞書に登録し、解析システムが動くことによりその情報の精度を上げて自動的に辞書を拡張管理するシステム開発を行っている。本研究の目的は、辞書構築手法を模索する一つの試みとして解析段階で未知語が見つかった場合、推論機構を通して獲得された情報に基づいて、辞書情報としての利用可能性を探索することである。従って、ここで、文法属性というのは解析システムの環境に違反しない範囲で再構成され、文の中で語の役割を重視する文法知識であることを前提とする。ここでは、その基本アルゴリズムと実験結果について報告する。

自然言語処理システムにおいて、言語に関する情報の完全性は、そのシステムの性能に大きな影響を与えるが、膨大な言語に関する情報を系統的に作成することは因難な問題である。未知語処理や推論の研究分野で、即知の問題を未知の領域に適用する方法や解析の過程で最もらしい解を導出する方法が提案されているが、分野の限定や速度の向上が必要とされている。本稿では、依存文法による日本語解析システムにおいて、不完全な辞書情報に対して推定機能を用いた日本解析システムについて述べる。解析システムの文法は基本的に依存文法を採用しており、各単語の意味素性の決定により意味処理を行っている。辞書は、辞書情報推定システムによって作られた不完全情報を持つ仮想辞書と完全な形態素及び文法情報が登録されている完全情報辞書と二つに大別される。未知語を含んでない文については、解析結果、その係受けの木構造を出力するし、完全情報辞書にない単語については仮想辞書を検索し、その言語情報の形態素及び文法情報推定を行い、可能な解析結果を求める日本語解析システム開発を行っている。ここでは、その基本アルゴリズムと実験結果について報告する。

実際的に高速な整列法を提案する。まず数列がどの程度非整列であるかを明確にするために数列の攪乱要因dと呼ぶ新しい概念を導入する．それは「両隣の要素よりも大きい要素（攪乱要素）の個数」である。次に0≦d≦（?）/2かつ長さnの全数列についてのdの平均値は（?）/3であることを示し，対称ヒープを利用した新しい整列法（対称ソート）が与えられた数列の長さnのみならずその攪乱要因dにも明白に依存する平均O（*log（））かつ最悪O（*）時間の整列法であることを証明する（ただしd=0およびd=1のときは例外的に最悪O（）時間で整列できる）。最後にQUICKソートおよびリストマージソートとの比較実験および計算量の理論的検討結果を示す。A new sorting algorithm called symmetric sort and running fast in practical uses is described. The disordering factor d of a sequence is introduced to evaluate the disorderedness of the sequence. The d is the number of elements which are greater than both their left and right elements. Then, 0≦d≦(n-1) and the fact that the average value of d is (n-2)/3 are shown. It is proved that the symmetric sort runs in O(n*log(d)) average and O(n*d) worst case time on a sequence with length n and disordering factor d>1. For d=o or d=1, the sort runs in O(n) worst case time. Finally, results of theoretical and experimental comparison between the performances of QUICK sort, list-merge sort and symmetric sort are presented.

数列に関連しかつ数の大小関係を含む広範囲のプログラム作成問題を分割統治法により解決し易くするために対称ヒープと呼ばれるデーター構造を利用する方法を提案する。まず対称ヒープとは何かを詳しく説明し，かつ与えられた長さnの数列からO（）時間（最良n?1かつ最悪2n?）で対称ヒープを作成するアルゴリズムを示す（ヒープに要するメモリー所要量は3nである）。次に対称ヒープの操作に必要な基本関数およびその計算量を示す。最後に数列に関する6つのプログラム作成問題（そのうち3つは本稿オリジナルと考えられる）を対称ヒープを用いて解決する。Solving programming problems using data structures called symmetric heaps is proposed. Symmetric heaps make the classic divide and conquer method easier to apply to a class of problems concerning number sequences. The definition of the heap and an O(n) worst case time (between n-1 and 2n-1) algorithm to generate a symmetric heap from a given sequence of length n is described. Extra memories to implement a heap is 3n pointers. Then, primitive functions on symmetric heaps and their time complexities are presented. Finally, solutions of six programming problems concerning number sequences are shown as example applications of the proposed method. Three of the problems are considered to be originated from this manuscript.

プログラムを書き表わす言語は多数ある.人工的なこれらの言語は,定義書によって定められる.特に広く使われている言語は,規格として与えられる.これらの定義に用いられている方法について背景を含めて紹介し,あわせてそれらの読み方について注意すべき点を述べる.