論文 - 恐神　正博

プログラムの自動生成における入出力条件に関する一考察

恐神正博

福井工業大学研究紀要   ( ３７ )   ２７３ - ２７８   2007年3月

　詳細を見る

１９８０年代の中ごろから構造化プログラミング設計法やオブジェクト指向の手法等が提唱され，プログラミングの生産性向上の研究及びそれらの実用化が進められている．一方，従来より手作業によって行われてきたプログラミングという作業を機械化する試み，すなわちプログラムの自動生成に関する技術についても研究が進められている．
ここではモジュールの機能や処理対象のデータの型などに関する属性項目を記述したモジュールの見出し表を作成し，そこから仕様に対して適用可能なモジュールを検索し，C言語のプログラムを生成する一つの方法と，その中でモジュールの自動リンクの際行われる入出力条件のチェック法において，従来行ってきたPrologのリスト処理の他に，ペトリネットを用いた方法について検討を行う．

How to Obtain Coeffecients for a Firing Count Vector Expanded by T-Invariants and Particular Solutions in P/T Petri Nets 査読

Matsumoto，Moro and Osogami

Proc. of The 2006 International Symposium on Nonlinear Theory and its Applications, NOLTA'06, in Bologna, Italy, pp. 407-410.   2006年9月

　詳細を見る

P/Tペトリネットにおいて、Tインバリアントと特解から、発火回数ベクトルを求めるための展開係数が、Tインバリアントを求める際のアルゴリズムと同等のもので求まることを示す。

C/Sシステムにおける印刷処理のスループット向上について

恐神正博

福井工業大学研究紀要   ( ３５ )   ２４７ - ２５４   2005年3月

　詳細を見る

現在企業等においてクライアントサーバーシステム(以降C/Sシステムと表す)は広く用いられている．クライアントにおける処理は，多くの場合データベースソフトまたはスプレッドシート上にデータを抽出しそれらのデータベースソフトやスプレッドシートから，必要な書式にデータを加工した上で印刷を行うなどである.一方，C/Sシステムは導入後にクライアントを増やしていくことも多いため，最初に導入されたクライアントほど，後から追加されたクライアントに比べ，ハードウェア的に能力が劣っていることがしばしばある．しかしながら，社会の情報化の進展に伴い，扱うデータの量は飛躍的に増えてきており，数千件あるいは数万件を超えるデータの印刷処理が行われることも多い．
ここでは，特にC/Sシステム上の比較的能力が劣ったハードウェア上において，世界中で圧倒的なシェアを持つマイクロソフト社のWindowsオペレーティングシステム，また，同じくスプレッドシートの圧倒的なシェアを持つマイクロソフト社のExcelを用いた場合の印刷処理のスループット向上について述べる．

A Method of Automatic Program Generation using Informal Procedure Call Sentences 査読

Osogami

Proc. of ACIS -SNPD'01, pp.969-976.   2001年8月

　詳細を見る

プログラムの生産性向上を図るため、プログラムの自動合成についての研究が各方面で行われているが、その一環として、本研究では自然言語表記を用いた概略仕様から、プログラムを自動合成する試作システム、MAPPの構築を行っている。前回の報告では、プログラムの全体像を目で確認しながら、すなわち作成中の概略仕様から構造化図を表示し、なおかつ、完成した概略使用から目的のプログラムを自動合成する手法について報告してきたが、今回の報告では、新たに、自動合成の際、仕様に漏れがあった場合、システムが自動的に必要なモジュールを補填し目的のプログラムを合成する、自動補填について報告するとともに、MAPPのユーザーインターフェースにもmenu選択方式を取り入れるなどの改良も行っており、これらの報告もあわせて行っている。

入出力条件を用いたプログラムの自動生成

恐神正博

福井工業大学研究紀要   ( ３０ )   ３０１ - ３０８   2000年3月

　詳細を見る

１９８０年代の中頃から構造化プログラミング設計法やオブジェクト指向の手法等が提唱され，プログラミングの生産性向上の研究及びそれらの実用化が進められている．一方，従来より手作業により行われてきたプログラミング作業を機械化する試み，すなわちプログラムの自動合成技術についても研究が進められている．
ここでは、前回報告した内容をもとに、MAPPの改良を進め、プログラムの概略設計文からそれらの入出力条件を用い、設計文において欠落していた条件を自動的に補填しながら、C言語のプログラムを自動生成する実験の結果を報告する。

A Method of Automatic Program Generation and Stractured Diagram using Informal Procedure Call Sentences 査読

Osogami

Proc. of IASTED -SEA'99, pp.104-108.   1999年10月

　詳細を見る

プログラムの生産性向上を図るためプログラムの自動合成についての研究が各方面で行われているが、その一環として、本研究では自然言語表記を用いた概略仕様から、プログラムを自動合成する試作システム、MAPPの構築を行っている。今回の報告では、プログラムの全体像を目で確認しながら、すなわち作成中の概略仕様から構造化図を表示し、なおかつ、完成した概略使用から目的のプログラムを自動合成する手法について報告するとともに、自動合成の際、仕様に漏れがあった場合、システムが自動的に補填し目的のプログラムを合成する、自動補填の考えを取り入れており、その報告も行っている。

プログラム生成におけるリスト処理を用いた入出力条件のチェック

恐神正博

福井工業大学研究紀要   ( ２９ )   ２８９ - ２９６   1999年3月

　詳細を見る

１９８０年代の中頃から構造化プログラミング設計法やオブジェクト指向の手法等が提唱され、プログラミングの生産性向上の研究およびそれらの実用化が進められている．一方、従来より手作業により行われてきたプログラミング作業を機械化する試み、すなわちプログラムの自動合成技術についても研究が進められている。
ここではモジュールの機能や処理対象のデータの型などに関する属性項目を記述したモジュールの見出し表を作成し，仕様に対して適用可能なモジュールを検索し，C言語のプログラムを合成する一つの方法とその中で行われるモジュールの自動リンクについて述べる．

A Method of Automatic Program Designing and Soft and Code Generation using Informal Procedure Call Sentences 査読

Osogami, Nishida

Proc. of IASTED -ASC'98, pp.161-164.   1998年5月

　詳細を見る

あらかじめライブラリに登録してある再利用可能なモジュールについて、自然言語を（日本語）を用いた概略使用から、必要な機能、型等を考慮しつつ、効率的にモジュールを組み合わせて、目的のプログラムを作成する、プログラム自動合成システムMAPPを構築し、その報告を行っている。

クラスモジュールの一構成法

恐神正博、西田富士夫

福井工業大学研究紀要   ( ２８ )   ２６１ - ２６８   1998年3月

　詳細を見る

1980年代の中頃からオブジェクト指向の設計法やプログラミングの手法が提唱され実用化が進んでいる．これは，従来人手により構築されてきたシステムを機械化するには，システムのオブジェクトモデルを設計制作のあらゆる段階で直接的にデータ処理システムに書き換えて具体化するのが簡明で効率的であるとの考えによる．設計制作の上流過程における要求定義や概略設計の段階では，この考え方は当然であるが，設計段階においては個々のオブジェクトやクラスにとらわれない汎用的な手法を適用する方が得策である．すなわち，諸科学における数学的手法の適用や製造業における半製品的機械部品材料のカスタマイズと同じく，汎用的なモジュールを作っておき，これを目的のオブジェクトに合わせてカスタマイズして製作する方が全体的にみて効率的であろう．一般に汎用的な部品モジュールを用いて，カスタマイズシステムを構築する方法はソフトウェア工学の分野ではまだ十分な実用化に至っておらず，オブジェクト指向の名の下にプログラミングは各クラスごとに行われることも多いようである．以下，本稿では，筆者らが用いてきたプログラム作成の自動化の手法に基づいてオブジェクト指向プログラミングにおけるクラスモジュールの作成を自動化する一つの手法を述べる．

プログラム生成におけるモジュールの自動リンク

恐神正博、西田富士夫

福井工業大学研究紀要   ( ２７ )   ３０５ - ３１２   1997年3月

　詳細を見る

プログラムとは入出力条件などからなる情報処理の要求に基づき、処理単位の命令や関数モジュールを組み合わせて作成した手続きであり、プログラミングとは与えられた情報処理の要求に対して既知の処理単位をつないで要求の処理を実現する問題解決の手続きである。このような観点から従来、プログラムの自動合成の研究や検証などの基礎的研究が行われてきた。近年ではメニュー方式とGUIの利用により、プログラムの生産性はかなり向上している。しかしながら、モジュールの検索や変形、リンクなどについては、いまだ大きく人手に依存しているようであり、これらの自動化が望まれている。自動合成の研究、とりわけモジュール間の自動リンクの研究が余り進展しないのは、モジュールやシステムの機能や条件を簡明且つ弾力的に表現する方法が確立されておらず、仕様や設計を手軽に記述し処理することが困難な事情によることがあげられる。
この論文はモジュールの入力条件あるいは適用条件、出力条件あるいは機能、モジュールに含まれる変数のデータタイプなどの事項を別々に述語で表し、これらをモジュール毎に規則節に組み合わせて表すことによりモジュールのリンクや設計の詳細化などの処理を簡明且つ柔軟に行う一つの方法を考察し検討したものである。

Initial-Marking Based Liveness on Dissynchro nous Choice Petri Nets 査読

Matsumoto，Koido and Osogami

Proc. of The 1996 International Technical Conference on Circuits/Systems, Computers and Communications, in Seoul, pp.713-716.   1996年7月

　詳細を見る

コンフュージョンを持つペトリネットにおける構造活性を考え、その必要十分条件を挙動的トラップを導入し求める研究。

構造体処理汎用モジュールの作成

恐神正博、西田富士夫

福井工業大学研究紀要   ( ２６ )   ３１１ - ３１８   1996年3月

　詳細を見る

プログラムやモジュールの再利用について、近年盛んに研究や開発が行われている。再利用するためには検索しやすいこと、機能の追加や変更がしやすいこと、汎用性が高いことなどの条件が必要である。ここでは主として汎用性のある構造体利用モジュールの作成とその利用について述べる。
構造体は、登録、更新、検索などいろいろな事務処理などに広く用いられるデータ構造である。しかし、そのデータ処理のプログラムは、処理の内容が同じであっても構造体の構造の違いから再利用することができず、構造体ごとに作成されているのが実状である。もし、データ構造だけを与えれば、既成の汎用モジュールから標準的な処理を行うモジュールを自動的に作成できれば有用である。
この論文では、そのような汎用モジュールをプロログで作成しておき、これから与えられた構造体のデータ構造を用い、Ｃの関数モジュールや、Ｃ＋＋のクラスモジュールを生成する一つの方法について述べる。

概略設計文からのＣソースコードの生成

恐神正博、西田富士夫

福井工業大学研究紀要   ( ２５ )   ３１５ - ３２２   1995年3月

　詳細を見る

ソフトウエアの生産量がその供給量に追い付かなくなる、いわゆるソフトウェア危機が叫ばれている。これに対し、プログラム制作過程を機械化して効率化を図って問題を解決すべく、プログラムモジュールの再利用やプログラム制作の自動化などの研究が各方面において活発に行われてきている。
本研究では、プログラムの生産性向上のため、自然言語表記からプログラムを自動合成するシステムMAPPについて、特に日本語の概略仕様作成法及び合成時におけるモジュールの検索・リンク・その際の論理チェクに関する報告を行っている。

プログラム設計と構造化図作成の自動化

恐神正博、西田富士夫

福井工業大学研究紀要   ( ２４ )   ２６１ - ２６３   1994年3月

　詳細を見る

プログラムの生産性を上げるために、プログラム設計の自動化に関する研究が活発に行われているが、本研究では、プログラムで用いられる命令や基本モジュールの呼出文を日本語その他利用者に分かりやすくまぎれが少ない表層表現とし、所望のキーワードに属する対象を表示させ、視覚的により適切な対象を選択しカスタマイズした上で、されらを集めて設計文書を作成・目的プログラム言語へ変換を行う手法により、プログラム作成の自動化を目指す方法について検討を行っている。

プロログによるモジュールの検索とプログラムの合成

恐神正博、西田富士夫

福井工業大学研究紀要   ( ２３ )   ３１３ - ３２０   1993年3月

　詳細を見る

モジュールの再利用に関する研究が内外で盛んにおこなわれるようになっているが、これは過去に作成したプログラムやプログラムモジュールの中、現在与えられた仕様に適用できるものを再利用することにより、誤りの少ないプログラムを短時間に作成しようとするものである。本研究では、基本的なモジュールを知識ベースとしてライブラリに登録しておき、これらを利用してプログラムを自動生成する研究を行ってきているが、このうち、必要なモジュールを、その機能や処理対象ののデータの型等に関する属性項目から、効率的に検索するための手法について報告を行っている。

プロログによるモジュール援用プログラミングシステム

恐神正博、西田富士夫

福井工業大学研究紀要   ( ２２ )   ２９９ - ３０６   1992年3月

　詳細を見る

ソフトウエアの生産量の激増と複雑化に伴い、ソフトウェア危機が叫ばれている。これに対し、プログラム制作過程を機械化して効率化を図って問題を解決すべく、プログラムモジュールの再利用やプログラム制作の自動化などの研究が各方面において活発に行われてきている。これらの研究の一環として、本研究では日本語による仕様から基本モジュールを組み合わせてプログラムを自動生成するシステムMAPPを構築しその報告を行っている。