論文 - 有澤　誠

The Research into the Method of Developing Efficient Universal Design in Traffic Environment through the Application of 'Contingent Valuation Method'

西山敏樹，後明賢一、有澤誠

EcoDeisgn2001 2001年10月

共著, 査読有り

　概要を見る

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

Research on How Social Communication on the Process of the Creation of a Barrier-free Society Should Be

西山敏樹，後明賢一、有澤誠

Asia Pacific Conference on Communication (APCC2001) 2001年09月

共著, 査読有り

　概要を見る

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

Research about the Safety Measures to Be Taken When Both Aged People and Physically Challenged People Move from One Place to Another through the Application of 'Contingent Valuation Method'

西山敏樹，後明賢一、有澤誠

Asia Pacific Symposium on Safety (APSS2001) 2001年09月

共著, 査読有り

　概要を見る

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

The Study of the Characteristics Given When People in and around Tokyo Who Are Deprived of the Use of Their Lower Limbs Travel from One Place to Another Place

西山敏樹，後明賢一、有澤誠

Nordic Ergonomics Society 33th Congress (NES2001,Tampere University) 2001年03月

共著, 査読有り

　概要を見る

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

パネル討論「ソフトウェア科学とコンテンツの科学」

横井 俊夫(司会), 佐藤 哲司, 西田 豊明, 橋田 浩一, 有澤 誠

日本ソフトウェア科学会第17回大会 2000年09月

共著

慶大SFCのMMMプロジェクト

NIME Newsletter  （ 17号 ） 5 2000年05月

単著

　概要を見る

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

The Research into the Realistic Policy on Realizing the Non-barrier Transportation Environment by Application of 'CVM'in the Metropolitan Area in Japan

西山敏樹，後明賢一、有澤誠

International Geographical Congress 2000 Seoul 2000年03月

共著, 査読有り

　概要を見る

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

教育しない大学

KEIO SFC REVIEW  （ 6号 ） 70 2000年03月

単著

　概要を見る

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

データベースを利用した列車情報案内システムの作成

藤田徹夫、有澤誠

電子情報通信学会ソフトウェアサイエンス研究会技術報告 SS-99-8   23－28 1999年05月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

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

コンピュータサイエンスと数学

日本数学教育学会編：算数数学カリキュラムの改革へ(産業図書)に収録    ? 1999年04月

単著, 査読有り

　概要を見る

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

モデリングシミュレイション支援系「あやめ」の開発

明田守正，山川総司、有澤誠

KEIO SFC REVIEW (Vol.3-1) （ 4号 ） 110－115 1999年04月

共著

　概要を見る

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

放送の将来（特集　メディア・コミュニケーション－第１部　マス・コミュニケーション）

KEIO SFC REVIEW (Vol.2-2) （ 3号 ） 9－13 1998年10月

単著

　概要を見る

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

ディジタル出版，放送とその将来（特集－ディジタルユニバーシティからディジタル社会へ－第４部）

KEIO SFC REVIEW (Vol.1-1) （ 1号 ） 117－121 1997年10月

単著

　概要を見る

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

KEIO SFC REVIEW No.1 特集のねらい

KEIO SFC REVIEW (Vol.1-1) （ 1号 ） 5 1997年10月

単著

　概要を見る

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

座談会 ディジタル社会への予感（特集　ディジタルユニバーシティからディジタル社会へ－第１部）

他の出席者：斎藤信夫，岩竹徹，草野厚，小林栄三郎，高橋潤二郎、有澤誠

KEIO SFC REVIEW (Vol.1-1) （ 1号 ） 6－22 1997年10月

共著

　概要を見る

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

ディジタル・ドキュメント作成支援環境の提案

'早川由紀,有澤誠'

電子情報通信学会ソフトウエアサイエンス研究会技術報告 SS-97-11   1－8 1997年07月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

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

京都賞受賞で来日されたD.E.Knuth先生について.

コンピュータソフトウエア 14－1   83－86 1997年01月

単著

　概要を見る

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

運動状態指向のモーションパスアニメーションシステムの開発.

山川総司、有澤誠

情報処理学会グラフィックスとCAD研究会報告 81－4   19－24 1996年04月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

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

How Should Universities and Railways Cooperate in a New Era ?

Japan Railway and Transport Review    2－5 1996年03月

単著, 査読有り

　概要を見る

メディア技術が進んだ時代に，大学と鉄道会社がどう協調することができるかを，JR東日本寄附講座担当者の経験を含めて論じた．

電子メディアを利用した数理パズル

山川総司、有澤誠

情報処理学会情報メディア研究会研究報告 96-IM-25-1   1－8 1996年01月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

中山財団とEENプロジェクトの支援を受け，電子メディアを利用して4次元空間を可視化し，そこで数理パズルを体験する事例として，4次元女王配置，4次元迷路などを開発した．さらにハイゼンベルグの箱や，ブラックボックスなど，実環境で作成しにくいパズルを電子メディア上で実現した．

三次元動画をもちいた電子新聞

明田守正、有澤誠

情報処理学会情報メディア研究会研究報告 96-IM-24-2   9－16 1996年01月

共著

　概要を見る

Web上の電子媒体の新聞は，紙媒体の新聞とどのような異なった形をとるべきかを論じ，三次元動画を用いたインタラクティヴな新聞を提唱した．具体的には，プロトタイプを用いて実証した．

GUIを用いたL-systemエディタの開発

西村剛、有澤誠

電子情報通信学会ソフトウエアサイエンス研究会技術報告 SS-95-28   65－72 1995年09月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

生成システムの一種であるリンドマイヤーのLシステムについて，生成規則と生成物の相互フィードバックが可能なエディタを開発した．具体的事例をもとにして，このシステムの有効性を論じている．

クロスプラットフォーム・リアルタイム3Dグラフィックスライブラリの開発

山川総司，富田修平，芳賀謙,有澤誠

電子情報通信学会ソフトウエアサイエンス研究会技術研究報 SS-95-12   15－22 1995年07月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

実時間3DCGのトゥールの開発について論じた．Unix,Mac,Windows,SGIのどのプラットフォームでも共通のCGパッケージが使えるように，共通モジュールと，個別モジュールを分割して開発した点が特徴である．

輸送情報(乗車人員)の視覚化について

辻巻伸、有澤誠

電子情報通信学会 ソフトウエアサイエンス研究会技術報告 SS-95-11   9－14 1995年07月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

鉄道利用者の動態情報を，コンピュータ上で視覚化した事例について述べた．JR埼京線でとっている実際のデータに基づく結果を出した．JR東日本寄附講座の成果として，JR本社でも評価していただいた．

慶應義塾大学湘南藤沢キャンパスの授業評価

工学教育 ４３－４   36－40 1995年04月

単著, 査読有り

　概要を見る

慶應SFCの授業調査の5年間のデータを分析し，この方法の効果を論じた．因子分析によって，3種類の因子が抽出でき，十分に意味をもったデータが得られていることを検証できた．

４次元空間の可視化を支援するシステム

西村俊介、有澤誠 　　　

電子情報通信学会ソフトウエアサイエンス 研究会技術研究報告 SS-94-21 1994年07月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

Julia 集合と Mandelbrot 集合を合わせた４次元空間を研究可視化する題材を用いて、開発したシステムの詳細を述べた。利用者が自由に操れる感覚をどのようにして実現するかというインタフェイスや、限られた計算時間でいかにして実用に耐える可視化を達成するかなど、いくつかの問題点に対して解決策を提示した。 　

プロトタイピングの可能性と限界

文部省科研費重点領域シンポジウム 1993年09月

単著

　概要を見る

ソフトウエア開発でのプロトタイピング技法のもつ可能性と、その限界について論じた。ウォーターフォール型の開発ライフサイクルの欠陥を補間するためには有効であるが、ソフトウエア再利用などの視点からは、現段階ではまだ技術として十分に成熟していないことを結論とした。 　

リアルタイム制御の記述

電機学会雑誌 １１３巻 （ ８号 ）  1993年08月

研究論文（学術雑誌）, 単著

　概要を見る

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

マルティメディアソフトのプログラミング

川又浩一、田所淳、山川総司、有澤誠

電子情報通信学会ソフトウェアサイエンス研究会技術研究報告 SS-93-17 1993年07月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

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

再利用ベースのソフトウェア開発保守枠組み　

ソフトウェア再利用シンポジウム報告集、情報処理学会    27－31 1992年07月

研究論文（研究会，シンポジウム資料等）, 単著

　概要を見る

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

ペイパレス社会指向の読むだけ機能ラップトップ機について

電子情報通信学会ソフトウェアサイエンス研究会技術研究報告 SS91-37 1992年01月

研究論文（研究会，シンポジウム資料等）, 単著

　概要を見る

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

コンピュータリテラシー教育の一事例

安村通晃、斎藤信男、有澤誠

情報処理 ３２巻　 （ １２号 ） 1310-1317 1991年12月

共著

　概要を見る

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

効果的なコンピュータ教育のケイススタディ

夏のプログラミングシンポジウム「計算機教育」報告集（情報処理学会） 1991年07月

研究論文（研究会，シンポジウム資料等）, 単著

　概要を見る

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

ＫＥＩＯ　ＳＦＣにおけるコンピュータリテラシー教育

安村通晃、有澤誠、斎藤信男

第３１回プログラミングシンポジウム報告集（情報処理学会）    165－176 1991年01月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

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

種々の比例代表制アルゴリズムの比較について

第３０回プログラミングシンポジウム報告集（情報処理学会）    75－82 1990年01月

研究論文（研究会，シンポジウム資料等）, 単著, 査読有り

　概要を見る

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

小中高校の数学科教員のための数式処理誌の設計と開発　

長嶋孝好、有澤誠 　

ＣＡＩ学会誌 ６巻　 （ ２号 ） 3－11 1989年06月

研究論文（学術雑誌）, 共著, 査読有り

　概要を見る

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

いろいろな変種　Ｑｕｉｃｋｓｏｒｔアルゴリズムの比較について

梶原洋一、有澤誠

情報処理学会論文誌 ２９巻　 （ １１号 ） 1051-1057 1988年11月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

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

実時間システム仕様記述法について　

陳昭煬、有澤誠

情報処理学会論文誌 ２８巻　 （ １０号 ） 1031-1039 1987年10月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

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

オブジェクト指向言語でのデータを共有する多重継承方式の提案

荻原剛志、有澤誠

電子情報通信学会論文誌 Ｊ７０Ｄ巻　 （ ８号 ） 1683-1684 1987年08月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

新しいオブジェクト指向言語 Ondine の開発に関して、多重継承した複数の上位クラス間でデータを共有する必要が生じた。これを解決するために、シンジェンという新しい概念を導入することを提案した。シンジェンによって Flavor 言語での混合作用を一般化させた機能を実現できる。

究極のプログラミング環境への私見　　

夏のプログラミングシンポジウム「究極のプログラミング環境」報告集（情報処理学会）    135－139 1987年07月

研究論文（研究会，シンポジウム資料等）, 単著, 査読有り

　概要を見る

ワークステーションをはじめとする現在のプログラミング環境が今後成熟していった場合に、究極のプログラミング環境はどのようなものになるかを論じた。人間からコンピュータへの入力の部分が、直接脳波の分析等によって行え、手を介す必要がなくなる可能性を示唆した。常温超電導の利用技術の一環として、技術的に実現は不可能ではないと主張した。 　　　　

チュートリアル－パズルなどの組合せ問題を解く効率のよいプログラムを書くには

コンピュータソフトウェア ４巻　 （ ３号 ） 2－14 1987年07月

単著, 査読有り

　概要を見る

パズルを解くプログラムなど実行時間がきわめて多くかかるプログラムを書くには、一般のプログラミングとは別の技法がある。それらのうちで代表的なものを系統だてて整理し、説明した。

算数・数学教科員に対する数値・数式処理支援の試みについて　　

長嶋孝好、有澤誠　

教育におけるコンピュータ利用の新しい方法シンポジウム報告集（情報処理学会）    221－227 1987年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

高等学校までの数学教育にコンピュータをどのように利用すべきかを論じ、パソコン上で使用できる規模の数式処理システムが有効であることを論じた。そのようなシステムの試作についても報告した。

制御フロー解析によるＰａｓｃａｌプログラム計量システム

有澤誠、張清利

情報処理学会論文誌 ２８巻 （ ４号 ） 376－383 1987年04月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

Pascalプログラムの複雑度を測定するための計量システムに関して、その設計、実現、および使用経験を述べた。プログラムの制御フローを解析し、流量に関するキルヒホフの法則を適用して制御経路ごとの重みつき実行時間を計算し、またモジュール間の結合を調べてプログラム全体の複雑度を求める方法である。

Ｐａｓｃａｌプログラムに対する呼び出し数最小のモジュール宣言方法について

阿部寅吉、有澤誠 　　　

情報処理学会論文誌 ２７巻　 （ １０号 ） 1011-1018 1986年10月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

Pascalプログラムのモジュール複雑度を測定する方法を述べ、またその複雑度を最小にするようなモジュール宣言に変換するアルゴリズムを論じた。複雑度としてはモジュール呼び出し数を選び、Pascalの変数の有効範囲を考慮した上で、最小の呼び出し数を実現するようなモジュール宣言を求める方法を示した。　　　

ソフトウェア評価尺度の研究

東京大学大学院工学系研究科情報工学専攻へ提出した学位論文 1985年05月

単著, 査読有り

　概要を見る

ソフトウェア開発のそれぞれの段階ごとに、ソフトウェアを計量評価する手法を考察した。可能な限り定量的な評価尺度を採用し、やむをえない場合には定性的尺度で代用する方針をとった。なかでもプログラムの複雑度と、ソフトウェアの評価実験、および人間因子に関して重点的に研究した。個々の研究成果は学会誌等に数編の研究論文の形で発表してある。

特性多項式によるプログラム複雑度の特徴づけ　

情報処理学会論文誌 ２６巻　 （ ５号 ） 849－854 1985年05月

研究論文（研究会，シンポジウム資料等）, 単著, 査読有り

　概要を見る

プログラムの Halstead 複雑度を改善した新しい複雑度を提案した。単純にプログラム中のオペレータとオペランドをパラメータとして種々の複雑度を計算するのでなく、プログラム構造を Jackson構造図に変換した上で、その構造を反映した特性多項式にパラメータをとりいれた形で複雑度を特徴づけする手法である。特に再帰呼び出しを含む場合も扱えるように工夫した。 　　

形式文法によるプログラム複雑度の特徴づけ

情報処理学会論文誌 ２６巻　２号   265－271 1985年02月

研究論文（研究会，シンポジウム資料等）, 単著, 査読有り

　概要を見る

プログラムの McCabe 複雑度を改善した新しい複雑度を提案した。単純に制御構造を表すグラフのサイクロマティック数をとるのでなく、そのグラフにある実行可能な経路数を考え、その経路の集合を生成する文脈自由文法によって複雑度を特徴づける手法である。いくつかの例題を通して、 McCabe の尺度との差異を示し、提案している手法の利点を説明した。

再帰呼出しの索表計算法

情報処理 ２４巻　 （ ４号 ） 448－451 1983年04月

単著, 査読有り

　概要を見る

再帰的呼び出しを用いた計算は実行効率が悪いため、既に計算済の値を表に登録しておき、それを利用することで高速化をはかる。こうした索表計算法について、これまでに提案されている手法を比較検討した。

ソフトウェア生産過程の評価実験に関する考察

情報処理学会論文誌 ２３巻　 （ ３号 ） 267－271 1982年03月

研究論文（研究会，シンポジウム資料等）, 単著, 査読有り

　概要を見る

ソフトウェア生産過程をどのように計量評価すべきかについて、問題点を整理し、またそのために必要な実験をどう行うべきかを議論した。評価実験は、開発手法、応用領域、実験環境、評価基準の組合せとしてとらえた。評価基準は客観的基準と主観的基準に分けて、後者に関しては二段階方式を提案した。

Proposals For Tool and Methodology Evaluation Experiments -Evaluation of Design Methodologies

M. Arisawa、G. D. Bergland、E. C. Bowers、J.N. Buxton 、R. A. Kelley、N. L. Kerth 、S. H. Saib、P. D. Ting、D. A. Troy、S. H. Zweben　Buxtonが主査、Troyが書記で、ほか全員がこのサブグループ参加者である。　

Software Engineering Notes 7巻　 （ 1号 ） 60－69 1982年01月

共著

　概要を見る

ソフトウェア開発の定量的な評価をするための基礎的なデータを得るためには、どのような実験を行なう必要があるかを、いくつかのサブグループに分かれて議論した国際ワークショップの記録。これは有澤が属したソフトウェア設計手法のサブグループで提案した実験に関する報告書である。

Around the World in Four Dimensions

ＪＲＭ　 13巻　 （ 1号 ） 44－47 1981年01月

単著, 査読有り

　概要を見る

４次元の超立方体上でのハミルトン経路が何種類あるかを計算する問題について論じた。４本の次元軸の順序に着目して分類することを提案し、コンピュータによる検索結果をこの分類にあてはめて、９種類であることを示した。

Island of Five Color Tribes

Makoto Arisawa、Takeshi Nakajima

ＪＲＭ　 12巻 （ 　3号 ） 192－194 1980年07月

共著, 査読有り

　概要を見る

自己矛盾をひきおこす命題を利用した新しい解を求めて報告した。　

Debugging Methods in Recursive Structured FORTRAN

Makoto Arisawa、Minoru Iuchi 　　

Software-Practice and Experience 10巻　 （ 1号 ） 29－43 1980年01月

共著, 査読有り

　概要を見る

構造化Fortran プリプロセッサを強化して、再帰的呼び出し機能や、プロファイラ機能をもたせた Star システムについて述べた。またこのシステムを用いてプログラムのデバッグをする方法を具体的な例題を通して示した。

プログラム作成過程分析の心理実験とプログラミングツールについて

第２１回プログラミングシンポジウム報告集    10－20 1980年01月

研究論文（研究会，シンポジウム資料等）, 単著, 査読有り

　概要を見る

プログラムを書くとき人間はどのような思考過程をたどるかを調べるための、声に出して考えるプログラミング実験について報告した。Newellらが以前ＡＩの問題解決で採用した実験方法を改良し、被験者２人をひとくみにすることで、自然に声を出してコミュニケートするような環境を設定した。 　　　

チューリング機械による計算の極限収束について

電子通信学会論文誌 Ｊ６２Ｄ巻　 （ ２号 ） 160－162 1979年02月

研究論文（研究会，シンポジウム資料等）, 単著, 査読有り

　概要を見る

Turingが定義したTuring機械では、計算を停止する場合と暴走する場合とに分けているが、その中間として停止はしないがある計算結果に収束していく場合を考察した。出力テープのある長さ以下にはある時刻から先は書換えが生じず、かつテープ全体の内容が極限である値に収束するような計算を、暴走でなく正しい計算だと認知することを提案した。 　

Fortran ＋ Preprocesso ＝ Utopia 84.

Makoto Arisawa、Minoru Iuchi

SIGPLAN Notices 14巻　 （ 1号 ） 12－15 1979年01月

共著

　概要を見る

構造化されたFORTRAN のプリプロセッサによって、Knuth が理想のプログラミング言語と設定したUtopia84を実現できるかどうかを論じた。FORTRAN に欠如している機能の多くはプリプロセッサで実現可能であることを示した。

プログラミング言語とソフトウェア工学

情報処理 ２０巻　 （ １号 ） 57－58 1979年01月

単著, 査読有り

　概要を見る

ソフトウェア開発には従来のようなプログラム記述のためのプログラミング言語だけでなく、ソフトウェア開発過程記述用の言語が必要であることを論じた。そのような言語をソフトウェアリング言語と名づけて、その位置づけを示した。

Programming Languages with Hierarchical Structure

SIGPLAN Notices 12巻　 （ 12号 ） 36－38 1977年12月

単著, 査読有り

　概要を見る

階層状にファミリー化された複数のプログラミング言語と、それらの間の自動変換について考察し、ソフトウェア開発をひとつの言語体系で閉じておこなうことを提案した。

マクロ言語ＧＰＭのＩＦ構文に関するノート

中島健、有澤誠

電子通信学会論文誌 Ｊ６０Ｄ巻 （ 10号 ） 889－890 1977年10月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

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

構造化プログラムにおける非決定性構文と新しいループ構造

情報処理 １8巻　 （ 5号 ） 502－504 1977年05月

単著, 査読有り

　概要を見る

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

階層状体系をもつプログラミング言語の考察

情報処理 １７巻　 （ 5号 ） 370－375 1976年05月

単著, 査読有り

　概要を見る

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

構造化プログラム文法について

電子通信学会論文誌 ５９Ｄ巻 （ ４号 ） 293－295 1976年04月

研究論文（研究会，シンポジウム資料等）, 単著, 査読有り

　概要を見る

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

プログラミング言語におけるデータ型、データ構造、およびデータモードについて

第１７回プログラミングシンポジウム報告集    135－142 1976年01月

研究論文（研究会，シンポジウム資料等）, 単著, 査読有り

　概要を見る

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

Parsing Algorithms Analysis

Yoshihisa Mano、Hiroshi Hasegawa、Makoto Arisawa

Proc. Second USA-Japan Computer Conference    434－439 1975年05月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

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

トリックプログラムと言語設計

第１６回プログラミングシンポジウム報告集    97－106 1975年01月

単著, 査読有り

　概要を見る

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

単純句構造文法の自己埋め込み標準形について

有澤誠、鳥居宏次

電子通信学会論文誌 ５６Ｄ巻　 （ ５号 ） 324－325 1974年05月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

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

有限状態機械の一次元繰返し形配列による数列の生成方式について

電子通信学会論文誌 ５４Ｃ巻　 （ ８号 ） 759－766 1971年08月

研究論文（研究会，シンポジウム資料等）, 単著, 査読有り

　概要を見る

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

Ｒｅｓｉｄｕｅ数に関するノート

電子通信学会論文誌 ５４Ｃ巻 （ 　３号 ） 278－279 1971年03月

研究論文（研究会，シンポジウム資料等）, 単著, 査読有り

　概要を見る

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

ＡＬＧＯＬ６０の形式的な文法構造について　　

情報処理 １１巻　 （ ９号　 ） 509－516 1970年09月

単著, 査読有り

　概要を見る

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