Published papers

Strachy が提案した高度の機能をもつマクロ言語ＧＰＭに、ＡＬＧＯＬ風の制御構造を含めることを検討し、特にＩＦ構文を扱う手法について具体的に示した。これによってＧＰＭでのプログラミングがずっと容易に行え、また理解できるようになった。

構造化されたプログラムを形成するために提案された新しい制御構造を比較検討し、これまでにない非決定性を含んだ構文と、ｎ＋１／２ループ構造を実現するための構文を提案した。

ソフトウェア開発の過程ごとにそれぞれ別々の言語が必要なことは広く知られているが、それらの言語をファミリー化して、部分的に自動変換できるような体系について提案した。具体的には電子技術総合研究所で開発したシステム記述言語ＥＳＤＬ（ETL's System Description Language）をもとにして、この考えかたを一般化することを試みた。

文脈依存文法のひとつであるプログラム文法について、go-to 文に相当する生成規則を除去したものを構造化プログラム文法と定義する。この文法の性質を調べて報告した。またグラフの縮約の形で生成規則を変形し、構造化されていない文法を構造化する方法を示した。

プログラミング言語 Pascal のデータ型およびデータ構造を検討し、プログラミング言語を設計する場合の留意事項を系統だてて整理した。構造的プログラミングの考えかたを制御構造だけでなくデータ構造にも適用することを試みた。

構文解析アルゴリズムの中で、単純プレシデンス法とＬＲ（ｋ）法のふたつについて、Knuth の手法にもとづ いて数学的に解析した。すなわち制御の流れの分析から独立なパラメータ間の関係式を導き、基本パラメータのとる値の最大値、最小値、平均値を計算し、アルゴリズム全体の実行効率を求めるものである。

プログラムの見かけからは想像できないような結果を生じるようなものを収集し、系統だてて分類整理した。特にFORTRAN によるものを中心として、そうした結果をひきおこす原因を調べ、プログラミング言語の設計のための検討項目を用意した。

文脈自由文法の標準形として、Chomsky 標準形や Greibach 標準形とは異なった観点から、新しい標準形を提案した。文法の再帰構造に注目し、開始記号以外の非終端記号は必ず再帰的生成規則をもつようにして、それ以外の非終端記号および関連する規則は代入によって除去するもので、文法構造の計量に利用できる。

有限状態機械を無限長に一方向に並べたモデルで同期して計算できる数列の性格を議論し、いくつかのパターンごとに整理した。具体的な有限状態機械の状態遷移例を、２のｎ乗数列、ｎの２乗数列、フィボナッチ数列、および素数列に対して与えた。素数列に関する解はFischer が発表したものより大幅に少ない状態数での実現になっている。

Residue 数体系に大きさ（範囲）を含める手法に関して、従来まだ発表されていなかったいくつかの事実を示した。Residue の数を表現する数の列に加えてその大きさを表す指標を Sasaki の方法で追加した場合、その指標の満たす関係式を図によって説明でき、そこから一般式を導くことができることを示した。

列車情報案内システムを，利用者の便宜に沿ってインタラクティヴに提供できるシステムを提案し，プロトタイプで実証した．JR東日本寄附講座の成果として，本社で評価していただいた．

数学カリキュラムを，コンピュータサイエンスの視点から論じた．特に，情報数学教育のありかたに言及した．

オブジェクト指向モデリングおよびシミュレイションを支援するトゥール「あやめ」について，具体的な事例に沿って解説した．新しいUMLに関してこのシステムが占める位置づけにも言及している．

電子ジャーナリズムの視点から，前稿に引き続いて，特に放送と通信の境界に関して，近未来の方向づけを論じた．

電子ジャーナリズムの視点から，ディジタル出版やディジタル放送の現状と近未来に向けての見通し，あるべき姿の提言等を述べた．

ディジタル社会の方向づけについて，慶應SFCのそれぞれの研究分野から代表者が出て，これまでの総括と今後何を志向すべきかを座談会形式で議論した．

慶應SFCで新しい雑誌を出版するに当たって，創刊号の編集者の立場から，ディジタル社会についてとりあげた趣旨を述べた．

電子新聞など，Web上のディジタル文書を作成するための支援環境について論じた．プロトタイプによって実証を試みている．

1996年11月に京都賞を受賞したKnuth教授の業績紹介を通して，今後のコンピュータアルゴリズム研究の動向を述べた．

ユーザとインタラクティヴにCGアニメを作成するためのトゥール開発について論じた．特に，運動状態思考のモーションパスの扱いを工夫している．