Published papers

交通環境でユニヴァーサル・デザインを効果的に発効させるために，CVM法をどう用いるかについて論じた．

高齢者や障碍者の安全な移動のために，どのような政策をたてるべきかを，CVM法を用いて検証した．

バリアフリー社会の構築のために，社会コミュニケーションがどうあるべきかを，電子情報通信工学の立場から論じた．基礎データは，東京圏の障碍者に対して実施した社会調査である．

東京圏で下肢障碍者が移動する際の困難さの分析と，それに対する対策を，人間工学の立場から論じた．具体的の実証データに基づく分析を行った．

慶應SFCで展開してきたMMM(MultiMedia Modeling)プロジェクトについて，第I期(電子協委託の調査研究)，第II期(日経グループほかと共同研究した電子新聞・電子ジャーナリズム)，第III期(Philip Morris Art Award 2000入選などメディアあーと)を，概観した．

日本の首都圏でのノンバリア交通環境の構築に向けて，利用者の意思を反映させるためのCVM法の適用を論じた．実際の調査分析データに基づく論証を行った．

慶應SFC開設10周年を記念し，ひとり1頁ずつ10年間をまとめた雑誌を出版し，その編集長の立場から，総括したもの．

プログラミング言語ＡＬＧＯＬ６０の構文を定義するＢＮＦの生成規則の吟味によって、この言語の文法構造を解明した。生成規則のパターンを分類し、再帰的な構造がどのように組み合わされているかを調べた。また非終端記号の関係と言語の階層構造の関連にも言及した。この研究から新しいプログラミング言語を設計する際の文法面でのてがかりを得ることができた。

リアルタイムの使用記述手法について、これまでに提案があったものを調査し、比較検討を加えて、ソフトウェアシステムの開発の視点から展望した。

マルティメディアソフトの制作とコンピュータプログラムの制作を対比して現状でマルティメディアに欠落しているものが何かを論じた。オーサリングの道具は、まだ初歩的なエディタの水準であり、複雑で大規模な作品の制作にはＣＡＳＥに相当するものが必要であることを主張した。

ソフトウェア再利用に関して、プログラムコードの再利用と設計文書の再利用に分けて、その得失を論じた。さらに、要員の経験として蓄積したノウハウの再利用について言及し、再利用の技術的でない、管理運営面についても論じた。

現在のワークステーション技術を利用して、読むだけ機能をもつラップトップコンピュータを用いることにより、ペイパレス社会への道が開けることを論じた。その際の技術的な問題点を枚挙し、解決策への示唆を行なった。

慶應義塾大学湘南藤沢キャンパスでのコンピュータリテラシー教育について、具体的な論点をまとめて報告した。

コンピュータの専門教育をどのように行なえば効果的かについて、これまでの経験の中から具体的な事例を集めた。特に教師から教える形でなく学生が自ら学びとることを基礎として、そのためにどのような題材を用意し、どのように助言を与えていくべきかを中心に論じた。

新しいコンピュータ教育のアプローチの事例研究として、慶應義塾大学湘南藤沢キャンパスでの情報処理言語Ⅰの教育をとりあげた。従来のコンピュータ入門教育との差異、一般情報処理教育に関する問題点などを論じた。

比例代表制アルゴリズムには、現在参議院で採用しているドント法以外にも、いろいろな方法が提案になっている。それらを４通りの基準で比較し、それぞれの方法の特徴を調べた。一般にはクォータ法というアルゴリズムが適切であることが多いことを結論づけた。

初等教育を支援する数式処理システムＡＳＹＳＴについて、その設計方針と実現方法、およびその評価を述べた。本格的な数式処理システムと異なり、パソコン上で数学教員が簡単に操作できる実用的なシステムをどう作るべきかで、新しい結果を得た。

Quicksort アルゴリズムには、境界値の選びかた、配列の走査方向、配列の分割のしかたをはじめ、特定の性質をもつデータ向きのアルゴリズムまで含めていろいろな変種がある。本研究では９種類の方法について、サンプルデータの性格ごとに実験的に比較し、比較回数、交換回数、再起呼び出し回数の差異を調べた。

Jackson が提案したＪＳＤ法は、時刻および時間に関する制約条件の規定が弱体である。これをより具体化して、実時間システムのモデル化およびその仕様記述が可能になるようにできることを示した。またそのためのシミュレーションシステムを実現した。